Luciano Baresi

Inacio Gaspar Ticongolo

Proceedings of the Service-Oriented Computing - 21st International Conference, 2023

2<sup>nd</sup> International Workshop on the Foundations of Infrastructure Specification and Testing : FIST 2023.

[BibT_eX]

[DOI]

Damian A. Tamburri

Proceedings of the 20th International Conference on Software Architecture, 2023

Architecting Artificial Intelligence for Autonomous Cars: The OpenPilot Framework.

[BibT_eX]

[DOI]

Damian A. Tamburri

Proceedings of the Software Architecture - 17th European Conference, 2023

2022

On How Bit-Vector Logic Can Help Verify LTL-Based Specifications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Microservice Architecture Practices and Experience: a Focused Look on Docker Configuration Files.

[BibT_eX]

[DOI]

Damian Andrew Tamburri

CoRR, 2022

Adopting microservice architecture: A decision support model based on genetically evolved multi-layer FCM.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2022

NEPTUNE: Network- and GPU-aware Management of Serverless Functions at the Edge.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2022

A declarative modelling framework for the deployment and management of blockchain applications.

[BibT_eX]

[DOI]

Damian Andrew Tamburri

Luca Terracciano

Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Training and Serving Machine Learning Models at Scale.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 20th International Conference, 2022

2021

Fine-Grained Dynamic Resource Allocation for Big-Data Applications.

[BibT_eX]

[DOI]

Alberto Leva

IEEE Trans. Software Eng., 2021

Trends and Challenges for Software Engineering in the Mobile Domain.

[BibT_eX]

[DOI]

IEEE Softw., 2021

Evolution in dynamic software product lines.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2021

Federated Machine Learning as a Self-Adaptive Problem.

[BibT_eX]

[DOI]

Nicholas Rasi

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Feature-Modell-geführtes Online Reinforcement Learning für Selbst-adaptive Systeme.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2021, 2021

IDEA: Runtime Collection of Android Data.

[BibT_eX]

[DOI]

Kostandin Caushi

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

Resource Management for TensorFlow Inference.

[BibT_eX]

[DOI]

Nicholas Rasi

Proceedings of the Service-Oriented Computing - 19th International Conference, 2021

KOSMOS: Vertical and Horizontal Resource Autoscaling for Kubernetes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 19th International Conference, 2021

2020

Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2020

Using formal verification to evaluate the execution time of Spark applications.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2020

Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things.

[BibT_eX]

[DOI]

CoRR, 2020

A Simulation-based Comparison between Industrial Autoscaling Solutions and COCOS for Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Web Services, 2020

Feature Model-Guided Online Reinforcement Learning for Self-Adaptive Services.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 18th International Conference, 2020

Automated Quality Assessment of Incident Tickets for Smart Service Continuity.

[BibT_eX]

[DOI]

Willem-Jan van den Heuvel

Damian Andrew Tamburri

Proceedings of the Service-Oriented Computing - 18th International Conference, 2020

COCOS: A Scalable Architecture for Containerized Heterogeneous Systems.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Software Architecture, 2020

Microservices: The Evolution and Extinction of Web Services?

[BibT_eX]

[DOI]

Proceedings of the Microservices, Science and Engineering., 2020

2019

A Unified Model for the Mobile-Edge-Cloud Continuum.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2019

Feature-Model-Guided Online Learning for Self-Adaptive Systems.

[BibT_eX]

[DOI]

CoRR, 2019

Symbolic execution-driven extraction of the parallel execution plans of Spark applications.

[BibT_eX]

[DOI]

Giovanni Denaro

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Big-Data Applications as Self-Adaptive Systems of Systems.

[BibT_eX]

[DOI]

Giovanni Denaro

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

PAPS: A Framework for Decentralized Self-management at the Edge.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

Towards a Serverless Platform for Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Fog Computing, 2019

2018

Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Multi-party business process compliance monitoring through IoT-enabled artifacts.

[BibT_eX]

[DOI]

Inf. Syst., 2018

What Are We Missing When Testing Our Android Apps?

[BibT_eX]

[DOI]

Konstantin Rubinov

Computer, 2018

A comparison framework for runtime monitoring approaches (journal-first abstract).

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Analysis, 2018

On the Timed Analysis of Big-Data Applications.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

TDeX: A Description Model for Heterogeneous Smart Devices and GUI Generation.

[BibT_eX]

[DOI]

Mersedeh Sadeghi

Massimo Valla

Proceedings of the IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2018

LIQDROID: towards seamlessly distributed Android applications.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27, 2018

Towards Vertically Scalable Spark Applications.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2018: Parallel Processing Workshops, 2018

DevOps-Based Software Engineering for the Cloud.

[BibT_eX]

[DOI]

Andreas Christoforou

Andreas S. Andreou

Michael P. Papazoglou

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2018

2017

Efficient Dynamic Updates of Distributed Components Through Version Consistency.

[BibT_eX]

[DOI]

Xiaoxing Ma

IEEE Trans. Software Eng., 2017

A Logic-Based Approach for the Verification of UML Timed Models.

[BibT_eX]

[DOI]

Angelo Morzenti

Alfredo Motta

ACM Trans. Softw. Eng. Methodol., 2017

A comparison framework for runtime monitoring approaches.

[BibT_eX]

[DOI]

J. Syst. Softw., 2017

Test oracles for simulink-like models.

[BibT_eX]

[DOI]

Márcio Eduardo Delamaro

Paulo Augusto Nardi

Autom. Softw. Eng., 2017

10th International Workshop on Dynamic Software Product Lines (DSPL'17): Adaptive Systems through Runtime Variability.

[BibT_eX]

[DOI]

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Supporting the Decision of Migrating to Microservices Through Multi-layer Fuzzy Cognitive Maps.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

MAGNET: A middleware for the proximal interaction of devices based on Wi-Fi direct.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2017

Empowering Low-Latency Applications Through a Serverless Edge Computing Architecture.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing, 2017

Microservices Identification Through Interface Analysis.

[BibT_eX]

[DOI]

Alan De Renzis

Proceedings of the Service-Oriented and Cloud Computing, 2017

mArtifact: an Artifact-driven Process Monitoring Platform.

[BibT_eX]

[DOI]

Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), 2017

2016

A distributed architecture for efficient Web service discovery.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2016

GODA: A goal-oriented requirements engineering framework for runtime dependability analysis.

[BibT_eX]

[DOI]

Genaína Nunes Rodrigues

Raian Ali

Vander Alves

Inf. Softw. Technol., 2016

WiDiSi: A Wi-Fi direct simulator.

[BibT_eX]

[DOI]

Naser Derakhshan

Proceedings of the IEEE Wireless Communications and Networking Conference, 2016

MicroCloud: A Container-Based Solution for Efficient Resource Management in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Smart Cloud, 2016

Analysis of Energy-Efficient Buildings through Simulation and Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), 2016

A discrete-time feedback controller for containerized cloud applications.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

How bit-vector logic can help improve the verification of LTL specifications over infinite domains.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A3Droid: A framework for developing distributed crowdsensing.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, 2016

Learning and evolution in dynamic software product lines.

[BibT_eX]

[DOI]

Amir Molzam Sharifloo

Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2016

Welcome Message from the Chairs of WICSA, QoSA and CBSE.

[BibT_eX]

[DOI]

Proceedings of the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2016

On Handling Business Process Anomalies through Artifact-based Modeling.

[BibT_eX]

[DOI]

Giovanni Meroni

Proceedings of the CAiSE'16 Forum, 2016

Using the Guard-Stage-Milestone Notation for Monitoring BPMN-based Processes.

[BibT_eX]

[DOI]

Giovanni Meroni

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2016

2015

Formal verification and validation of embedded systems: the UML-based MADES approach.

[BibT_eX]

[DOI]

Nicholas Drivalos Matragkas

Gundula Blohm

Dimitrios S. Kolovos

Softw. Syst. Model., 2015

Building Software for the Internet of Things.

[BibT_eX]

[DOI]

Schahram Dustdar

IEEE Internet Comput., 2015

Evolution in dynamic software product lines: challenges and perspectives.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Software Product Line, 2015

Event-Based Monitoring of Service-Oriented Smart Spaces (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Service-Oriented Computing and Applications, 2015

Distributed Coordinated Adaptation of Cloud-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2015

Dynamically Evolving the Structural Variability of Dynamic Software Product Lines.

[BibT_eX]

[DOI]

Clément Quinton

Proceedings of the 10th IEEE/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2015

1st International Workshop on Big Data Software Engineering (BIGDSE 2015).

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Efficient Scalable Verification of LTL Specifications.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

SPF: A Middleware for Social Interaction in Mobile Proximity Environments.

[BibT_eX]

[DOI]

Laurent-Walter Goix

Jacopo Aliprandi

Dario Archetti

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Mapping Formal Results Back to UML Semi-formal Model.

[BibT_eX]

[DOI]

Vinícius Pereira

Márcio Eduardo Delamaro

Proceedings of the ICEIS 2015, 2015

An Architecture-Centric Approach for Dynamic Smart Spaces.

[BibT_eX]

[DOI]

Adnan Shahzada

Proceedings of the Software Architecture - 9th European Conference, 2015

A GSM-based Approach for Monitoring Cross-Organization Business Processes Using Smart Objects.

[BibT_eX]

[DOI]

Giovanni Meroni

Proceedings of the Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31, 2015

2014

Introduction to the Special Section on Best Papers from SEAMS 2012.

[BibT_eX]

[DOI]

Hausi A. Müller

ACM Trans. Auton. Adapt. Syst., 2014

Feature Interactions: The Next Generation (Dagstuhl Seminar 14281).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2014

Consistent Runtime Evolution of Service-Based Business Processes.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE/IFIP Conference on Software Architecture, 2014

Short paper: Harmonizing heterogeneous components in SeSaMe.

[BibT_eX]

[DOI]

Adnan Shahzada

Proceedings of the IEEE World Forum on Internet of Things, 2014

Self-adaptive systems, services, and product lines.

[BibT_eX]

[DOI]

Proceedings of the 18th International Software Product Line Conference, 2014

Flexible modular formalization of UML sequence diagrams.

[BibT_eX]

[DOI]

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

A Comprehensive Resource Management Solution for Web-based Systems.

[BibT_eX]

[DOI]

Filippo Seracini

Massimiliano Menarini

Proceedings of the 11th International Conference on Autonomic Computing, 2014

Cloud-Based Systems Need Multi-Level Management.

[BibT_eX]

[DOI]

Domenico Bianculli

Proceedings of the Advanced Web Services, 2014

2013

Achieving Self-adaptation through Dynamic Group Management.

[BibT_eX]

[DOI]

Panteha Saeedi

Proceedings of the Assurances for Self-Adaptive Systems, 2013

Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata.

[BibT_eX]

[DOI]

Yu Zhou

J. Comput. Sci. Technol., 2013

A journey through SMScom: self-managing situational computing.

[BibT_eX]

[DOI]

Comput. Sci. Res. Dev., 2013

Customizing Service Platforms (Dagstuhl Seminar 13171).

[BibT_eX]

[DOI]

Andreas Rummler

Klaus Schmid

Dagstuhl Reports, 2013

A publication culture in software engineering (panel).

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Self-managing Overlays for Infrastructure-less Networks.

[BibT_eX]

[DOI]

Panteha Saeedi

Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

Specifying automated oracles for Simulink models.

[BibT_eX]

[DOI]

Paulo Augusto Nardi

Márcio Eduardo Delamaro

Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

IRET: Requirements for service platforms.

[BibT_eX]

[DOI]

Gianluca Ripa

Proceedings of the 21st IEEE International Requirements Engineering Conference, 2013

Event-Based Multi-level Service Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Corrective Evolution of Adaptable Process Models.

[BibT_eX]

[DOI]

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2013

SeSaMe: Towards a Semantic Self Adaptive Middleware for Smart Spaces.

[BibT_eX]

[DOI]

Adnan Shahzada

Proceedings of the Engineering Multi-Agent Systems - First International Workshop, 2013

2012

A logic-based semantics for the verification of multi-diagram UML models.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2012

Service-Oriented Dynamic Software Product Lines.

[BibT_eX]

[DOI]

Computer, 2012

Emerging Research Themes in Services-Oriented Systems.

[BibT_eX]

[DOI]

Proceedings of the 2012 Annual SRII Global Conference, San Jose, CA, USA, July 24-27, 2012, 2012

SCArVeS: services, clouds, and alternative design strategies for variant-rich software systems.

[BibT_eX]

[DOI]

Proceedings of the 16th International Software Product Line Conference, 2012

Architectural Styles for Adaptive Systems: A Tutorial.

[BibT_eX]

[DOI]

Edoardo G. Vannutelli Depoli

Proceedings of the Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2012

Flexible logic-based Co-simulation of Modelica models.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Green Move: Towards next generation sustainable smartphone-based vehicle sharing.

[BibT_eX]

[DOI]

Fabio Alberto Schreiber

Alessandro Sivieri

Letizia Tanca

Proceedings of the Sustainable Internet and ICT for Sustainability, 2012

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems.

[BibT_eX]

[DOI]

Alek Radjenovic

Nikolas Drivalos Matragkas

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011

Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

Self-Supervising BPEL Processes.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

A Service-Based Framework for Flexible Business Processes.

[BibT_eX]

[DOI]

IEEE Softw., 2011

A-3: An Architectural Style for Coordinating Distributed Components.

[BibT_eX]

[DOI]

Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

SCArVeS: Services, Clouds, and Alternative Design Strategies for Variant-Rich Software Systems.

[BibT_eX]

[DOI]

Karina Villela

Sholom Cohen

Proceedings of the Software Product Lines - 15th International Conference, 2011

CLAM: Managing cross-layer adaptation in service-based systems.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

Version-consistent dynamic reconfiguration of component-based distributed systems.

[BibT_eX]

[DOI]

Xiaoxing Ma

Jian Lu

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

An introduction to the workshop on requirements for systems, services, and systems of systems.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering for Systems, 2011

A3: self-adaptation capabilities through groups and coordination.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011

A Component-Oriented Metamodel for the Modernization of Software Applications.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

Adaptation Goals for Adaptive Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Relating Software Requirements and Architectures., 2011

2010

Comprehensive Monitoring of BPEL Processes.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2010

The disappearing boundary between development-time and run-time.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Consumer Mashups with Mashlight.

[BibT_eX]

[DOI]

Proceedings of the Towards a Service-Based Internet - Third European Conference, 2010

Adaptation of Service-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the Service Research Challenges and Solutions for the Future Internet - S-Cube, 2010

Fuzzy Goals for Requirements-Driven Adaptation.

[BibT_eX]

[DOI]

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

From Interaction Overview Diagrams to Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, 2010

Adaptive Goals for Self-Adaptive Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2010

TestFul: An Evolutionary Test Approach for Java.

[BibT_eX]

[DOI]

Pier Luca Lanzi

Proceedings of the Third International Conference on Software Testing, 2010

Mashups with Mashlight.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Anquiro: enabling efficient static verification of sensor network software.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications, 2010

A roadmap towards sustainable self-aware service systems.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

Live goals for adaptive service compositions.

[BibT_eX]

[DOI]

Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2010

TestFul: automatic unit-test generation for Java classes.

[BibT_eX]

[DOI]

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Towards the UML-Based Formal Verification of Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Model-Driven Management of Services.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE European Conference on Web Services (ECOWS 2010), 2010

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Software Engineering Processes for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems II, 2010

Improving evolutionary testing by means of efficiency enhancement techniques.

[BibT_eX]

[DOI]

Pier Luca Lanzi

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

The CASCADAS Framework for Autonomic Communications.

[BibT_eX]

[DOI]

Antonio Di Ferdinando

Antonio Manzalini

Franco Zambonelli

Proceedings of the Autonomic Communication, 2010

2009

Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Systems, 2009

Editorial.

[BibT_eX]

[DOI]

Piero Fraternali

Geert-Jan Houben

J. Web Eng., 2009

Towards automated verification of layered graph transformation specifications.

[BibT_eX]

[DOI]

Vahid Rafe

Adel Torkaman Rahmani

IET Softw., 2009

Dynamo + Astro: An Integrated Approach for BPEL Monitoring.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

Multi-dimensional service compositions.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

TestFul: using a hybrid evolutionary algorithm for testing stateful systems.

[BibT_eX]

[DOI]

Pier Luca Lanzi

Proceedings of the Genetic and Evolutionary Computation Conference, 2009

Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2009

Multi-level SLAs for Harmonized Management in the Future Internet.

[BibT_eX]

[DOI]

Wolfgang Theilmann

Proceedings of the Towards the Future Internet - A European Research Perspective, 2009

2008

Using Graph Transformation Systems to Specify and Verify Data Abstractions.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Loose Compositions for Autonomic Systems.

[BibT_eX]

[DOI]

Giordano Tamburrelli

Proceedings of the Software Composition - 7th International Symposium, 2008

An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the Towards a Service-Based Internet, 2008

Service-Centric Systems and Requirements Engineering.

[BibT_eX]

[DOI]

Neil A. M. Maiden

Peter Sawyer

Proceedings of the 16th IEEE International Requirements Engineering Conference, 2008

Towards a unified framework for the monitoring and recovery of BPEL processes.

[BibT_eX]

[DOI]

Proceedings of the 2008 Workshop on Testing, 2008

A dynamic and reactive approach to the supervision of BPEL processes.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 1st Annual India Software Engineering Conference, 2008

Integrated and Composable Supervision of BPEL Processes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2008

Towards decentralized self-adaptive component-based systems.

[BibT_eX]

[DOI]

Giordano Tamburrelli

Proceedings of the 2008 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2008

Self-adaptive Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the Workshops Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008

A Flexible and Semantic-Aware Publication Infrastructure for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 20th International Conference, 2008

2007

Towards Self-healing Composition of Services.

[BibT_eX]

[DOI]

Proceedings of the Contributions to Ubiquitous Computing, 2007

Three empirical studies on estimating the design effort of Web applications.

[BibT_eX]

[DOI]

Sandro Morasca

ACM Trans. Softw. Eng. Methodol., 2007

A framework for the deployment of adaptable web service compositions.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2007

Validation of web service compositions.

[BibT_eX]

[DOI]

IET Softw., 2007

An Efficient Solution for Model Checking Graph Transformation Systems.

[BibT_eX]

[DOI]

Vahid Rafe

Adel Torkaman Rahmani

Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, 2007

Web Services and Web 2.0: Married or Fiancés?

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Symposium on Web Systems Evolution, 2007

Introduction.

[BibT_eX]

[DOI]

Elisabetta Di Nitto

Proceedings of the Test and Analysis of Web Services, 2007

Self-healing BPEL processes with Dynamo and the JBoss rule engine.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Engineering of Software Services for Pervasive Environments, 2007

Playing with time in publish-subscribe using a domain-specific model checker.

[BibT_eX]

[DOI]

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

A service-based infrastructure for advanced logistics.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, 2007

Distributed BPEL Processes.

[BibT_eX]

Andrea Maurino

Stefano Modafferi

Proceedings of the Nineteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2007), 2007

A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Software Engineering, Lipari Summer School 2007, 2007

A Timed Extension of WSCoL.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

A Fault Taxonomy for Web Service Composition.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2007

On Accurate Automatic Verification of Publish-Subscribe Architectures.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Dynamo and Self-Healing BPEL Compositions.

[BibT_eX]

[DOI]

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Policies and Aspects for the Supervision of BPEL Processes.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 19th International Conference, 2007

2006

Style-based modeling and refinement of service-oriented architectures.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2006

Towards Distributed BPEL Orchestrations.

[BibT_eX]

[DOI]

Andrea Maurino

Stefano Modafferi

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006

Toward Open-World Software: Issue and Challenges.

[BibT_eX]

[DOI]

Elisabetta Di Nitto

Computer, 2006

Verification of Model Transformations: A Case Study with BPEL.

[BibT_eX]

[DOI]

Karsten Ehrig

Reiko Heckel

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

Towards Open-World Software: Issue and Challenges.

[BibT_eX]

[DOI]

Elisabetta Di Nitto

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

A Distributed Approach for the Federation of Heterogeneous Registries.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2006

Business Process Monitoring for Dependability.

[BibT_eX]

[DOI]

Marco Plebani

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

Tutorial: towards dynamic web services.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

W2000 meets J2ME for the Fast Prototyping of Mobile Web Applications.

[BibT_eX]

Luca Mainetti

Proceedings of the IASTED International Conference on Software Engineering, 2006

On the Use of Alloy to Analyze Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Third International Conference, 2006

Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

Towards a Model-driven Approach to Develop Applications based on Physical Active Objects.

[BibT_eX]

[DOI]

Proceedings of the 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 2006

W2000: A Modelling Notation for Complex Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 2006

2005

Formal interpreters for diagram notations.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2005

Special issue on ubiquitous mobile information and collaboration systems (UMICS).

[BibT_eX]

[DOI]

Pers. Ubiquitous Comput., 2005

WS-Policy for Service Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Technologies for E-Services, 6th International Workshop, 2005

Graph transformation to infer schemata from XML documents.

[BibT_eX]

[DOI]

Elisa Quintarelli

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

First experiences on constraining consistency and adaptivity of W2000 models.

[BibT_eX]

[DOI]

Sebastiano Colazzo

Luca Mainetti

Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Towards Model-Driven Testing of a Web Application Generator.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering, 5th International Conference, 2005

Dynamo: Dynamic Monitoring of WS-BPEL Processes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2005

Towards Dynamic Monitoring of WS-BPEL Processes.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2005

An Introduction to Self-Healing Web Services.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

The MAIS approach to web service design.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Exploring Modeling Methods for Systems Analysis and Design, 2005

Hybrid service-oriented architectures: a case-study in the automotive domain.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop on Software Engineering and Middleware, 2005

From Graph Transformation to Software Engineering and Back.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Software and Systems Modeling, 2005

2004

Toward Translating Design Constraints to Run-Time Assertions.

[BibT_eX]

[DOI]

Michal Young

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

An Introduction to Software Testing.

[BibT_eX]

[DOI]

Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, 2004

Petri Nets as Semantic Domain for Diagram Notations.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Petri Nets and Graph Transformations, 2004

Style-Based Refinement of Dynamic Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004

Workflow Partitioning in Mobile Information Systems.

[BibT_eX]

Andrea Maurino

Stefano Modafferi

Proceedings of the Mobile Information Systems, 2004

Smart monitors for composed services.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2004

Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.

[BibT_eX]

[DOI]

Reiko Heckel

Proceedings of the Graph Transformations, Second International Conference, 2004

Validation of Component and Service Federations in Automotive Software Applications.

[BibT_eX]

[DOI]

Proceedings of the Automotive Software, 2004

2003

Context-Aware Composition of E-services.

[BibT_eX]

[DOI]

Devis Bianchini

Valeria De Antonellis

Maria Grazia Fugini

Barbara Pernici

Proceedings of the Technologies for E-Services, 4th International Workshop, 2003

Modeling and validation of service-oriented architectures: application vs. style.

[BibT_eX]

[DOI]

Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003

Estimating the Design Effort of Web Applications.

[BibT_eX]

[DOI]

Sandro Morasca

Proceedings of the 9th IEEE International Software Metrics Symposium (METRICS 2003), 2003

UMICS '03 Preface.

[BibT_eX]

[DOI]

Proceedings of the 15th Conference on Advanced Information Systems Engineering (CAiSE '03), 2003

2002

PLCTools: Graph Transformation Meets PLC Design.

[BibT_eX]

[DOI]

Marco Mauri

Proceedings of the International Workshop on Graph-Based Tools, 2002

An Empirical Study on the Design Effort of Web Applications.

[BibT_eX]

[DOI]

Sandro Morasca

Proceedings of the 3rd International Conference on Web Information Systems Engineering, 2002

Assertions to better specify the amazon bug.

[BibT_eX]

[DOI]

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

A Toolbox for Automating Visual Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2002

Meta-modeling Techniques Meet Web Application Design Tools.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2002

2001

Introduction - Graph Transformation and Visual Modeling Techniques - GT-VMT 2001.

[BibT_eX]

[DOI]

Gabriele Taentzer

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2001

Improving UML with Petri nets.

[BibT_eX]

[DOI]

Proceedings of the Uniform Approaches to Graphical Process Specification Techniques, 2001

Supporting Reusable Web Design with HDM-Edit.

[BibT_eX]

[DOI]

Franca Garzotto

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

Extending UML for Modeling Web Applications.

[BibT_eX]

[DOI]

Franca Garzotto

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

On Formalizing UML with High-Level Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Concurrent Object-Oriented Programming and Petri Nets, 2001

2000

PLCTOOLS: design, formal validation, and code generation for programmable controllers.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2000

Can Graph Grammars Make Formal Methods More Human?

[BibT_eX]

Proceedings of the ICALP Workshops 2000, 2000

From Web Sites to Web Applications: New Issues for Conceptual Modeling.

[BibT_eX]

[DOI]

Franca Garzotto

Proceedings of the Conceptual Modeling for E-Business and the Web, 2000

1999

WIDE workflow development methodology.

[BibT_eX]

[DOI]

Proceedings of the international joint conference on Work activities coordination and collaboration 1999, 1999

A Formal Definition of Stuctured Analysis with Programmable Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 1999

1998

Toward Formalizing Structured Analysis.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1998

1997

Software methodologies in VHDL code analysis.

[BibT_eX]

[DOI]

Cristiana Bolchini

J. Syst. Archit., 1997

Introducing Formal Specification Methods in Industrial Practice.

[BibT_eX]

[DOI]

Alessandro Orso

Proceedings of the Pulling Together, 1997

LEMMA: a language for easy medical models analysis.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97), 1997

1996

Software methodologies for VHDL code static analysis based on flow graphs.

[BibT_eX]

[DOI]

Donatella Sciuto

Cristiana Bolchini

Proceedings of the conference on European design automation, 1996

1995

Experiences in the Implementation of a Process-centered Software Engineering Environment Using Object-Oriented Technology.

[BibT_eX]

Theory Pract. Object Syst., 1995

Customizable notations for kernel formalisms.

[BibT_eX]

[DOI]

Alessandro Orso