Publications

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


2023
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)
2021
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)
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)
2020
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)
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)
2018
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)
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)
2017
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
Merelli, E.; Paoletti, N. and Tesei, L.

Adaptability checking in complex systems

In Science of Computer Programming, 115: 23-46, 2016.  (BIB) (PDF) (DOI)
2015
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
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)
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)
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)
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)