| 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 | Conformal Predictive Monitoring for Multi-modal Scenarios. | Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti |
| 2025 | RV | CoCAI: Copula-Based Conformal Anomaly Identification for Multivariate Time-Series. | Nicholas Andrea Pearson, Francesca Zanello, Davide Russo, Luca Bortolussi, Francesca Cairoli |
| 2024 | ISoLA | Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems. | Francesca Randone, Romina Doz, Francesca Cairoli, Luca Bortolussi |
| 2023 | RV | Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. | Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini |
| 2023 | RV | Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. | Francesca Cairoli, Luca Bortolussi, Nicola Paoletti |
| 2022 | ISoLA | Neural Predictive Monitoring for Collective Adaptive Systems. | Francesca Cairoli, Nicola Paoletti, Luca Bortolussi |
| 2021 | RV | Neural Predictive Monitoring Under Partial Observability. | Francesca Cairoli, Luca Bortolussi, Nicola Paoletti |
| 2019 | CoDIT | Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy. | Francesca Cairoli, Gianfranco Fenu, Felice Andrea Pellegrino |
| 2019 | CoDIT | Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications. | Francesca Cairoli, Gianfranco Fenu, Felice Andrea Pellegrino, Erica Salvato |
| 2019 | RV | Neural Predictive Monitoring. | Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller |