| 2024 | ISCC | Attacks detection in Cyber-Physical Systems with Neural Networks: a case study. | Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Alessio Vivani |
| 2024 | ISoLA | Statistical Model Checking of Cooperative Autonomous Driving Systems. | Cinzia Bernardeschi, Giuseppe Lettieri, Federico Rossi |
| 2022 | WoWMoM | Co-simulated Digital Twin on the Network Edge: the case of platooning. | Maurizio Palmieri, Christian Quadri, Adriano Fagiolini, Gian Paolo Rossi, Cinzia Bernardeschi |
| 2022 | SEFM | Do-it-Yourself FMU Generation. | Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Maurizio Palmieri, Sergio Saponara |
| 2022 | SmartComp | Demo: An On-line Supervisor for the Line Follower Robot. | Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi |
| 2022 | SmartComp | A Workflow for Designing an On-line Supervisor for Cyber-Physical Systems: a Case Study. | Maurizio Palmieri, Carlo Vallati, Giuseppe Anastasi, Cinzia Bernardeschi |
| 2021 | SEFM | Co-simulation of a Model Predictive Control System for Automotive Applications. | Cinzia Bernardeschi, Pierpaolo Dini, Andrea Domenici, Ayoub Mouhagir, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Lilia Zaourar |
| 2020 | ICISSP | Analysis of Security Attacks in Wireless Sensor Networks: From UPPAAL to Castalia. | Cinzia Bernardeschi, Gianluca Dini, Maurizio Palmieri, Francesco Racciatti |
| 2020 | IJCNN | Identify Potential Attacks from Simulated Log Analysis. | Cinzia Bernardeschi, Andrea Domenici, Francesco Mercaldo, Antonella Santone |
| 2020 | SEFM | Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor. | Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri, Sergio Saponara, Tanguy Sassolas, Arief Wicaksana, Lilia Zaourar |
| 2019 | ICISSP | Modeling and Simulation of Attacks on Cyber-physical Systems. | Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri |
| 2019 | KES | Exploiting Model Checking for Mobile Botnet Detection. | Cinzia Bernardeschi, Francesco Mercaldo, Vittoria Nardone, Antonella Santone |
| 2019 | SEFM | Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors. | Cinzia Bernardeschi, Dini Pierpaolo, Andrea Domenici, Sergio Saponara |
| 2018 | RSP | PyXEL: An Integrated Environment for the Analysis of Fault Effects in SRAM-Based FPGA Routing. | Ludovica Bozzoli, Corrado De Sio, Luca Sterpone, Cinzia Bernardeschi |
| 2017 | ICISSP | Verifying Data Secure Flow in AUTOSAR Models by Static Analysis. | Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Maurizio Palmieri |
| 2017 | SAC | Modeling and generation of secure component communications in AUTOSAR. | Cinzia Bernardeschi, Marco Di Natale, Gianluca Dini, Dario Varano |
| 2017 | SEFM | Co-simulation of Semi-autonomous Systems: The Line Follower Robot Case Study. | Maurizio Palmieri, Cinzia Bernardeschi, Paolo Masci |
| 2016 | ISCC | Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System. | Cinzia Bernardeschi, Andrea Domenici, Paolo Masci |
| 2013 | IECON | Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries. | Federico Baronti, Cinzia Bernardeschi, Luca Cassano, Andrea Domenici, Roberto Roncella, Roberto Saletti |
| 2012 | IOLTS | SEU-X: A SEu un-excitability prover for SRAM-FPGAs. | Cinzia Bernardeschi, Luca Cassano, Andrea Domenici |
| 2011 | DDECS | Failure probability of SRAM-FPGA systems with Stochastic Activity Networks. | Cinzia Bernardeschi, Luca Cassano, Andrea Domenici |
| 2011 | FPL | Failure Probability and Fault Observability of SRAM-FPGA Systems. | Cinzia Bernardeschi, Luca Cassano, Andrea Domenici |
| 2009 | SSS | Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios. | Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer |
| 2008 | SAFECOMP | Early Prototyping of Wireless Sensor Network Algorithms in PVS. | Cinzia Bernardeschi, Paolo Masci, Holger Pfeifer |
| 2002 | COMPSAC | Using Standard Verifier to Check Secure Information Flow in Java Bytecode. | Cinzia Bernardeschi, Nicoletta De Francesco, Giuseppe Lettieri |
| 2002 | SAC | Checking security of Java bytecode by abstract interpretation. | Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco |
| 2002 | SEKE | Fixing the Java bytecode verifier by a suitable type domain. | Roberto Barbuti, Luca Tesei, Cinzia Bernardeschi, Nicoletta De Francesco |
| 2002 | VMCAI | Combining Abstract Interpretation and Model Checking for Analysing Security Properties of Java Bytecode. | Cinzia Bernardeschi, Nicoletta De Francesco |
| 1999 | SAFECOMP | Formal Validation of the GUARDS Inter-Consistency Mechanism. | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
| 1998 | ISORC | Validating the Design of Dependable Systems. | Cinzia Bernardeschi, Luca Simoncini, Alessandro Fantechi |
| 1996 | EDCC | Proving Safety Properties for Embedded Control Systems. | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Giorgio Mongardi |
| 1996 | SAFECOMP | Formal Verification of Safety Requirements on Complex Systems. | Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi |
| 1995 | SEKE | Application of Correctness Preserving Transformations for Deriving Architectural Descriptions of Interactive Systems from User Interface Specifications. | Cinzia Bernardeschi, Alessandro Fantechi, Fabio Patern |
| 1995 | SAFECOMP | An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System. | A. Anselmi, Cinzia Bernardeschi, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Giorgio Mongardi, Fernando Torielli |
| 1994 | EDCC | Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: A Case Study. | Cinzia Bernardeschi, Alessandro Fantechi, Luca Simoncini |
| 1993 | SAFECOMP | Data Flow Control Systems: an Example of Safety Validation. | Cinzia Bernardeschi, Luca Simoncini, Andrea Bondavalli |