Nicola
Paoletti
Home
Research
Publications
Talks
Grants & Awards
Tools & Models
Teaching
Publications
See also:
Curriculum Vitae
|
Researchgate
|
Google Scholar
|
DBLP
|
BibTeX file
All (64)
Journals (14)
Conferences (34)
Workshops (8)
Preprints and Tech. Reports (2)
Invited Papers (2)
PhD Thesis (1)
Edited Volumes and Special Issues (3)
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 (CMSB 2015)
, 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 (ISoLA 2014)
, pages 365-384, 2014.
(
BIB
) (
PDF
) (
DOI
)