Francesca Cairoli

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 27

Top Topics

Colored Petri Nets

Predictive Control

Stochastic Processes

Decision Support

Top Venues

Publications

Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. QEST (2023)
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. HSCC (2023)
Fabio Anselmi, Luca Manzoni, Alberto d'Onofrio, Alex Rodriguez, Giulio Caravagna, Luca Bortolussi, Francesca Cairoli
Data Symmetries and Learning in Fully Connected Neural Networks. IEEE Access 11 (2023)
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. RV (2023)
Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri
Reliable and Explainable AI in Trieste. Ital-IA (2023)
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. CoRR (2023)
Francesca Cairoli, Fabio Anselmi, Alberto d'Onofrio, Luca Bortolussi
Generative abstraction of Markov population processes. Theor. Comput. Sci. 977 (2023)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. RV (2023)
Luca Bortolussi, Francesca Cairoli, Francesco Giacomarra, Davide Scassola
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models. QEST (2023)
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. CoRR (2022)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
Stochastic Variational Smoothed Model Checking. CoRR (2022)
Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
Neural Predictive Monitoring for Collective Adaptive Systems. ISoLA (3) (2022)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. ADHS (2021)
Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CoRR (2021)
Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CMSB (2021)
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Neural Predictive Monitoring Under Partial Observability. RV (2021)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Neural Predictive Monitoring under Partial Observability. CoRR (2021)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. CoRR (2020)
Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. OVERLAY (2020)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Bayesian Neural Predictive Monitoring. OVERLAY (2020)
Francesca Cairoli, Gianfranco Fenu, Felice Andrea Pellegrino, Erica Salvato
Model Predictive Control of Glucose Concentration Based on Signal Temporal Logic Specifications with Unknown-Meals Occurrence. Cybern. Syst. 51 (4) (2020)
Francesca Cairoli, Gianfranco Fenu, Felice Andrea Pellegrino
Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy. CoDIT (2019)
Luca Bortolussi, Francesca Cairoli
Bayesian Abstraction of Markov Population Models. QEST (2019)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller
Conformal Predictions for Hybrid System State Classification. From Reactive Systems to Cyber-Physical Systems (2019)
Francesca Cairoli, Gianfranco Fenu, Felice Andrea Pellegrino, Erica Salvato
Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications. CoDIT (2019)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural Predictive Monitoring. RV (2019)