default search action
Francesca Cairoli
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c18]Francesca Randone, Romina Doz, Francesca Cairoli, Luca Bortolussi:
Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems. ISoLA (1) 2024: 168-185 - 2023
- [j4]Fabio Anselmi
, Luca Manzoni
Data Symmetries and Learning in Fully Connected Neural Networks. IEEE Access 11: 47282-47290 (2023) - [j3]Francesca Cairoli
Generative abstraction of Markov population processes. Theor. Comput. Sci. 977: 114169 (2023) - [c17]Francesca Cairoli
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. HSCC 2023: 1:1-1:11 - [c16]Emanuele Ballarin, Luca Bortolussi, Francesca Cairoli, Chiara Gallese, Laura Nenzi, Gaia Saveri:
Reliable and Explainable AI in Trieste. Ital-IA 2023: 394-396 - [c15]Luca Bortolussi, Francesca Cairoli, Julia Klein, Tatjana Petrov:
Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders. QEST 2023: 143-147 - [c14]Luca Bortolussi, Francesca Cairoli, Francesco Giacomarra, Davide Scassola:
Model Abstraction and Conditional Sampling with Score-Based Diffusion Models. QEST 2023: 307-310 - [c13]Luca Bortolussi
Scalable Stochastic Parametric Verification with Stochastic Variational Smoothed Model Checking. RV 2023: 45-65 - [c12]Francesca Cairoli
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. RV 2023: 461-487 - [i6]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. CoRR abs/2312.01959 (2023) - 2022
- [c11]Francesca Cairoli, Nicola Paoletti
Neural Predictive Monitoring for Collective Adaptive Systems. ISoLA (3) 2022: 30-46 - [i5]Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Paolo Pulcini:
Stochastic Variational Smoothed Model Checking. CoRR abs/2205.05398 (2022) - [i4]Francesca Cairoli, Nicola Paoletti, Luca Bortolussi:
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. CoRR abs/2211.02375 (2022) - 2021
- [j2]Luca Bortolussi, Francesca Cairoli, Nicola Paoletti
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transf. 23(4): 615-640 (2021) - [c10]Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin:
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. ADHS 2021: 223-228 - [c9]Francesca Cairoli, Ginevra Carbone, Luca Bortolussi:
Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CMSB 2021: 19-35 - [c8]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti
Neural Predictive Monitoring Under Partial Observability. RV 2021: 121-141 - [i3]Francesca Cairoli, Ginevra Carbone, Luca Bortolussi:
Abstraction of Markov Population Dynamics via Generative Adversarial Nets. CoRR abs/2106.12981 (2021) - [i2]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
Neural Predictive Monitoring under Partial Observability. CoRR abs/2108.07134 (2021) - 2020
- [j1]Francesca Cairoli, Gianfranco Fenu, Felice Andrea Pellegrino
Model Predictive Control of Glucose Concentration Based on Signal Temporal Logic Specifications with Unknown-Meals Occurrence. Cybern. Syst. 51(4): 426-441 (2020) - [c7]Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina:
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. OVERLAY 2020: 77-81 - [c6]Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Bayesian Neural Predictive Monitoring. OVERLAY 2020: 95-100 - [i1]Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina:
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. CoRR abs/2009.02019 (2020)
2010 – 2019
- 2019
- [c5]Luca Bortolussi
Conformal Predictions for Hybrid System State Classification. From Reactive Systems to Cyber-Physical Systems 2019: 225-241 - [c4]Francesca Cairoli, Gianfranco Fenu
Clinical Decision Support Using Colored Petri Nets: a Case Study on Cancer Infusion Therapy. CoDIT 2019: 314-319 - [c3]Francesca Cairoli, Gianfranco Fenu
Model Predictive Control of glucose concentration based on Signal Temporal Logic specifications. CoDIT 2019: 714-719 - [c2]Luca Bortolussi
Bayesian Abstraction of Markov Population Models. QEST 2019: 259-276 - [c1]Luca Bortolussi
Neural Predictive Monitoring. RV 2019: 129-147
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-17 20:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: