| 2025 | FMICS | Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles. | Laura Carnevali, Alessandro Fantechi, Gloria Gori, Denis Vreshtazi, Alessandro Borselli, Maria Rosaria Cefaloni, Lucio Rota |
| 2025 | ISSRE | Quantitative Modeling and Evaluation of Software Aging and Rejuvenation in Microservices. | Leonardo Scommegna, Alberto Avritzer, Laura Carnevali, Enrico Vicario |
| 2024 | EDCC | An observation metamodel for dependability tools. | Laura Carnevali, Stefania Cerboni, Benedetta Picano, Leonardo Scommegna, Enrico Vicario |
| 2024 | ETFA | Democratized Learning Enabling Multi-Level Digital Twin Model Integration. | Benedetta Picano, Marco Becattini, Laura Carnevali, Enrico Vicario |
| 2024 | ISoLA | An Integrated Perspective on the Evaluation of Complex Railway Systems. | Davide Basile, Maurice H. ter Beek, Laura Carnevali, Silvano Chiaradonna, Felicita Di Giandomenico, Alessandro Fantechi, Gloria Gori |
| 2024 | ISSRE | A Compositional Approach to Coordinated Software Rejuvenation of Component-Based Systems. | Leonardo Paroli, Tommaso Botarelli, Laura Carnevali, Enrico Vicario |
| 2024 | SAFECOMP | Neuro-Symbolic Artificial Intelligence for Safety Engineering. | Laura Carnevali, Marco Lippi |
| 2022 | ISSRE | A Markov Regenerative Model of Software Rejuvenation Beyond the Enabling Restriction. | Laura Carnevali, Marco Paolieri, Riccardo Reali, Leonardo Scommegna, Enrico Vicario |
| 2019 | ISSRE | Learning Marked Markov Modulated Poisson Processes for Online Predictive Analysis of Attack Scenarios. | Laura Carnevali, Francesco Santoni, Enrico Vicario |
| 2018 | ETFA | Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow. | Marco Biagi, Laura Carnevali, Kumiko Tadano, Enrico Vicario |
| 2018 | VECoS | Analysis of a Road/Tramway Intersection by the ORIS Tool. | Laura Carnevali, Alessandro Fantechi, Gloria Gori, Enrico Vicario |
| 2014 | RTNS | Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis. | Laura Carnevali, Alessandra Melani, Luca Santinelli, Giuseppe Lipari |
| 2014 | SAFECOMP | Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters. | Laura Carnevali, Marco Paolieri, Fabio Tarani, Enrico Vicario, Kumiko Tadano |
| 2013 | ISSRE | Software rejuvenation impacts on a phased-mission system for Mars exploration. | Stefano Ballerini, Laura Carnevali, Marco Paolieri, Kumiko Tadano, Fumio Machida |
| 2011 | SAFECOMP | A Framework for Simulation and Symbolic State Space Analysis of Non-Markovian Models. | Laura Carnevali, Lorenzo Ridi, Enrico Vicario |
| 2009 | ETFA | Stochastic Fault Trees for Cross-layer Power Management of WSN Monitoring Systems. | Laura Carnevali, Lorenzo Ridi, Enrico Vicario |
| 2009 | RSP | Automatic Code Generation from Real-Time Systems Specifications. | Laura Carnevali, Dario D'Amico, Lorenzo Ridi, Enrico Vicario |
| 2007 | ECRTS | Casting Preemptive Time Petri Nets in the Development Life Cycle of Real-Time Software. | Laura Carnevali, Luigi Sassoli, Enrico Vicario |
| 2007 | ETFA | Sensitization of symbolic runs in real-time testing using the ORIS tool. | Laura Carnevali, Luigi Sassoli, Enrico Vicario |