2015
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)
2014
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)