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)
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)
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
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)
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)
2011
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)
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)