57 citations · 102 across the 18 of their papers we have counts for
5 papers · 1 filter
Topological Run-time Monitoring for Complex Systems
Matteo Rucco, Luca Tesei, Emanuela Merelli
In this paper we introduce a new data-driven run-time monitoring system for analysing the behaviour of time evolving complex systems. The monitor controls the evolution of the whol…
Topological Interpretation of Interactive Computation
Emanuela Merelli, Anita Wasilewska
It is a great pleasure to write this tribute in honor of Scott A. Smolka on his 65th birthday. We revisit Goldin, Smolka hypothesis that persistent Turing machine (PTM) can capture…
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…