default search action
Nicola Paoletti
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Probabilistic reach-avoid for Bayesian neural networks. Artif. Intell. 334: 104132 (2024) - [c47]Veena Krish, Nicola Paoletti, Milad Kazemi, Scott A. Smolka, Amir Rahmati:
Biosignal Authentication Considered Harmful Today. USENIX Security Symposium 2024 - [i26]Milad Kazemi, Jessica Lally, Ekaterina Tishchenko, Hana Chockler, Nicola Paoletti:
Counterfactual Influence in Markov Decision Processes. CoRR abs/2402.08514 (2024) - [i25]Tom Kuipers, Renukanandan Tumu, Shuo Yang, Milad Kazemi, Rahul Mangharam, Nicola Paoletti:
Conformal Off-Policy Prediction for Multi-Agent Systems. CoRR abs/2403.16871 (2024) - [i24]Linus Jeary, Tom Kuipers, Mehran Hosseini, Nicola Paoletti:
Verifiably Robust Conformal Prediction. CoRR abs/2405.18942 (2024) - 2023
- [j14]Veena Krish, Nicola Paoletti, Scott A. Smolka, Amir Rahmati:
Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs. IEEE Access 11: 4992-5003 (2023) - [c46]Francesca Cairoli, Nicola Paoletti, Luca Bortolussi:
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. HSCC 2023: 1:1-1:11 - [c45]Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin:
An STL-based Approach to Resilient Control for Cyber-Physical Systems. HSCC 2023: 2:1-2:12 - [c44]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. RV 2023: 461-487 - [i23]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Probabilistic Reach-Avoid for Bayesian Neural Networks. CoRR abs/2310.01951 (2023) - [i22]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
Learning-Based Approaches to Predictive Monitoring with Conformal Statistical Guarantees. CoRR abs/2312.01959 (2023) - 2022
- [c43]Pallavi Bagga, Nicola Paoletti, Kostas Stathis:
Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation. AAMAS 2022: 1533-1535 - [c42]Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti:
An STL-Based Formulation of Resilience in Cyber-Physical Systems. FORMATS 2022: 117-135 - [c41]Francesca Cairoli, Nicola Paoletti, Luca Bortolussi:
Neural Predictive Monitoring for Collective Adaptive Systems. ISoLA (3) 2022: 30-46 - [i21]Pallavi Bagga, Nicola Paoletti, Kostas Stathis:
Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation. CoRR abs/2201.02455 (2022) - [i20]Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti:
An STL-based Formulation of Resilience in Cyber-Physical Systems. CoRR abs/2205.03961 (2022) - [i19]Francesca Cairoli, Nicola Paoletti, Luca Bortolussi:
Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes. CoRR abs/2211.02375 (2022) - [i18]Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin:
An STL-based Approach to Resilient Control for Cyber-Physical Systems. CoRR abs/2211.02794 (2022) - [i17]Milad Kazemi, Nicola Paoletti:
Towards Causal Temporal Reasoning for Markov Decision Processes. CoRR abs/2212.08712 (2022) - 2021
- [j13]Pallavi Bagga, Nicola Paoletti, Bedour Alrayes, Kostas Stathis:
ANEGMA: an automated negotiation model for e-markets. Auton. Agents Multi Agent Syst. 35(2): 27 (2021) - [j12]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): 615-640 (2021) - [c40]Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin:
MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas. CDC 2021: 2525-2532 - [c39]Pallavi Bagga, Nicola Paoletti, Kostas Stathis:
Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty. FUZZ-IEEE 2021: 1-6 - [c38]Emanuele La Malfa, Rhiannon Michelmore, Agnieszka M. Zbrzezny, Nicola Paoletti, Marta Kwiatkowska:
On Guaranteed Optimal Robust Explanations for NLP Models. IJCAI 2021: 2658-2665 - [c37]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
Neural Predictive Monitoring Under Partial Observability. RV 2021: 121-141 - [c36]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Certification of iterative predictions in Bayesian neural networks. UAI 2021: 1713-1723 - [i16]Emanuele La Malfa, Agnieszka Zbrzezny, Rhiannon Michelmore, Nicola Paoletti, Marta Kwiatkowska:
On Guaranteed Optimal Robust Explanations for NLP Models. CoRR abs/2105.03640 (2021) - [i15]Matthew Wicker, Luca Laurenti, Andrea Patane, Nicola Paoletti, Alessandro Abate, Marta Kwiatkowska:
Certification of Iterative Predictions in Bayesian Neural Networks. CoRR abs/2105.10134 (2021) - [i14]Francesca Cairoli, Luca Bortolussi, Nicola Paoletti:
Neural Predictive Monitoring under Partial Observability. CoRR abs/2108.07134 (2021) - 2020
- [j11]Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani:
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access 8: 180825-180843 (2020) - [j10]Nicola Paoletti, Kin Sum Liu, Hongkai Chen, Scott A. Smolka, Shan Lin:
Data-Driven Robust Control for a Closed-Loop Artificial Pancreas. IEEE ACM Trans. Comput. Biol. Bioinform. 17(6): 1981-1993 (2020) - [c35]Pallavi Bagga, Nicola Paoletti, Bedour Alrayes, Kostas Stathis:
A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation. IJCAI 2020: 297-303 - [c34]Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Neural Simplex Architecture. NFM 2020: 97-114 - [c33]Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Bayesian Neural Predictive Monitoring. OVERLAY 2020: 95-100 - [i13]Pallavi Bagga, Nicola Paoletti, Bedour Alrayes, Kostas Stathis:
A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation. CoRR abs/2001.11785 (2020) - [i12]Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin:
MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas. CoRR abs/2003.01283 (2020) - [i11]Pallavi Bagga, Nicola Paoletti, Kostas Stathis:
Learnable Strategies for Bilateral Agent Negotiation over Multiple Issues. CoRR abs/2009.08302 (2020)
2010 – 2019
- 2019
- [c32]Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin:
Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes. ACC 2019: 4765-4772 - [c31]Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller:
Conformal Predictions for Hybrid System State Classification. From Reactive Systems to Cyber-Physical Systems 2019: 225-241 - [c30]Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka:
Synthesizing stealthy reprogramming attacks on cardiac devices. ICCPS 2019: 13-22 - [c29]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker:
Statistical Guarantees for the Robustness of Bayesian Neural Networks. IJCAI 2019: 5693-5700 - [c28]Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Neural Predictive Monitoring. RV 2019: 129-147 - [c27]Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Neural state classification for hybrid systems. SNR 2019: 24-27 - [e2]Milan Ceska, Nicola Paoletti:
Hybrid Systems Biology - 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11705, Springer 2019, ISBN 978-3-030-28041-3 [contents] - [i10]Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani:
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. CoRR abs/1901.03315 (2019) - [i9]Luca Cardelli, Marta Kwiatkowska, Luca Laurenti, Nicola Paoletti, Andrea Patane, Matthew Wicker:
Statistical Guarantees for the Robustness of Bayesian Neural Networks. CoRR abs/1903.01980 (2019) - [i8]Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller:
Neural Simplex Architecture. CoRR abs/1908.00528 (2019) - 2018
- [j9]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Efficient synthesis of robust models for stochastic systems. J. Syst. Softw. 143: 140-158 (2018) - [j8]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Erratum to "Efficient synthesis of robust models for stochastic systems" [The Journal of Systems & Software 143 (2018) 140-158]. J. Syst. Softw. 145: 195 (2018) - [j7]Ezio Bartocci, Pietro Liò, Nicola Paoletti:
Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016). IEEE ACM Trans. Comput. Biol. Bioinform. 15(4): 1122-1123 (2018) - [j6]Nicola Paoletti, Andrea Patanè, Marta Kwiatkowska:
Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers. ACM Trans. Cyber Phys. Syst. 2(4): 33:1-33:31 (2018) - [c26]Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Neural State Classification for Hybrid Systems. ATVA 2018: 422-440 - [c25]Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka:
Declarative vs rule-based control for flocking dynamics. SAC 2018: 816-823 - [i7]Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Neural State Classification for Hybrid Systems. CoRR abs/1807.09901 (2018) - [i6]Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka:
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. CoRR abs/1810.03808 (2018) - 2017
- [j5]Milan Ceska, Frits Dannenberg, Nicola Paoletti, Marta Kwiatkowska, Lubos Brim:
Precise parameter synthesis for stochastic biochemical systems. Acta Informatica 54(6): 589-623 (2017) - [c24]Luca Cardelli, Milan Ceska, Martin Fränzle, Marta Z. Kwiatkowska, Luca Laurenti, Nicola Paoletti, Max Whitby:
Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. CAV (2) 2017: 375-395 - [c23]Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin:
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. CMSB 2017: 214-232 - [c22]Milan Ceska Jr., Milan Ceska, Nicola Paoletti:
Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Parameters. EUROCAST (2) 2017: 38-46 - [c21]Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani:
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference 2017: 131-146 - [c20]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
Designing Robust Software Systems through Parametric Markov Chain Synthesis. ICSA 2017: 131-140 - [c19]Simon Eberz, Nicola Paoletti, Marc Roeschlin, Andrea Patané, Marta Kwiatkowska, Ivan Martinovic:
Broken Hearted: How To Attack ECG Biometrics. NDSS 2017 - [c18]Radu Calinescu, Milan Ceska, Simos Gerasimou, Marta Kwiatkowska, Nicola Paoletti:
RODES: A Robust-Design Synthesis Tool for Probabilistic Systems. QEST 2017: 304-308 - [i5]Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin:
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. CoRR abs/1707.02246 (2017) - [i4]Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani:
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. CoRR abs/1707.05229 (2017) - [i3]Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka:
Declarative vs Rule-based Control for Flocking Dynamics. CoRR abs/1710.10013 (2017) - [i2]Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
How to Learn a Model Checker. CoRR abs/1712.01935 (2017) - 2016
- [j4]Emanuela Merelli, Nicola Paoletti, Luca Tesei:
Adaptability checking in complex systems. Sci. Comput. Program. 115-116: 23-46 (2016) - [c17]Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka:
CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM 2016: 1445-1452 - [c16]Benoît Barbot, Marta Kwiatkowska, Alexandru Mereacre, Nicola Paoletti:
Building Power Consumption Models from Executable Timed I/O Automata Specifications. HSCC 2016: 195-204 - [c15]Milan Ceska, Petr Pilar, Nicola Paoletti, Lubos Brim, Marta Z. Kwiatkowska:
PRISM-PSY: Precise GPU-Accelerated Parameter Synthesis for Stochastic Systems. TACAS 2016: 367-384 - [e1]Ezio Bartocci, Pietro Liò, Nicola Paoletti:
Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings. Lecture Notes in Computer Science 9859, Springer 2016, ISBN 978-3-319-45176-3 [contents] - 2015
- [c14]Benoît Barbot, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti:
Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices. CMSB 2015: 3-7 - [c13]Chris Barker, Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane:
Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers. EMBC 2015: 7188-7191 - [c12]Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti, Andrea Patane:
Synthesising Robust and Optimal Parameters for Cardiac Pacemakers Using Symbolic and Evolutionary Computation Techniques. HSB 2015: 119-140 - 2014
- [c11]Nicola Paoletti, Boyan Yordanov, Youssef Hamadi, Christoph M. Wintersteiger, Hillel Kugler:
Analyzing and Synthesizing Genomic Logic Functions. CAV 2014: 343-357 - [c10]Milan Ceska, Frits Dannenberg, Marta Z. Kwiatkowska, Nicola Paoletti:
Precise Parameter Synthesis for Stochastic Biochemical Systems. CMSB 2014: 86-98 - [c9]Marta Z. Kwiatkowska, Harriet Lea-Banks, Alexandru Mereacre, Nicola Paoletti:
Formal Modelling and Validation of Rate-Adaptive Pacemakers. ICHI 2014: 23-32 - [c8]Marta Z. Kwiatkowska, Alexandru Mereacre, Nicola Paoletti:
On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers. ISoLA (2) 2014: 365-384 - [i1]Emanuela Merelli, Nicola Paoletti, Luca Tesei:
Adaptability Checking in Multi-Level Complex Systems. CoRR abs/1404.0698 (2014) - 2013
- [c7]Pierluigi Penna, Nicola Paoletti, Giuseppe Scarcella, Luca Tesei, Mauro Marini, Emanuela Merelli:
DISPAS: An Agent-Based Tool for the Management of Fishing Effort. SEFM Workshops 2013: 362-367 - 2012
- [j3]Pietro Liò, Nicola Paoletti, Mohammad Ali Moni, Kathryn Atwell, Emanuela Merelli, Marco Viceconti:
Modelling osteomyelitis. BMC Bioinform. 13(S-14): S12 (2012) - [j2]Nicola Paoletti, Pietro Liò, Emanuela Merelli, Marco Viceconti:
Multilevel Computational Modeling and Quantitative Analysis of Bone Remodeling. IEEE ACM Trans. Comput. Biol. Bioinform. 9(5): 1366-1378 (2012) - [j1]Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti:
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study. Trans. Comp. Sys. Biology 14: 53-76 (2012) - [c6]Emanuela Merelli, Nicola Paoletti, Luca Tesei:
A multi-level model for self-adaptive systems. FOCLASA 2012: 112-126 - [c5]Pietro Liò, Emanuela Merelli, Nicola Paoletti:
Disease processes as hybrid dynamical systems. HSB 2012: 152-166 - 2011
- [c4]Nicola Paoletti, Pietro Liò, Emanuela Merelli, Marco Viceconti:
Osteoporosis: a multiscale modeling viewpoint. CMSB 2011: 183-193 - [c3]Pietro Liò, Emanuela Merelli, Nicola Paoletti:
Multiple verification in computational modeling of bone pathologies. CompMod 2011: 82-96 - [c2]Pietro Liò, Emanuela Merelli, Nicola Paoletti, Marco Viceconti:
A Combined Process Algebraic and Stochastic Approach to Bone Remodeling. CS2Bio@DisCoTec 2011: 41-52 - [c1]Emanuela Merelli, Nicola Paoletti, Pietro Liò:
Methodological Bridges for Multi-Level Systems. FET 2011: 180-182
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-07 22:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint