Francesca Cairoli

38 papers A 1B 6C 2Journal 15Unranked 13

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Scalable and reliable stochastic parametric verification with stochastic variational smoothed model checking. Int. J. Syst. Sci. Francesca Cairoli, Luca Bortolussi
2025	A	`conf`	Certified Guidance for Planning with Deep Generative Models. AAMAS Francesco Giacomarra, Mehran Hosseini, Nicola Paoletti, Francesca Cairoli
2025	J	`jnl`	Certified Guidance for Planning with Deep Generative Models. CoRR Francesco Giacomarra, Mehran Hosseini, Nicola Paoletti, Francesca Cairoli
2025	B	`conf`	CoCAI: Copula-Based Conformal Anomaly Identification for Multivariate Time-Series. RV Nicholas A. Pearson, Francesca Zanello, Davide Russo, Luca Bortolussi, Francesca Cairoli
2025	J	`jnl`	CoCAI: Copula-based Conformal Anomaly Identification for Multivariate Time-Series. CoRR Nicholas A. Pearson, Francesca Zanello, Davide Russo, Luca Bortolussi, Francesca Cairoli
2025	J	`jnl`	Conformal Predictive Monitoring for Multi-Modal Scenarios. CoRR Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti
2025	B	`conf`	Conformal Predictive Monitoring for Multi-modal Scenarios. RV Francesca Cairoli, Luca Bortolussi, Jyotirmoy V. Deshmukh, Lars Lindemann, Nicola Paoletti
2025	J	`jnl`	Diffusion-based Time Series Forecasting for Sewerage Systems. CoRR Nicholas A. Pearson, Francesca Cairoli, Luca Bortolussi, Davide Russo, Francesca Zanello
2025	—	`conf`	Neuro-Symbolic Discovery of Markov Population Processes. NeuS Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov
2024	—	`conf`	Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems. ISoLA (1) Francesca Randone, Romina Doz, Francesca Cairoli, Luca Bortolussi
2023	—	`conf`	Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. HSCC Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
2023	J	`jnl`	Data Symmetries and Learning in Fully Connected Neural Networks. IEEE Access Fabio Anselmi, Luca Manzoni, Alberto d'Onofrio, Alex Rodriguez, Giulio Caravagna, Luca Bortolussi, Francesca Cairoli
2023	—	`conf`	Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. QEST Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov
2023	J	`jnl`	Generative abstraction of Markov population processes. Theor. Comput. Sci. Francesca Cairoli, Fabio Anselmi, Alberto d'Onofrio, Luca Bortolussi
2023	B	`conf`	Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. RV Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
2023	J	`jnl`	Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. CoRR Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
2023	—	`conf`	Model Abstraction and Conditional Sampling with Score-Based Diffusion Models. QEST Luca Bortolussi, Francesca Cairoli, Francesco Giacomarra, Davide Scassola
2023	—	`conf`	Reliable and Explainable AI in Trieste. Ital-IA Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri
2023	B	`conf`	Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. RV Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
2022	J	`jnl`	Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. CoRR Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
2022	—	`—`	Deep Learning for Abstraction, Control and Monitoring of Complex Cyber-Physical Systems. Francesca Cairoli
2022	—	`conf`	Neural Predictive Monitoring for Collective Adaptive Systems. ISoLA (3) Francesca Cairoli, Nicola Paoletti, Luca Bortolussi
2022	J	`jnl`	Stochastic Variational Smoothed Model Checking. CoRR Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini
2021	—	`conf`	Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CMSB Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
2021	J	`jnl`	Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CoRR Francesca Cairoli, Ginevra Carbone, Luca Bortolussi
2021	—	`conf`	Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. ADHS Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin
2021	B	`conf`	Neural Predictive Monitoring Under Partial Observability. RV Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
2021	J	`jnl`	Neural Predictive Monitoring under Partial Observability. CoRR Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
2021	J	`jnl`	Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transf. Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2020	—	`conf`	Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. OVERLAY Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina
2020	J	`jnl`	Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. CoRR Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina
2020	—	`conf`	Bayesian Neural Predictive Monitoring. OVERLAY Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2020	J	`jnl`	Model Predictive Control of Glucose Concentration Based on Signal Temporal Logic Specifications with Unknown-Meals Occurrence. Cybern. Syst. Francesca Cairoli, Gianfranco Fenu, Felice Andrea Pellegrino, Erica Salvato
2019	—	`conf`	Bayesian Abstraction of Markov Population Models. QEST Luca Bortolussi, Francesca Cairoli
2019	C	`conf`	Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy. CoDIT Francesca Cairoli, Gianfranco Fenu, Felice Andrea Pellegrino
2019	—	`conf`	Conformal Predictions for Hybrid System State Classification. From Reactive Systems to Cyber-Physical Systems Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller
2019	C	`conf`	Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications. CoDIT Francesca Cairoli, Gianfranco Fenu, Felice Andrea Pellegrino, Erica Salvato
2019	B	`conf`	Neural Predictive Monitoring. RV Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller