| 2026 | FORTE | Robustness Against Time Distortions in Stark. | Julian de Jong, Valentina Castiglioni, Simone Tini |
| 2024 | CONCUR | RobTL: Robustness Temporal Logic for CPS. | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 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 | Coordination | Stark: A Software Tool for the Analysis of Robustness in the unKnown Environment. | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2021 | FORTE | How Adaptive and Reliable is Your Program? | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2020 | ISoLA | Measuring Adaptability and Reliability of Large Scale Systems. | Valentina Castiglioni, Michele Loreti, Simone Tini |
| 2019 | IFM | Computing Bisimilarity Metrics for Probabilistic Timed Automata. | Ruggero Lanotte, Simone Tini |
| 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 | MFCS | Compositional Weak Metrics for Group Key Update. | Ruggero Lanotte, Massimo Merro, Simone Tini |
| 2016 | CONCUR | Modal Decomposition on Nondeterministic Probabilistic Processes. | Valentina Castiglioni, Daniel Gebler, Simone Tini |
| 2015 | CONCUR | SOS Specifications of Probabilistic Systems by Uniformly Continuous Operators. | Daniel Gebler, Simone Tini |
| 2015 | FOSSACS | Compositional Metric Reasoning with Probabilistic Process Calculi. | Daniel Gebler, Kim Guldstrand Larsen, Simone Tini |
| 2013 | CiE | A Compositional Semantics of Reaction Systems with Restriction. | Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini |
| 2005 | FOSSACS | Probabilistic Congruence for Semistochastic Generative Processes. | Ruggero Lanotte, Simone Tini |
| 2004 | ICICS | Automatic Covert Channel Analysis of a Multilevel Secure Component. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci |
| 2003 | ESOP | Rule Formats for Non Interference. | Simone Tini |
| 2001 | FCT | Concurrency in Timed Automata. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini |
| 2001 | FOSSACS | An Axiomatic Semantics for the Synchronous Language Gentzen. | Simone Tini |
| 1996 | CONCUR | Equivalences of Statecharts. | Andrea Maggiolo-Schettini, Adriano Peron, Simone Tini |