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)
2020
Bortolussi, L.; Cairoli, F.;
Paoletti, N.
; Smolka, S. A. and Stoller, S. D.
Bayesian Neural Predictive Monitoring
In 2nd Workshop on Artificial Intelligence and Formal Verification, Logics, Automata and Synthesis (OVERLAY 2020)
, pages 95-100, 2020.
(
BIB
) (
PDF
)
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 (HSB 2015)
, 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 2012)
, 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 2012)
, 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 (CompMod 2011)
, pages 82-96, 2011.
(
BIB
) (
PDF
) (
DOI
)