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.; 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)
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, 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)
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, pages 7188-7191, 2015.  (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.; 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, 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, pages 183-193, 2011.  (BIB) (PDF) (DOI)