| Neural predictive monitoring L Bortolussi, F Cairoli, N Paoletti, SA Smolka, SD Stoller Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019 | 40 | 2019 |
| Neural predictive monitoring under partial observability F Cairoli, L Bortolussi, N Paoletti Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021 | 23 | 2021 |
| Neural predictive monitoring and a comparison of frequentist and Bayesian approaches L Bortolussi, F Cairoli, N Paoletti, SA Smolka, SD Stoller International Journal on Software Tools for Technology Transfer 23 (4), 615-640, 2021 | 19 | 2021 |
| Conformal quantitative predictive monitoring of stl requirements for stochastic processes F Cairoli, N Paoletti, L Bortolussi Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023 | 17 | 2023 |
| Abstraction of Markov population dynamics via generative adversarial nets F Cairoli, G Carbone, L Bortolussi Computational Methods in Systems Biology: 19th International Conference …, 2021 | 13 | 2021 |
| Model predictive control of glucose concentration based on signal temporal logic specifications F Cairoli, G Fenu, FA Pellegrino, E Salvato 2019 6th International Conference on Control, Decision and Information …, 2019 | 9 | 2019 |
| Stochastic variational smoothed model checking L Bortolussi, F Cairoli, G Carbone, P Pulcini arXiv preprint arXiv:2205.05398, 2022 | 7 | 2022 |
| Model predictive control of glucose concentration based on signal temporal logic specifications with unknown-meals occurrence F Cairoli, G Fenu, FA Pellegrino, E Salvato Cybernetics and Systems 51 (4), 426-441, 2020 | 7 | 2020 |
| Conformal predictions for hybrid system state classification L Bortolussi, F Cairoli, N Paoletti, SD Stoller From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A …, 2019 | 7 | 2019 |
| Bayesian abstraction of Markov population models L Bortolussi, F Cairoli Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019 | 7 | 2019 |
| Neural predictive monitoring for collective adaptive systems F Cairoli, N Paoletti, L Bortolussi International Symposium on Leveraging Applications of Formal Methods, 30-46, 2022 | 6 | 2022 |
| Generative abstraction of Markov population processes F Cairoli, F Anselmi, A d'Onofrio, L Bortolussi Theoretical Computer Science 977, 114169, 2023 | 5 | 2023 |
| Learning-based approaches to predictive monitoring with conformal statistical guarantees F Cairoli, L Bortolussi, N Paoletti International Conference on Runtime Verification, 461-487, 2023 | 4 | 2023 |
| Towards a probabilistic programming approach to analyse collective adaptive systems F Randone, R Doz, F Cairoli, L Bortolussi International Symposium on Leveraging Applications of Formal Methods, 168-185, 2024 | 2 | 2024 |
| Scalable stochastic parametric verification with stochastic variational smoothed model checking L Bortolussi, F Cairoli, G Carbone, P Pulcini International Conference on Runtime Verification, 45-65, 2023 | 2 | 2023 |
| Data symmetries and Learning in fully connected neural networks F Anselmi, L Manzoni, A D’onofrio, A Rodriguez, G Caravagna, ... IEEE Access 11, 47282-47290, 2023 | 2 | 2023 |
| Adversarial learning of robust and safe controllers for cyber-physical systems L Bortolussi, F Cairoli, G Carbone, F Franchina, E Regolin IFAC-PapersOnLine 54 (5), 223-228, 2021 | 2 | 2021 |
| Data-driven inference of chemical reaction networks via graph-based variational autoencoders L Bortolussi, F Cairoli, J Klein, T Petrov International Conference on Quantitative Evaluation of Systems, 143-147, 2023 | 1 | 2023 |
| Bayesian Neural Predictive Monitoring. L Bortolussi, F Cairoli, N Paoletti, SA Smolka, SD Stoller OVERLAY, 95-100, 2020 | 1 | 2020 |
| Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy F Cairoli, G Fenu, FA Pellegrino 2019 6th International Conference on Control, Decision and Information …, 2019 | 1 | 2019 |