Francesca Cairoli
Orcid: 0000-0002-6994-6553
According to our database1,
Francesca Cairoli
authored at least 23 papers
between 2019 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
7
8
9
2
1
1
1
1
6
1
3
2
5
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024
2023
Theor. Comput. Sci., October, 2023
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees.
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking.
Proceedings of the Runtime Verification - 23rd International Conference, 2023
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders.
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023
Proceedings of the Italia Intelligenza Artificiale, 2023
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
2022
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.
Int. J. Softw. Tools Technol. Transf., 2021
Proceedings of the Runtime Verification - 21st International Conference, 2021
Proceedings of the Computational Methods in Systems Biology, 2021
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.
Cybern. Syst., 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
2019
Proceedings of the Runtime Verification - 19th International Conference, 2019
Proceedings of the Quantitative Evaluation of Systems, 16th International Conference, 2019
Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications.
Proceedings of the 6th International Conference on Control, 2019
Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy.
Proceedings of the 6th International Conference on Control, 2019
Proceedings of the From Reactive Systems to Cyber-Physical Systems, 2019