| 2024 | FMICS | Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations. | Valentina Castiglioni, Ruggero Lanotte, Michele Loreti, Simone Tini |
| 2023 | FORTE | Impact Analysis of Coordinated Cyber-Physical Attacks via Statistical Model Checking: A Case Study. | Ruggero Lanotte, Massimo Merro, Nicola Zannone |
| 2022 | ESORICS | Towards Reverse Engineering of Industrial Physical Processes. | Mariano Ceccato, Youssef Driouich, Ruggero Lanotte, Marco Lucchese, Massimo Merro |
| 2019 | IFM | Computing Bisimilarity Metrics for Probabilistic Timed Automata. | Ruggero Lanotte, Simone Tini |
| 2018 | FORTE | A Modest Security Analysis of Cyber-Physical Systems: A Case Study. | Ruggero Lanotte, Massimo Merro, Andrei Munteanu |
| 2018 | ICTAC | Weak Bisimulation Metrics in Models with Nondeterminism and Continuous State Spaces. | Ruggero Lanotte, Simone Tini |
| 2018 | IFM | Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. | Ruggero Lanotte, Massimo Merro, Simone Tini |
| 2017 | FORTE | Weak Simulation Quasimetric in a Gossip Scenario. | Ruggero Lanotte, Massimo Merro, Simone Tini |
| 2017 | LATA | A Calculus of Cyber-Physical Systems. | Ruggero Lanotte, Massimo Merro |
| 2017 | MFCS | Compositional Weak Metrics for Group Key Update. | Ruggero Lanotte, Massimo Merro, Simone Tini |
| 2016 | Coordination | A Semantic Theory of the Internet of Things - (Extended Abstract). | Ruggero Lanotte, Massimo Merro |
| 2011 | CONCUR | Semantic Analysis of Gossip Protocols for Wireless Sensor Networks. | Ruggero Lanotte, Massimo Merro |
| 2011 | TABLEAUX | Hybrid and First-Order Complete Extensions of CaRet. | Laura Bozzelli, Ruggero Lanotte |
| 2008 | JELIA | Complexity and Succinctness Issues for Linear-Time Hybrid Logics. | Laura Bozzelli, Ruggero Lanotte |
| 2007 | ICTAC | Distributed Time-Asynchronous Automata. | Catalin Dima, Ruggero Lanotte |
| 2005 | FOSSACS | Probabilistic Congruence for Semistochastic Generative Processes. | Ruggero Lanotte, Simone Tini |
| 2005 | SEFM | Timed Automata with Data Structures for Distributed Systems Design and Analysis. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
| 2004 | ICICS | Automatic Covert Channel Analysis of a Multilevel Secure Component. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci |
| 2004 | MFCS | Structural Model Checking for Communicating Hierarchical Machines. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron |
| 2004 | SEFM | Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
| 2003 | SEFM | Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina |
| 2001 | FCT | Concurrency in Timed Automata. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
| 2000 | MFCS | Timed Automata with Monotonic Activities. | Ruggero Lanotte, Andrea Maggiolo-Schettini |