Francesca Cairoli

According to our database, Francesca Cairoli authored at least 22 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Generative abstraction of Markov population processes.

Francesca Cairoli, Fabio Anselmi, Alberto d'Onofrio, Luca Bortolussi

Theor. Comput. Sci., October, 2023

Data Symmetries and Learning in Fully Connected Neural Networks.

Fabio Anselmi, Luca Manzoni, Alberto d'Onofrio, Alex Rodriguez, Giulio Caravagna, Luca Bortolussi, Francesca Cairoli

IEEE Access, 2023

Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees.

Francesca Cairoli, Luca Bortolussi, Nicola Paoletti

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking.

Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders.

Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Model Abstraction and Conditional Sampling with Score-Based Diffusion Models.

Luca Bortolussi, Francesca Cairoli, Francesco Giacomarra, Davide Scassola

Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Reliable and Explainable AI in Trieste.

Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri

Proceedings of the Italia Intelligenza Artificiale, 2023

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes.

Francesca Cairoli, Nicola Paoletti, Luca Bortolussi

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2022

Stochastic Variational Smoothed Model Checking.

Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini

CoRR, 2022

Neural Predictive Monitoring for Collective Adaptive Systems.

Francesca Cairoli, Nicola Paoletti, Luca Bortolussi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022

2021

Neural predictive monitoring and a comparison of frequentist and Bayesian approaches.

Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller

Int. J. Softw. Tools Technol. Transf., 2021

Neural Predictive Monitoring Under Partial Observability.

Francesca Cairoli, Luca Bortolussi, Nicola Paoletti

Proceedings of the Runtime Verification - 21st International Conference, 2021

Abstraction of Markov Population Dynamics via Generative Adversarial Nets.

Francesca Cairoli, Ginevra Carbone, Luca Bortolussi

Proceedings of the Computational Methods in Systems Biology, 2021

Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems.

Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020

Model Predictive Control of Glucose Concentration Based on Signal Temporal Logic Specifications with Unknown-Meals Occurrence.

Francesca Cairoli, Gianfranco Fenu, Felice Andrea Pellegrino, Erica Salvato

Cybern. Syst., 2020

Bayesian Neural Predictive Monitoring.

Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems.

Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

2019

Neural Predictive Monitoring.

Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller

Proceedings of the Runtime Verification - 19th International Conference, 2019

Bayesian Abstraction of Markov Population Models.

Luca Bortolussi, Francesca Cairoli

Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019

Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications.

Francesca Cairoli, Gianfranco Fenu, Felice Andrea Pellegrino, Erica Salvato

Proceedings of the 6th International Conference on Control, 2019

Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy.

Francesca Cairoli, Gianfranco Fenu, Felice Andrea Pellegrino

Proceedings of the 6th International Conference on Control, 2019

Conformal Predictions for Hybrid System State Classification.

Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller

Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019