| 2026 | KR | Time Robustness for Point-Based Semantics of Metric Interval Temporal Logic. | Simone Silvetti, Ivan Compagnucci, Francesca Cairoli, Catia Trubiani, Laura Nenzi |
| 2025 | RV | Modular and Online Monitoring of Temporal Logic Specification with Integral and Filter. | Simone Silvetti, Michele Loreti, Laura Nenzi |
| 2024 | ISoLA | Is Machine Learning Model Checking Privacy Preserving? | Luca Bortolussi, Laura Nenzi, Gaia Saveri, Simone Silvetti |
| 2020 | RV | MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti |
| 2018 | ATVA | Signal Convolution Logic. | Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi |
| 2018 | WSC | Bayesian Statistical parametric Verification and synthesis by Machine Learning. | Luca Bortolussi, Guido Sanguinetti, Simone Silvetti |
| 2018 | TACAS | Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models. | Luca Bortolussi, Simone Silvetti |
| 2017 | IFM | An Active Learning Approach to the Falsification of Black Box Cyber-Physical Systems. | Simone Silvetti, Alberto Policriti, Luca Bortolussi |