| 2023 | ETFA | Demonstrating the Necessity of Model Generation in Security Protocol Verification. | Mariapia Raimondo, Stefano Marrone, Simona Bernardi, Angelo Palladino |
| 2021 | EDCC | Detectors of Smart Grid Integrity Attacks: an Experimental Assessment. | Simona Bernardi, Ral Javierre, Jos Merseguer, Jos Ignacio Requeno |
| 2021 | ICISSP | On Formalising and Analysing the Tweetchain Protocol. | Mariapia Raimondo, Simona Bernardi, Stefano Marrone |
| 2021 | RTNS | A model-based approach for analysing network communication timeliness in IMA systems at concept level. | Rodrigo Saar de Moraes, Simona Bernardi, Simin Nadjm-Tehrani |
| 2018 | EDCC | Detection of Integrity Attacks to Smart Grids using Process Mining and Time-Evolving Graphs. | Simona Bernardi, Raquel Trillo Lado, Jos Merseguer |
| 2017 | IRI | Performance Analysis of Apache Storm Applications Using Stochastic Petri Nets. | Jos Ignacio Requeno, Jos Merseguer, Simona Bernardi |
| 2016 | ICA3PP | Modeling Performance of Hadoop Applications: A Journey from Queueing Networks to Stochastic Well Formed Nets. | Danilo Ardagna, Simona Bernardi, Eugenio Gianniti, Soroush Karimian Aliabadi, Diego Perez-Palacin, Jos Ignacio Requeno |
| 2016 | ISSTA | A systematic approach for performance evaluation using process mining: the POSIDONIA operations case study. | Simona Bernardi, Jos Ignacio Requeno, Christophe Joubert, Alberto Romeu |
| 2014 | ETFA | A model-based approach for the specification and verification of clinical guidelines. | Simona Bernardi, Jos Manuel Colom, Jorge Albareda, Cristian Mahulea |
| 2014 | SEFM | Modelling and Verification of Survivability Requirements for Critical Systems. | Simona Bernardi, Lacramioara Dranca, Jos Merseguer |
| 2011 | SAFECOMP | Model-Driven Availability Evaluation of Railway Control Systems. | Simona Bernardi, Francesco Flammini, Stefano Marrone, Jos Merseguer, Camilla Papa, Valeria Vittorini |
| 2010 | EDCC | Reliability and Availability Requirements Engineering within the Unified Process Using a Dependability Analysis and Modeling Profile. | Simona Bernardi, Jos Merseguer, Robyn R. Lutz |
| 2009 | MODELS | UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. | Luca Berardinelli, Simona Bernardi, Vittorio Cortellessa, Jos Merseguer |
| 2009 | TACAS | ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. | Elina Pacini Naumovich, Simona Bernardi, Marco Gribaudo |
| 2008 | MODELS | Adding Dependability Analysis Capabilities to the MARTE Profile. | Simona Bernardi, Jos Merseguer, Dorina C. Petriu |
| 2004 | ISoLA | A class Diagram framework for collecting dependability requirements in automation systems. | Simona Bernardi, Susanna Donatelli, Giovanna Dondossola |
| 2004 | PRDC | Stochastic Petri Nets and Inheritance for Dependability Modelling. | Simona Bernardi, Susanna Donatelli |
| 2002 | DSN | Validation and Evaluation of a Software Solution for Fault Tolerant Distributed Synchronization. | Paolo Ballarini, Simona Bernardi, Susanna Donatelli |
| 2001 | DSN | Performance Validation of Fault-Tolerance Software: A Compositional Approach. | Simona Bernardi, Susanna Donatelli |