Nicola Paoletti - Publications

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)

Krish, V.; Paoletti, N.; Smolka, S. A. and Rahmati, A.

Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs

In IEEE Access, 11: 4992-5003, 2023. (BIB) (DOI)

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)

Bagga, P.; Paoletti, N.; Alrayes, B. and Stathis, K.

ANEGMA: an automated negotiation model for e-markets

In Autonomous Agents and Multi-Agent Systems, 35 (2): 27, 2021. (BIB) (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)

Bortolussi, L.; Cairoli, F.; Paoletti, N.; Smolka, S. A. and Stoller, S. D.

Neural Predictive Monitoring and a Comparison of Frequentist and Bayesian Approaches

In International Journal on Software Tools for Technology Transfer, to appear, 23 (4): 615-640, 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

Bortolussi, L.; Cairoli, F.; Paoletti, N.; Smolka, S. A. and Stoller, S. D.

Bayesian Neural Predictive Monitoring

In 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY 2020), pages 95-100, 2020. (BIB) (PDF)

Shmarov, F.; Soudjani, S.; Paoletti, N.; Bartocci, E.; Lin, S.; Smolka, S. A and Zuliani, P.

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems

In IEEE Access, 8: 180825-180843, 2020. (BIB) (PDF) (DOI)

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)

Paoletti, N.; Liu, K. S.; Chen, H.; Smolka, S. A. and Lin, S.

Data-Driven Robust Control for a Closed-Loop Artificial Pancreas

In IEEE/ACM Transactions on Computational Biology and Bioinformatics, 17 (6): 1981-1993, 2020. (BIB) (PDF) (DOI)

2019

Ceška, M. and Paoletti, N., ed.

Hybrid Systems Biology - 6th International Workshop, HSB 2019, Prague, Czech Republic, April 6-7, 2019, Revised Selected Papers

Springer, Lecture Notes in Computer Science 11705, 2019. (BIB) (DOI)

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

Bartocci, E.; Liò, P. and Paoletti, N., ed.

Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)

In IEEE/ACM Transactions on Computational Biology and Bioinformatics, 15 (4), 2018. (BIB) (DOI)

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)

Calinescu, R.; Ceška, M.; Gerasimou, S.; Kwiatkowska, M. and Paoletti, N.

Efficient Synthesis of Robust Models for Stochastic Systems

In Journal of Systems and Software, 143: 140-158, 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)

Paoletti, N.; Patanè, A. and Kwiatkowska, M.

Closed-loop quantitative verification of rate-adaptive pacemakers

In ACM Transactions on Cyber-Physical Systems, 2 (4), 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)

Ceška, M.; Dannenberg, F.; Paoletti, N.; Kwiatkowska, M. and Brim, L.

Precise Parameter Synthesis for Stochastic Biochemical Systems

In Acta Informatica, 54 (6): 589-623, 2017. (BIB) (PDF) (DOI)

2016

Islam, Md A.; Lim, H.; Paoletti, N. and others.

CyberCardia project: Modeling, verification and validation of implantable cardiac devices

In Bioinformatics and Biomedicine (BIBM), 2016 IEEE International Conference on, pages 1445-1452, 2016. (BIB) (DOI)

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)

Merelli, E.; Paoletti, N. and Tesei, L.

Adaptability checking in complex systems

In Science of Computer Programming, 115: 23-46, 2016. (BIB) (PDF) (DOI)

Bartocci, E.; Liò, P. and Paoletti, N., ed.

Computational Methods in Systems Biology - 14th International Conference, CMSB 2016, Cambridge, UK, September 21-23, 2016, Proceedings

Springer, Lecture Notes in Computer Science 9859, 2016. (BIB) (DOI)

2015

Kwiatkowska, M.; Mereacre, A.; Paoletti, N. and Patanè, A.

Synthesising robust and optimal parameters for cardiac pacemakers using symbolic and evolutionary computation techniques

In Hybrid Systems and Biology (HSB 2015), pages 119-140, Springer, LNCS/LNBI 9271, 2015. (BIB) (PDF) (DOI)

Barbot, B.; Kwiatkowska, M.; Mereacre, A. and Paoletti, N.

Estimation and verification of hybrid heart models for personalised medical and wearable devices

In Computational Methods in Systems Biology (CMSB 2015), pages 3-7, 2015. (BIB) (PDF) (DOI)

Barbot, B.; Kwiatkowska, M.; Mereacre, A. and Paoletti, N.

Estimation and Verification of Hybrid Heart Models for Personalised Medical and Wearable Devices

Technical Report CS-RR-15-05, Department of Computer Science, University of Oxford, 2015. (BIB) (PDF) (DOI)

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)

Taffi, M.; Paoletti, N.; Liò, P.; Pucciarelli, S. and Marini, M.

Bioaccumulation modelling and sensitivity analysis for discovering key players in contaminated food webs: the case study of PCBs in the Adriatic Sea

In Ecological Modelling, 306: 205-215, 2015. *ISEM Best Young Researcher Paper Award*. (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.; Mereacre, A. and Paoletti, N.

On quantitative software quality assurance methodologies for cardiac pacemakers

In International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), pages 365-384, 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)

Taffi, M.; Paoletti, N.; Liò, P.; Tesei, L.; Pucciarelli, S. and Marini, M.

Estimation and Modelling of PCBs Bioaccumulation in the Adriatic Sea Ecosystem

In ArXiv e-prints, abs/1405.6384v1, 2014. (BIB) (PDF)

Paoletti, N.

Formal Computational Modelling of Bone Physiology and Disease Processes

Ph.D. Thesis, School of Advanced Studies, University of Camerino - Doctoral course in Information science and complex systems (XXVI cycle), 2014. (BIB) (PDF) (DOI)

Taffi, M.; Paoletti, N.; Angione, C.; Pucciarelli, S.; Marini, M. and Liò, P.

Bioremediation in marine ecosystems: a computational study combining ecological modelling and flux balance analysis

In Frontiers in Genetics, 5 (319), 2014. *MCED Best paper award* *Featured in commentary article*. (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)

2013

Penna, P.; Paoletti, N.; Scarcella, G.; Tesei, L.; Marini, M. and Merelli, E.

DISPAS: an agent-based tool for the management of fishing effort

In Software Engineering and Formal Methods, pages 362-367, 2013. (BIB) (PDF) (DOI)

2012

Liò, P.; Paoletti, N.; Moni, M. A.; Atwell, K.; Merelli, E. and Viceconti, M.

Merelli, E.; Paoletti, N. and Liò, P.