Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanismof UML State Machines. - Alessandra Cavarra; Elvinia Riccobene; Patrizia Scandurra (Abstract State Machines, 2003)

Towards an Interchange Language for ASMs. - Elvinia Riccobene; Patrizia Scandurra (Abstract State Machines, 2004)

Modelling SystemC Process Behavior by the UML Method State Machines. - Elvinia Riccobene; Patrizia Scandurra (RISE, 2004)

A framework to simulate UML models: moving from a semi-formal to a formal environment. - Alessandra Cavarra; Elvinia Riccobene; Patrizia Scandurra (SAC, 2004)

Mapping UML into Abstract State Machines: A Framework to Simulate UML Models. - Alessandra Cavarra; Elvinia Riccobene; Patrizia Scandurra (Stud. Inform. Univ., 2004)

A Concrete Syntax Derived From the Abstract State Machine Metamodel. - Patrizia Scandurra; Angelo Gargantini; Claudia Genovese; Tiziana Genovese; Elvinia Riccobene (Abstract State Machines, 2005)

A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. - Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio (DATE, 2005)

A UML 2.0 profile for SystemC: toward high-level SoC design. - Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio (EMSOFT, 2005)

An HW/SW Co-design Environment based on UML and SystemC. - Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio (FDL, 2005)

A model-driven design environment for embedded systems. - Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio (DAC, 2006)

A Model-driven Co-design Flow for Embedded Systems. - Elvinia Riccobene; Patrizia Scandurra; Sara Bocchio; Alberto Rosti (FDL, 2006)

UML for ESL design: basic principles, tools, and applications. - Wolfgang Mueller; Alberto Rosti; Sara Bocchio; Elvinia Riccobene; Patrizia Scandurra; Wim Dehaene; Yves Vanderperren (ICCAD, 2006)

Exploiting the ASM method within the Model-driven Engineering paradigm. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Rigorous Methods for Software Construction and Analysis, 2007)

A complete SystemC UML profile with dynamic features for behavioral descriptions. - Sara Bocchio; Elvinia Riccobene; Alberto Rosti; Patrizia Scandurra (FDL, 2007)

Designing a Unified Process for Embedded Systems. - Elvinia Riccobene; Patrizia Scandurra; Alberto Rosti; Sara Bocchio (MOMPES, 2007)

Process State Machines for Behavioral Modeling of Embedded Systems. - Sara Bocchio; Elvinia Riccobene; Alberto Rosti; Patrizia Scandurra (SIES, 2007)

A Scenario-Based Validation Language for ASMs. - Alessandro Carioni; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ABZ, 2008)

Exploiting the ASM Method for Validation & Verification of Embedded Systems. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ABZ, 2008)

Model-Driven System Validation by Scenarios. - Alessandro Carioni; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FDL (Selected Papers), 2008)

Scenario-based Validation of Embedded Systems. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra; Alessandro Carioni (FDL, 2008)

Model-Driven Language Engineering: The ASMETA Case Study. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ICSEA, 2008)

A model-driven validation & verification environment for embedded systems. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (SIES, 2008)

A Metamodel-based Language and a Simulation Engine for Abstract State Machines. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (J. Univers. Comput. Sci., 2008)

Ten Reasons to Metamodel ASMs. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Rigorous Methods for Software Construction and Analysis, 2009)

Integrating Formal Methods with Model-Driven Engineering. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ICSEA, 2009)

A semantic framework for metamodel-based languages. - Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Autom. Softw. Eng., 2009)

Model transformations in the UPES/UPSoC development process for embedded systems. - Elvinia Riccobene; Patrizia Scandurra (Innov. Syst. Softw. Eng., 2009)

Component-based robotic engineering (Part I) [Tutorial]. - Davide Brugali; Patrizia Scandurra (IEEE Robotics Autom. Mag., 2009)

SystemC/C-based model-driven design for embedded systems. - Elvinia Riccobene; Patrizia Scandurra; Sara Bocchio; Alberto Rosti; Luigi Lavazza; Luigi Mantellini (ACM Trans. Embed. Comput. Syst., 2009)

An Executable Semantics of the SystemC UML Profile. - Elvinia Riccobene; Patrizia Scandurra (ASM, 2010)

An ASM-based executable formal model of service-oriented component interactions and orchestration. - Elvinia Riccobene; Patrizia Scandurra (BM-FA, 2010)

Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components. - Elvinia Riccobene; Patrizia Scandurra (ACT4SOC, 2010)

A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications. - Elvinia Riccobene; Patrizia Scandurra; Fabio Albani (EUROMICRO-SEAA, 2011)

Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. - Davide Brugali; Luca Gherardi; Elvinia Riccobene; Patrizia Scandurra (FACS, 2011)

An optimization process for adaptation space exploration of service-oriented applications. - Raffaela Mirandola; Pasqualina Potena; Patrizia Scandurra (SOSE, 2011)

A model-driven process for engineering a toolset for a formal method. - Paolo Arcaini; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Softw. Pract. Exp., 2011)

Modeling Synchronization/Communication Patterns in Vision-Based Robot Control Applications Using ASMs. - Andrea Luzzana; Mattia Rossetti; Paolo Righettini; Patrizia Scandurra (ABZ, 2012)

A Reliability Prediction Method for Abstract State Machines. - Raffaela Mirandola; Pasqualina Potena; Patrizia Scandurra (ABZ, 2012)

Adapting Cloud-based Applications through a Coordinated and Optimized Resource Allocation Approach. - Patrizia Scandurra; Claudia Raibulet; Pasqualina Potena; Raffaela Mirandola; Rafael Capilla (CLOSER, 2012)

Reliability Prediction for Service Component Architectures with the SCA-ASM Component Model. - Elvinia Riccobene; Pasqualina Potena; Patrizia Scandurra (EUROMICRO-SEAA, 2012)

Functional requirements validation by transforming use case models into Abstract State Machines. - Patrizia Scandurra; Andrea Arnoldi; Tao Yue 002; Marco Dolci (SAC, 2012)

A layered coordination framework for optimizing resource allocation in adapting cloud-based applications. - Patrizia Scandurra; Claudia Raibulet; Pasqualina Potena; Raffaela Mirandola; Rafael Capilla (SAC, 2012)

Integrating the SysML and the SystemC-UML profiles in a model-driven embedded system design flow. - Elvinia Riccobene; Patrizia Scandurra (Des. Autom. Embed. Syst., 2012)

A model-driven co-simulation environment for heterogeneous systems. - Massimo Bombino; Patrizia Scandurra (Int. J. Softw. Tools Technol. Transf., 2013)

Towards ASM-Based Formal Specification of Self-Adaptive Systems. - Elvinia Riccobene; Patrizia Scandurra (ABZ, 2014)

A Practical and Automated Approach for Engineering Service-Oriented Applications with Design Patterns. - Patrizia Scandurra; Steven Capelli (COMPSAC Workshops, 2014)

A Mobile/Cloud Emergency Response Application for Indoor Assisted Living. - Giuseppe Psaila; Patrizia Scandurra; Steven Rovelli; Enrico Mazzucchelli; Matteo Taiocchi (NGMAST, 2014)

A formal framework for service modeling and prototyping. - Elvinia Riccobene; Patrizia Scandurra (Formal Aspects Comput., 2014)

A reliability model for Service Component Architectures. - Raffaela Mirandola; Pasqualina Potena; Elvinia Riccobene; Patrizia Scandurra (J. Syst. Softw., 2014)

Adaptation space exploration for service-oriented applications. - Raffaela Mirandola; Pasqualina Potena; Patrizia Scandurra (Sci. Comput. Program., 2014)

Formal Reliability Models for Web Services. - Raffaela Mirandola; Pasqualina Potena; Elvinia Riccobene; Patrizia Scandurra (Correct Software in Web Applications and Web Services, 2015)

Business Process Adaptability Metrics for QoS-Based Service Compositions. - Raffaela Mirandola; Diego Perez-Palacin; Patrizia Scandurra; Michele Brignoli; Andrea Zonca (ESOCC, 2015)

Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. - Paolo Arcaini; Elvinia Riccobene; Patrizia Scandurra (SEAMS@ICSE, 2015)

Specifying and verifying real-time self-adaptive systems. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra (ISSRE, 2015)

Challenges and assessment in migrating IT legacy applications to the cloud. - Patrizia Scandurra; Giuseppe Psaila; Rafael Capilla; Raffaela Mirandola (MESOCA, 2015)

Formal modeling self-adaptive service-oriented applications. - Elvinia Riccobene; Patrizia Scandurra (SAC, 2015)

Unified Syntax for Abstract State Machines. - Paolo Arcaini; Silvia Bonfanti; Marcel Dausend; Angelo Gargantini; Atif Mashkoor; Alexander Raschke; Elvinia Riccobene; Patrizia Scandurra; Michael Stegmaier (ABZ, 2016)

Towards a Goal-oriented Approach to Adaptable Re-deployment of Cloud-based Applications. - Patrizia Scandurra; Marina Mongiello; Simona Colucci; Luigi Alfredo Grieco (CLOSER (1), 2016)

A framework for early design and prototyping of service-oriented applications with design patterns. - Steven Capelli; Patrizia Scandurra (Comput. Lang. Syst. Struct., 2016)

The female contribution in architecting a set of tools for a formal method: role of women in software architecture (short paper). - Silvia Bonfanti; Valentina Centurelli; Elvinia Riccobene; Patrizia Scandurra (ECSA (Companion), 2017)

Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra; Carlo Bellettini (NFM, 2017)

Towards Inverse Uncertainty Quantification in Software Development (Short Paper). - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra; Carlo Bellettini (SEFM, 2017)

Formal Design and Verification of Self-Adaptive Systems with Decentralized Control. - Paolo Arcaini; Elvinia Riccobene; Patrizia Scandurra (ACM Trans. Auton. Adapt. Syst., 2017)

A DSL for MAPE Patterns Representation in Self-adapting Systems. - Paolo Arcaini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (ECSA, 2018)

Online Model-Based Testing under Uncertainty. - Matteo Camilli; Carlo Bellettini; Angelo Gargantini; Patrizia Scandurra (ISSRE, 2018)

Zone-based formal specification and timing analysis of real-time self-adaptive systems. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra (Sci. Comput. Program., 2018)

Self-accounting in architecture-based self-adaptation. - Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (ECSA (Companion), 2019)

Addressing Usability in a Formal Development Environment. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FM Workshops (1), 2019)

A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. - Paolo Arcaini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (ICSA Companion, 2019)

HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. - Matteo Camilli; Angelo Gargantini; Rosario Madaudo; Patrizia Scandurra (IFM, 2019)

Mobile cloud computing for indoor emergency response: the IPSOS assistant case study. - Dario Facchinetti; Giuseppe Psaila; Patrizia Scandurra (J. Reliab. Intell. Environ., 2019)

Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (ABZ, 2020)

Exploring the Concept of Abstract State Machines for System Runtime Enforcement. - Elvinia Riccobene; Patrizia Scandurra (ABZ, 2020)

Model-Based Simulation at Runtime with Abstract State Machines. - Elvinia Riccobene; Patrizia Scandurra (ECSA Companion, 2020)

Model-Based Testing for MAPE-K adaptation control loops. - Paolo Arcaini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (ICST Workshops, 2020)

Smart home platform supporting decentralized adaptive automation control. - Paolo Arcaini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra; Alberto Arrigoni; Daniele Bosc; Federico Modica; Rita Pedercini (SAC, 2020)

MSL: A pattern language for engineering self-adaptive systems. - Paolo Arcaini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (J. Syst. Softw., 2020)

Model-based hypothesis testing of uncertain software systems. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra (Softw. Test. Verification Reliab., 2020)

Foundations. - Carolyn L. Talcott; Sofia Ananieva; Kyungmin Bae; Benoît Combemale; Robert Heinrich; Mark Hills 001; Narges Khakpour; Ralf H. Reussner; Bernhard Rumpe; Patrizia Scandurra; Hans Vangheluwe; Francisco Durán 001; et al. (Composing Model-Based Analysis Tools, 2021)

Composition of Languages, Models, and Analyses. - Carolyn L. Talcott; Sofia Ananieva; Kyungmin Bae; Benoît Combemale; Robert Heinrich; Mark Hills 001; Narges Khakpour; Ralf H. Reussner; Bernhard Rumpe; Patrizia Scandurra; Hans Vangheluwe (Composing Model-Based Analysis Tools, 2021)

Runtime Equilibrium Verification for Resilient Cyber-Physical Systems. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (ACSOS, 2021)

The ASMETA Approach to Safety Assurance of Software Systems. - Paolo Arcaini; Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Logic, Computation and Rigorous Methods, 2021)

A Runtime Safety Enforcement Approach by Monitoring and Adaptation. - Silvia Bonfanti; Elvinia Riccobene; Patrizia Scandurra (ECSA, 2021)

Uncertainty-aware Exploration in Model-based Testing. - Matteo Camilli; Angelo Gargantini; Patrizia Scandurra; Catia Trubiani (ICST, 2021)

From Big Data to Smart Data-centric Software Architectures for City Analytics: the case of the PELL Smart City Platform. - Mubashir Ali; Patrizia Scandurra; Fabio Moretti; Laura Blaso; Mariagrazia Leccisi; Fabio Leccese (SMDS, 2021)

[dataset] Runtime Equilibrium Verification for Resilient Cyber-physical Systems. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (Zenodo, 2021)

Towards an Evaluation Framework for Autonomous Systems. - Andrea Bombarda; Silvia Bonfanti; Martina De Sanctis; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Patrizia Scandurra (ACSOS-C, 2022)

Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. - Marcello M. Bersani; Chiara Braghin; Angelo Gargantini; Raffaela Mirandola; Elvinia Riccobene; Patrizia Scandurra (ECSA (Tracks and Workshops), 2022)

Towards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra; Catia Trubiani (ECSA (Tracks and Workshops), 2022)

Compositional Simulation of Abstract State Machines for Safety Critical Systems. - Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FACS, 2022)

Towards Trust-preserving Continuous Co-evolution of Digital Twins. - Marcello M. Bersani; Chiara Braghin; Vittorio Cortellessa; Angelo Gargantini; Vincenzo Grassi; F. Lo Presti; Raffaela Mirandola; Alfonso Pierantonio; Elvinia Riccobene; Patrizia Scandurra (ICSA Companion, 2022)

XSA: eXplainable Self-Adaptation. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (ASE, 2022)

Taming Model Uncertainty in Self-adaptive Systems Using Bayesian Model Averaging. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (SEAMS, 2022)

Architecting Explainable Service Robots. - Marcello M. Bersani; Matteo Camilli; Livia Lestingi; Raffaela Mirandola; Matteo G. Rossi; Patrizia Scandurra (ECSA, 2023)

Architecting a big data-driven software architecture for smart street lighting. - Mubashir Ali; Patrizia Scandurra; Fabio Moretti; Laura Blaso (ICSA-C, 2023)

Towards Better Trust in Human-Machine Teaming through Explainable Dependability. - Marcello M. Bersani; Matteo Camilli; Livia Lestingi; Raffaela Mirandola; Matteo G. Rossi; Patrizia Scandurra (ICSA-C, 2023)

Engineering Self-adaptive Microservice Applications: An Experience Report. - Vincenzo Riccio; Giancarlo Sorrentino; Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (ICSOC (1), 2023)

A Conceptual Framework for Explainability Requirements in Software-Intensive Systems. - Marcello M. Bersani; Matteo Camilli; Livia Lestingi; Raffaela Mirandola; Matteo G. Rossi; Patrizia Scandurra (REW, 2023)

Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. - Silvia Bonfanti; Elvinia Riccobene; Davide Santandrea; Patrizia Scandurra (ABZ, 2023)

A component framework for the runtime enforcement of safety properties. - Silvia Bonfanti; Elvinia Riccobene; Patrizia Scandurra (J. Syst. Softw., 2023)

Special issue on Architecting Dependable Multi-paradigm Computing Systems. - Patrizia Scandurra; Matteo Camilli; Raffaela Mirandola; Sungwon Kang (Computing, 2023)

Enforcing Resilience in Cyber-physical Systems via Equilibrium Verification at Runtime. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (ACM Trans. Auton. Adapt. Syst., 2023)

Towards a Research Agenda for Understanding and ManagingUncertainty in Self-Adaptive Systems. - Danny Weyns; Radu Calinescu; Raffaela Mirandola; Kenji Tei; Maribel Acosta; Amel Bennaceur; Nicolas Boltz; Tomás Bures; Javier Cámara 001; Ada Diaconescu; Gregor Engels; Simos Gerasimou; et al. (ACM SIGSOFT Softw. Eng. Notes, 2023)

ASMETA Tool Set for Rigorous System Design. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (FM (2), 2024)

Integrated QoS- and Vulnerability-Driven Self-adaptation for Microservices Applications. - Matteo Camilli; Fabio Luccioletti; Raffaela Mirandola; Patrizia Scandurra (ICSOC (2), 2024)

RAMSES: An Artifact Exemplar for Engineering Self-Adaptive Microservice Applications. - Vincenzo Riccio; Giancarlo Sorrentino; Ettore Zamponi; Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (SEAMS@ICSE, 2024)

Anomaly Detection in Public Street Lighting Data Using Unsupervised Clustering. - Mubashir Ali; Patrizia Scandurra; Fabio Moretti; Hafiz Husnain Raza Sherazi (IEEE Trans. Consumer Electron., 2024)

Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems. - Andrea Bombarda; Silvia Bonfanti; Martina De Sanctis; Angelo Gargantini; Patrizio Pelliccione; Elvinia Riccobene; Patrizia Scandurra (IEEE Trans. Software Eng., 2024)

Many-Objective Self-adaptation under Model Uncertainty. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (Zenodo, 2024)

A journey with ASMETA from requirements to code: application to an automotive system with adaptive features. - Paolo Arcaini; Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Int. J. Softw. Tools Technol. Transf., 2024)

Non-invasive software architecture for data pipelines with legacy support in smart manufacturing. - Alberto Ceselli; Giuseppe De Martino; Patrizia Scandurra (ICSA, 2025)

A self-managing IoT-Edge-Cloud architecture for improved robustness in environmental monitoring. - Andrea Bombarda; Giuseppe Ruscica; Patrizia Scandurra (SAC, 2025)

Safety Enforcement for Autonomous Driving on a Simulated Highway Using Asmeta Models@run.time. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Nico Pellegrinelli; Patrizia Scandurra (ABZ, 2025)

Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines. - Silvia Bonfanti; Elvinia Riccobene; Patrizia Scandurra (Sci. Comput. Program., 2025)

Many-objective Self-adaptation under Model Uncertainty. - Matteo Camilli; Raffaela Mirandola; Patrizia Scandurra (ACM Trans. Auton. Adapt. Syst., 2025)

A Compositional Simulation Framework for Abstract State Machine Models of Discrete Event Systems. - Silvia Bonfanti; Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra (Formal Aspects Comput., 2025)