2018
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, to appear, 2018.  (BIB)
2017
Češka, M.; Paoletti, N. and Češka, M.

Precise Parameter Synthesis for Stochastic Petri Nets with Interval Rate Parameters

In International Conference on Computer Aided Systems Theory (EUROCAST 2017), to appear, 2017.  (BIB) (PDF)
Paoletti, N.; Patanè, A. and Kwiatkowska, M.

Closed-loop quantitative verification of rate-adaptive pacemakers

In ACM Transactions on Cyber-Physical Systems, to appear, 2017.  (BIB) (PDF)
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, 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, pages 131-146, 2017.  (BIB) (PDF) (DOI)
Calinescu, R.; Češ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.; Češ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, 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, 2017.  (BIB) (PDF)
Cardelli, L.; Češ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, pages 375-395, 2017.  (BIB) (PDF) (DOI)
Češka, M.; Dannenberg, F.; Paoletti, N.; Kwiatkowska, M. and Brim, L.

Precise Parameter Synthesis for Stochastic Biochemical Systems

In Acta Informatica, 54: 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, pages 195-204, 2016.  (BIB) (PDF) (DOI)
Češ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, 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, 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, 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, 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
Češka, M.; Dannenberg, F.; Kwiatkowska, M. and Paoletti, N.

Precise parameter synthesis for stochastic biochemical systems

In Computational Methods in Systems Biology, 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, 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 Lio, 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, 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, pages 112-126, 2012.  (BIB) (PDF) (DOI)
Paoletti, N.; Lio, 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, 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, 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, pages 82-96, 2011.  (BIB) (PDF) (DOI)