Follow
Francesca Cairoli
Francesca Cairoli
Verified email at phd.units.it
Title
Cited by
Cited by
Year
Neural predictive monitoring
L Bortolussi, F Cairoli, N Paoletti, SA Smolka, SD Stoller
Runtime Verification: 19th International Conference, RV 2019, Porto …, 2019
302019
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
152021
Neural predictive monitoring under partial observability
F Cairoli, L Bortolussi, N Paoletti
Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021
152021
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
82023
Abstraction of Markov population dynamics via generative adversarial nets
F Cairoli, G Carbone, L Bortolussi
Computational Methods in Systems Biology: 19th International Conference …, 2021
82021
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
72019
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
72019
Bayesian abstraction of Markov population models
L Bortolussi, F Cairoli
Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019
62019
Stochastic variational smoothed model checking
L Bortolussi, F Cairoli, G Carbone, P Pulcini
arXiv preprint arXiv:2205.05398, 2022
52022
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
52020
Neural predictive monitoring for collective adaptive systems
F Cairoli, N Paoletti, L Bortolussi
International Symposium on Leveraging Applications of Formal Methods, 30-46, 2022
32022
Conformal quantitative predictive monitoring of stl requirements for stochastic processes
L Bortolussi, F Cairoli, N Paoletti
26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
22023
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
22021
Learning-based approaches to predictive monitoring with conformal statistical guarantees
F Cairoli, L Bortolussi, N Paoletti
International Conference on Runtime Verification, 461-487, 2023
12023
Bayesian Neural Predictive Monitoring.
L Bortolussi, F Cairoli, N Paoletti, SA Smolka, SD Stoller
OVERLAY, 95-100, 2020
12020
Generative abstraction of Markov population processes
F Cairoli, F Anselmi, A d'Onofrio, L Bortolussi
Theoretical Computer Science 977, 114169, 2023
2023
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
2023
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models
L Bortolussi, F Cairoli, F Giacomarra, D Scassola
International Conference on Quantitative Evaluation of Systems, 307-310, 2023
2023
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
2023
and Davide Scassola () Allab, University of Trieste, Trieste, Italy lbortolussi@ units. it 9 davide. scassola@ phd. units. it
L Bortolussi, F Cairoli, F Giacomarra
Quantitative Evaluation of Systems: 20th International Conference, QEST 2023 …, 2023
2023
The system can't perform the operation now. Try again later.
Articles 1–20