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.

Modelling osteomyelitis

In BMC bioinformatics, 13 (14): S12, 2012.  (BIB) (PDF) (DOI)
Merelli, E.; Paoletti, N. and Tesei, L.

A multi-level model for self-adaptive systems

In Foundations of Coordination Languages and Self Adaptation (FOCLASA 2012), pages 112-126, 2012.  (BIB) (PDF) (DOI)
Paoletti, N.; Liò, P.; Merelli, E. and Viceconti, M.

Multilevel computational modeling and quantitative analysis of bone remodeling

In IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB), 9 (5): 1366-1378, 2012.  (BIB) (PDF) (DOI)
Liò, P.; Merelli, E. and Paoletti, N.

Disease processes as hybrid dynamical systems

In Hybrid Systems and Biology (HSB 2012), pages 152-166, 2012.  (BIB) (PDF) (DOI)
Bartocci, E.; Liò, P.; Merelli, E. and Paoletti, N.

Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study

In Trans. Computational Systems Biology, 14: 53-76, 2012.  (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)
Liò, P.; Merelli, E.; Paoletti, N. and Viceconti, M.

A combined process algebraic and stochastic approach to bone remodeling

In Electronic Notes in Theoretical Computer Science, 277: 41-52, 2011.  (BIB) (PDF) (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)
Liò, P.; Merelli, E. and Paoletti, N.

Multiple verification in computational modeling of bone pathologies

In Computational Models for Cell Processes (CompMod 2011), pages 82-96, 2011.  (BIB) (PDF) (DOI)