Publications

See also:  Curriculum Vitae  |  Researchgate  |  Google Scholar  |  DBLP  |  BibTeX file


2023
Bortolussi, L.; Cairoli, F. and Paoletti, N.

Conformal Quantitative Predictive Monitoring of STL Requirements for Stochastic Processes

In 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2023), to appear, 2023.  (BIB) (PDF)
Chen, H.; Lin, S.; Smolka, S. A. and Paoletti, N.

An STL-based Approach to Resilient Control for Cyber-Physical Systems

In 26th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2023), to appear, 2023.  (BIB) (PDF)
2022
Cairoli, F.; Paoletti, N. and Bortolussi, L.

Neural Predictive Monitoring for Collective Adaptive Systems

In ISoLA 2022 Symposium, pages 30-46, LNCS 13703, 2022.  (BIB) (PDF) (DOI)
Chen, H.; Lin, S.; Smolka, S. A. and Paoletti, N.

An STL-Based Formulation of Resilience in Cyber-Physical Systems

In FORMATS 2022, pages 117-135, LNCS 13465, 2022. *Best Paper Award*.  (BIB) (PDF) (DOI)
Bagga, P.; Paoletti, N. and Stathis, K.

Deep Learnable Strategy Templates for Multi-Issue Bilateral Negotiation

In 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, pages 1533-1535, 2022.  (BIB) (DOI)
2021
Chen, H.; Paoletti, N.; Smolka, S. A. and Lin, S.

MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas

In 60th IEEE Conference on Decision and Control (CDC 2021), pages 2525-2532, IEEE, 2021.  (BIB) (PDF) (DOI)
Wicker, M.; Laurenti, L.; Patane, A.; Paoletti, N.; Abate, A. and Kwiatkowska, M.

Certification of Iterative Predictions in Bayesian Neural Networks

In Uncertainty in Artificial Intelligence (UAI 2021), pages 1713-1723, Proceedings of Machine Learning Research 161, 2021.  (BIB)
Cairoli, F.; Bortolussi, L. and Paoletti, N.

Neural Predictive Monitoring Under Partial Observability

In Runtime Verification, pages 121-141, LNCS 12974, 2021.  (BIB) (PDF) (DOI)
LaMalfa, E.; Zbrzezny, A.; Michelmore, R.; Paoletti, N. and Kwiatkowska, M.

On Guaranteed Optimal Robust Explanations for NLP Models

In International Joint Conference on Artificial Intelligence (IJCAI 2021), pages 2658-2665, 2021.  (BIB) (PDF) (DOI)
Bagga, P.; Paoletti, N. and Stathis, K.

Pareto Bid Estimation for Multi-Issue Bilateral Negotiation under User Preference Uncertainty

In IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2021), pages 1-6, 2021.  (BIB) (PDF) (DOI)
2020
Bagga, P.; Paoletti, N.; Alrayes, B. and Stathis, K.

A Deep Reinforcement Learning Approach to Concurrent Bilateral Negotiation

In International Joint Conference on Artificial Intelligence (IJCAI 2020), pages 297-303, 2020.  (BIB) (PDF) (DOI)
Phan, D.; Grosu, R.; Jansen, N.; Paoletti, N.; Smolka, S. A. and Stoller, S. D.

Neural Simplex Architecture

In NASA Formal Methods Symposium (NFM 2020), pages 97-114, 2020.  (BIB) (PDF) (DOI)
2019
Bortolussi, L.; Cairoli, F.; Paoletti, N.; Smolka, S. A. and Stoller, S. D.

Neural Predictive Monitoring

In International Conference on Runtime Verification (RV 19), pages 129-147, 2019.  (BIB) (PDF) (DOI)
Cardelli, L.; Kwiatkowska, M.; Laurenti, L.; Paoletti, N.; Patane, A. and Wicker, M.

Statistical Guarantees for the Robustness of Bayesian Neural Networks

In International Joint Conference on Artificial Intelligence (IJCAI 2019), pages 5693-5700, 2019.  (BIB) (PDF) (DOI)
Paoletti, N.; Jiang, Z.; Islam, Md A.; Abbas, H.; Mangharam, R.; Lin, S.; Gruber, Z. and Smolka, S. A

Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices

In International Conference on Cyber-Physical Systems (ICCPS 2019), pages 13-22, 2019.  (BIB) (PDF) (DOI)
Chen, H.; Paoletti, N.; Smolka, S. A and Lin, S.

Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes

In American Control Conference (ACC 2019), pages 4765-4772, 2019.  (BIB) (PDF) (DOI)
Bortolussi, L.; Cairoli, F.; Paoletti, N. and Stoller, S. D.

Conformal Predictions for Hybrid System State Classification

In From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pages 225-241, Springer, 2019.  (BIB) (PDF) (DOI)
2018
Phan, D.; Paoletti, N.; Zhang, T.; Grosu, R.; Smolka, S. A and Stoller, S. D

Neural State Classification for Hybrid Systems

In International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), pages 422-440, 2018.  (BIB) (PDF) (DOI)
Mehmood, U.; Paoletti, N.; Phan, D.; Grosu, R.; Lin, S.; Stoller, S. D; Tiwari, A.; Yang, J. and Smolka, S. A

Declarative vs Rule-based Control for Flocking Dynamics

In Annual ACM Symposium on Applied Computing (SAC 2018), pages 816-823, 2018.  (BIB) (PDF) (DOI)
Ceška, M.; Paoletti, N. and Ceška, M.

Precise Parameter Synthesis for Generalised Stochastic Petri Nets with Interval Rate Parameters

In International Conference on Computer Aided Systems Theory (EUROCAST 2017), pages 38-46, 2018.  (BIB) (PDF) (DOI)
2017
Paoletti, N.; Liu, K. S.; Smolka, S. A. and Lin, S.

Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties

In Computational Methods in Systems Biology (CMSB 2017), pages 214-232, 2017.  (BIB) (PDF) (DOI)
Shmarov, F.; Paoletti, N.; Bartocci, E.; Lin, S.; Smolka, S. and Zuliani, P.

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems

In Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference (HVC 17), pages 131-146, 2017.  (BIB) (PDF) (DOI)
Calinescu, R.; Ceška, M.; Gerasimou, S.; Kwiatkowska, M. and Paoletti, N.

Designing Robust Software Systems through Parametric Markov Chain Synthesis

In Software Architecture (ICSA), 2017 IEEE International Conference on, pages 131-140, 2017.  (BIB) (PDF) (DOI)
Calinescu, R.; Ceška, M.; Gerasimou, S.; Kwiatkowska, M. and Paoletti, N.

RODES: A Robust-Design Synthesis Tool for Probabilistic Systems

In International Conference on Quantitative Evaluation of Systems (QEST 2017), pages 304-308, 2017.  (BIB) (PDF) (DOI)
Eberz, S.; Paoletti, N.; Roeschlin, M.; Kwiatkowska, M.; Martinovic, I. and Patanè, A.

Broken hearted: How to attack ECG biometrics

In Network and Distributed System Security Symposium (NDSS 2017), 2017.  (BIB) (PDF)
Cardelli, L.; Ceška, M.; Fränzle, M.; Kwiatkowska, M.; Laurenti, L.; Paoletti, N. and Whitby, M.

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks

In International Conference on Computer Aided Verification (CAV 2017), pages 375-395, 2017.  (BIB) (PDF) (DOI)
2016
Barbot, B.; Kwiatkowska, M.; Mereacre, A. and Paoletti, N.

Building power consumption models from executable timed I/O automata specifications

In Hybrid Systems: Computation and Control (HSCC 2016), pages 195-204, 2016.  (BIB) (PDF) (DOI)
Ceška, M.; Pilař, P.; Paoletti, N.; Brim, L. and Kwiatkowska, M.

PRISM-PSY: precise GPU-accelerated parameter synthesis for stochastic systems

In Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016), pages 367-384, 2016.  (BIB) (PDF) (DOI)
2015
Barker, C.; Kwiatkowska, M.; Mereacre, A.; Paoletti, N. and Patanè, A.

Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers

In Engineering in Medicine and Biology Society (EMBC 2015), pages 7188-7191, 2015.  (BIB) (PDF) (DOI)
2014
Ceška, M.; Dannenberg, F.; Kwiatkowska, M. and Paoletti, N.

Precise parameter synthesis for stochastic biochemical systems

In Computational Methods in Systems Biology (CMSB 2014), pages 86-98, 2014.  (BIB) (PDF) (DOI)
Kwiatkowska, M.; Lea-Banks, H.; Mereacre, A. and Paoletti, N.

Formal modelling and validation of rate-adaptive pacemakers

In Healthcare Informatics (ICHI), 2014 IEEE International Conference on, pages 23-32, 2014. *Best Paper Award*.  (BIB) (PDF) (DOI)
Paoletti, N.; Yordanov, B.; Hamadi, Y.; Wintersteiger, C. M and Kugler, H.

Analyzing and Synthesizing Genomic Logic Functions

In Computer Aided Verification (CAV 2014), pages 343-357, 2014.  (BIB) (PDF) (DOI)
2011
Merelli, E.; Paoletti, N. and Liò, P.

Methodological Bridges for Multi-Level Systems

In European Future Technologies Conference and Exhibition, pages 180-182, 2011.  (BIB) (DOI)
Paoletti, N.; Liò, P.; Merelli, E. and Viceconti, M.

Osteoporosis: a multiscale modeling viewpoint

In Computational Methods in Systems Biology (CMSB 2011), pages 183-193, 2011.  (BIB) (PDF) (DOI)