Patrizia Scandurra

Hafiz Husnain Raza Sherazi

Fabio Moretti

IEEE Trans. Consumer Electron., February, 2024

RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications.

[BibT_eX]

[DOI]

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

ASMETA Tool Set for Rigorous System Design.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, October, 2023

Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime.

[BibT_eX]

[DOI]

ACM Trans. Auton. Adapt. Syst., September, 2023

Special issue on Architecting Dependable Multi-paradigm Computing Systems.

[BibT_eX]

[DOI]

Computing, September, 2023

A component framework for the runtime enforcement of safety properties.

[BibT_eX]

[DOI]

Silvia Bonfanti

J. Syst. Softw., April, 2023

Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 9th International Conference, 2023

A Conceptual Framework for Explainability Requirements in Software-Intensive Systems.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023

Engineering Self-adaptive Microservice Applications: An Experience Report.

[BibT_eX]

[DOI]

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

Towards Better Trust in Human-Machine Teaming through Explainable Dependability.

[BibT_eX]

[DOI]

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

Architecting a big data-driven software architecture for smart street lighting.

[BibT_eX]

[DOI]

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

Architecting Explainable Service Robots.

[BibT_eX]

[DOI]

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

2022

Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging.

[BibT_eX]

[DOI]

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

XSA: eXplainable Self-Adaptation.

[BibT_eX]

[DOI]

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

Towards Trust-preserving Continuous Co-evolution of Digital Twins.

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

Compositional Simulation of Abstract State Machines for Safety Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

Engineering of Trust Analysis-Driven Digital Twins for a Medical Device.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

Towards an Evaluation Framework for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion, 2022

2021

[dataset] Runtime Equilibrium Verification for Resilient Cyber-physical Systems.

[BibT_eX]

[DOI]

Dataset, May, 2021

From Big Data to Smart Data-centric Software Architectures for City Analytics: the case of the PELL Smart City Platform.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Smart Data Services, 2021

Uncertainty-aware Exploration in Model-based Testing.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

A Runtime Safety Enforcement Approach by Monitoring and Adaptation.

[BibT_eX]

[DOI]

Silvia Bonfanti

Proceedings of the Software Architecture - 15th European Conference, 2021

The ASMETA Approach to Safety Assurance of Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Logic, Computation and Rigorous Methods, 2021

Runtime Equilibrium Verification for Resilient Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

Composition of Languages, Models, and Analyses.

[BibT_eX]

[DOI]

Proceedings of the Composing Model-Based Analysis Tools, 2021

Foundations.

[BibT_eX]

[DOI]

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

Model-based hypothesis testing of uncertain software systems.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2020

MSL: A pattern language for engineering self-adaptive systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Smart home platform supporting decentralized adaptive automation control.

[BibT_eX]

[DOI]

Proceedings of the SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30, 2020

Model-Based Testing for MAPE-K adaptation control loops.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Model-Based Simulation at Runtime with Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 14th European Conference, 2020

Exploring the Concept of Abstract State Machines for System Runtime Enforcement.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA.

[BibT_eX]

[DOI]

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Mobile cloud computing for indoor emergency response: the IPSOS assistant case study.

[BibT_eX]

[DOI]

Dario Facchinetti

Giuseppe Psaila

J. Reliab. Intell. Environ., 2019

HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

A Pattern-Oriented Design Framework for Self-Adaptive Software Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Architecture Companion, 2019

Addressing Usability in a Formal Development Environment.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods. FM 2019 International Workshops, 2019

Self-accounting in architecture-based self-adaptation.

[BibT_eX]

[DOI]

Proceedings of the 13th European Conference on Software Architecture, 2019

2018

Zone-based formal specification and timing analysis of real-time self-adaptive systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Online Model-Based Testing under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

A DSL for MAPE Patterns Representation in Self-adapting Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, 2018

2017

Formal Design and Verification of Self-Adaptive Systems with Decentralized Control.

[BibT_eX]

[DOI]

Paolo Arcaini

ACM Trans. Auton. Adapt. Syst., 2017

Towards Inverse Uncertainty Quantification in Software Development (Short Paper).

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper).

[BibT_eX]

[DOI]

Proceedings of the 11th European Conference on Software Architecture, 2017

2016

A framework for early design and prototyping of service-oriented applications with design patterns.

[BibT_eX]

[DOI]

Steven Capelli

Comput. Lang. Syst. Struct., 2016

Towards a Goal-oriented Approach to Adaptable Re-deployment of Cloud-based Applications.

[BibT_eX]

[DOI]

Proceedings of the CLOSER 2016, 2016

Unified Syntax for Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Formal modeling self-adaptive service-oriented applications.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Challenges and assessment in migrating IT legacy applications to the cloud.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Environments, 2015

Specifying and verifying real-time self-adaptive systems.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation.

[BibT_eX]

[DOI]

Paolo Arcaini

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

Business Process Adaptability Metrics for QoS-Based Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

Formal Reliability Models for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Correct Software in Web Applications and Web Services, 2015

2014

Adaptation space exploration for service-oriented applications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

A reliability model for Service Component Architectures.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

A formal framework for service modeling and prototyping.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2014

A Mobile/Cloud Emergency Response Application for Indoor Assisted Living.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Next Generation Mobile Apps, 2014

A Practical and Automated Approach for Engineering Service-Oriented Applications with Design Patterns.

[BibT_eX]

[DOI]

Steven Capelli

Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

Towards ASM-Based Formal Specification of Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

A model-driven co-simulation environment for heterogeneous systems.

[BibT_eX]

[DOI]

Massimo Bombino

Int. J. Softw. Tools Technol. Transf., 2013

2012

Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow.

[BibT_eX]

[DOI]

Des. Autom. Embed. Syst., 2012

A layered coordination framework for optimizing resource allocation in adapting cloud-based applications.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Functional requirements validation by transforming use case models into Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model.

[BibT_eX]

[DOI]

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

Adapting Cloud-based Applications through a Coordinated and Optimized Resource Allocation Approach.

[BibT_eX]

Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

A Reliability Prediction Method for Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

A model-driven process for engineering a toolset for a formal method.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

An optimization process for adaptation space exploration of service-oriented applications.

[BibT_eX]

[DOI]

Proceedings of the IEEE 6th International Symposium on Service Oriented System Engineering, 2011

Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications.

[BibT_eX]

[DOI]

Fabio Albani

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

2010

Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components.

[BibT_eX]

Proceedings of the ACT4SOC 2010, 2010

An ASM-based executable formal model of service-oriented component interactions and orchestration.

[BibT_eX]

[DOI]

Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications, 2010

An Executable Semantics of the SystemC UML Profile.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

2009

SystemC/C-based model-driven design for embedded systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2009

Component-based robotic engineering (Part I) [Tutorial].

[BibT_eX]

[DOI]

Davide Brugali

IEEE Robotics Autom. Mag., 2009

Model transformations in the UPES/UPSoC development process for embedded systems.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2009

A semantic framework for metamodel-based languages.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2009

Integrating Formal Methods with Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Software Engineering Advances, 2009

Ten Reasons to Metamodel ASMs.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Methods for Software Construction and Analysis, 2009

2008

A Metamodel-based Language and a Simulation Engine for Abstract State Machines.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2008

A model-driven validation & verification environment for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Model-Driven Language Engineering: The ASMETA Case Study.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Software Engineering Advances, 2008

Scenario-based Validation of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2008

Model-Driven System Validation by Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Languages for Embedded Systems and their Applications, 2008

Exploiting the ASM Method for Validation & Verification of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

A Scenario-Based Validation Language for ASMs.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Process State Machines for Behavioral Modeling of Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Designing a Unified Process for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

A complete SystemC UML profile with dynamic features for behavioral descriptions.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2007

Exploiting the ASM method within the Model-driven Engineering paradigm.

[BibT_eX]

[DOI]

Proceedings of the Rigorous Methods for Software Construction and Analysis, 07.05., 2007

2006

UML for ESL design: basic principles, tools, and applications.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Computer-Aided Design, 2006

A Model-driven Co-design Flow for Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2006

A model-driven design environment for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 43rd Design Automation Conference, 2006

2005

An HW/SW Co-design Environment based on UML and SystemC.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2005

A UML 2.0 profile for SystemC: toward high-level SoC design.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

A SoC Design Methodology Involving a UML 2.0 Profile for SystemC.

[BibT_eX]

[DOI]

Proceedings of the 2005 Design, 2005

A Concrete Syntax Derived From the Abstract State Machine Metamodel.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Mapping UML into Abstract State Machines: A Framework to Simulate UML Models.

[BibT_eX]

[DOI]

Alessandra Cavarra

Stud. Inform. Univ., 2004

A framework to simulate UML models: moving from a semi-formal to a formal environment.

[BibT_eX]

[DOI]

Alessandra Cavarra

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

Modelling SystemC Process Behavior by the UML Method State Machines.

[BibT_eX]

[DOI]

Proceedings of the Rapid Integration of Software Engineering Techniques, 2004

Towards an Interchange Language for ASMs.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2003

Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines.

[BibT_eX]

[DOI]

Alessandra Cavarra