8 citations · 29 across the 11 of their papers we have counts for
11 papers
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…
A Graph Grammar for Modelling RNA Folding
Adane Letta Mamuye, Emanuela Merelli, Luca Tesei
We propose a new approach for modelling the process of RNA folding as a graph transformation guided by the global value of free energy. Since the folding process evolves towards a…
Topological characterization of S[B] systems: From data to models of complexity
Emanuela Merelli, Matteo Rucco, Peter Sloot +1
In this paper we propose a methodology for deriving a model of a complex system by exploiting the information extracted from Topological Data Analysis. Central to our approach is t…
Estimation and Modelling of PCBs Bioaccumulation in the Adriatic Sea Ecosystem
Marianna Taffi, Nicola Paoletti, Pietro Liò +3
Persistent Organic Pollutants represent a global ecological concern due to their ability to accumulate in organisms and to spread species-by-species via feeding connections. In thi…
Adaptability Checking in Multi-Level Complex Systems
Emanuela Merelli, Nicola Paoletti, Luca Tesei
A hierarchical model for multi-level adaptive systems is built on two basic levels: a lower behavioural level B accounting for the actual behaviour of the system and an upper struc…
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…
Multiscale Modelling: A Mobile Membrane Approach
Federico Buti, Massimo Callisto De Donato, Flavio Corradini +2
Nowadays, multiscale modelling is recognized as the most suitable way to study biological processes. Indeed, almost every phenomenon in nature exhibits a multiscale behaviour, i.e.…
A Testing Framework for P Systems
Roberto Barbuti, Diletta Romana Cacciagrano, Andrea Maggiolo-Schettini +2
Testing equivalence was originally defined by De Nicola and Hennessy in a process algebraic setting (CCS) with the aim of defining an equivalence relation between processes being l…
Shape Calculus: Timed Operational Semantics and Well-formedness
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini +2
The Shape Calculus is a bio-inspired calculus for describing 3D shapes moving in a space. A shape forms a 3D process when combined with a behaviour. Behaviours are specified with a…
Multiscale Bone Remodelling with Spatial P Systems
Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli +1
Many biological phenomena are inherently multiscale, i.e. they are characterized by interactions involving different spatial and temporal scales simultaneously. Though several appr…
An Individual-based Probabilistic Model for Fish Stock Simulation
Federico Buti, Flavio Corradini, Emanuela Merelli +3
We define an individual-based probabilistic model of a sole (Solea solea) behaviour. The individual model is given in terms of an Extended Probabilistic Discrete Timed Automaton (E…