| 2026 | FORTE | AsmetaComp: A Tool for Runtime Contract Checking with I/O Abstract State Machines. | Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2026 | SECRYPT | Security-by-Design Reference Architecture for Data Governance in Healthcare Digital Twins. | Chiara Braghin, Stelvio Cimato, Andrea Marchesini, Fabio Palazzesi, Elvinia Riccobene |
| 2024 | FM | ASMETA Tool Set for Rigorous System Design. | Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2024 | MODELSWARD | Kant: A Domain-Specific Language for Modeling Security Protocols. | Chiara Braghin, Mario Lilli, Elvinia Riccobene, Marian Baba |
| 2024 | SAC | Modeling and verification of smart contracts with Abstract State Machines. | Chiara Braghin, Elvinia Riccobene, Simone Valentini |
| 2024 | SECRYPT | An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts. | Chiara Braghin, Elvinia Riccobene, Simone Valentini |
| 2022 | ECSA | Engineering of Trust Analysis-Driven Digital Twins for a Medical Device. | Marcello M. Bersani, Chiara Braghin, Angelo Gargantini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra |
| 2022 | ICSA | 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 |
| 2021 | ECSA | A Runtime Safety Enforcement Approach by Monitoring and Adaptation. | Silvia Bonfanti, Elvinia Riccobene, Patrizia Scandurra |
| 2021 | ISSRE | Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. | Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada |
| 2021 | SECRYPT | Formal Proof of a Vulnerability in Z-Wave IoT Protocol. | Mario Lilli, Chiara Braghin, Elvinia Riccobene |
| 2020 | ECSA | Model-Based Simulation at Runtime with Abstract State Machines. | Elvinia Riccobene, Patrizia Scandurra |
| 2020 | ICST | Model-Based Testing for MAPE-K adaptation control loops. | Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra |
| 2020 | SAC | Smart home platform supporting decentralized adaptive automation control. | Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini |
| 2019 | ECSA | A formal design of the hybrid European rail traffic management system. | Paolo Gaspari, Elvinia Riccobene, Angelo Gargantini |
| 2019 | ECSA | Self-accounting in architecture-based self-adaptation. | Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra |
| 2019 | ESORICS | A Model Driven Approach for Cyber Security Scenarios Deployment. | Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Lara Mauri, Elvinia Riccobene |
| 2019 | FM | Addressing Usability in a Formal Development Environment. | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2019 | ICSA | A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. | Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra |
| 2019 | ICST | Automatic Refinement of ASM Abstract Test Cases. | Paolo Arcaini, Elvinia Riccobene |
| 2018 | ECSA | A DSL for MAPE Patterns Representation in Self-adapting Systems. | Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra |
| 2017 | ECSA | 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 |
| 2017 | ICST | MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2017 | ICST | NuSeen: A Tool Framework for the NuSMV Model Checker. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2016 | SEFM | SMT-Based Automatic Proof of ASM Model Refinement. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2015 | ICSE | Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. | Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra |
| 2015 | ICST | Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori |
| 2015 | MEMOCODE | Formal validation and verification of a medical software critical component. | Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene |
| 2015 | SAC | Formal modeling self-adaptive service-oriented applications. | Elvinia Riccobene, Patrizia Scandurra |
| 2014 | TAP | An Abstraction Technique for Testing Decomposable Systems by Model Checking. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2013 | ICST | Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2011 | RV | CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene |
| 2010 | ICSoft | Specifying Formal executable Behavioral Models for Structural Models of Service-oriented Components. | Elvinia Riccobene, Patrizia Scandurra |
| 2009 | ICSEA | Integrating Formal Methods with Model-Driven Engineering. | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2008 | FDL | Model-Driven System Validation by Scenarios. | Alessandro Carioni, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2008 | FDL | Scenario-based Validation of Embedded Systems. | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra, Alessandro Carioni |
| 2008 | ICSEA | Model-Driven Language Engineering: The ASMETA Case Study. | Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra |
| 2007 | FDL | A complete SystemC UML profile with dynamic features for behavioral descriptions. | Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra |
| 2006 | DAC | A model-driven design environment for embedded systems. | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
| 2006 | FDL | A Model-driven Co-design Flow for Embedded Systems. | Elvinia Riccobene, Patrizia Scandurra, Sara Bocchio, Alberto Rosti |
| 2006 | ICCAD | UML for ESL design: basic principles, tools, and applications. | Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren |
| 2005 | DATE | A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
| 2005 | EMSOFT | A UML 2.0 profile for SystemC: toward high-level SoC design. | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
| 2005 | FDL | An HW/SW Co-design Environment based on UML and SystemC. | Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio |
| 2004 | SAC | A framework to simulate UML models: moving from a semi-formal to a formal environment. | Alessandra Cavarra, Elvinia Riccobene, Patrizia Scandurra |
| 2003 | FASE | Automatic Model Driven Animation of SCR Specifications. | Angelo Gargantini, Elvinia Riccobene |
| 2003 | SAC | Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines. | Egon Brger, Elvinia Riccobene, Alessandra Cavarra |
| 2000 | SAC | A Formal Model for the Parallel Semantics of P3L. | Alessandra Cavarra, Elvinia Riccobene, Andrea Zavanella |
| 1991 | LPAR | Logical Operational Semantics of Parlog. Part II: Or-Parallelism. | Egon Brger, Elvinia Riccobene |