16 citations · 42 across the 15 of their papers we have counts for
3 papers · 1 filter
A multi-level model for self-adaptive systems
Emanuela Merelli, Nicola Paoletti, Luca Tesei
This work introduces a general multi-level model for self-adaptive systems. A self-adaptive system is seen as composed by two levels: the lower level describing the actual behaviou…
Disease processes as hybrid dynamical systems
Pietro Liò, Emanuela Merelli, Nicola Paoletti
We investigate the use of hybrid techniques in complex processes of infectious diseases. Since predictive disease models in biomedicine require a multiscale approach for understand…
Multiple verification in computational modeling of bone pathologies
Pietro Liò, Emanuela Merelli, Nicola Paoletti
We introduce a model checking approach to diagnose the emerging of bone pathologies. The implementation of a new model of bone remodeling in PRISM has led to an interesting charact…