6 citations · 14 across the 7 of their papers we have counts for
7 papers
Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata
Clément Bertrand, Cinzia Di Giusto, Hanna Klaudel +1
We study the complexity relationship between three models of unbounded memory automata: nu-automata (-A), Layered Memory Automata (LaMA)and History-Register Automata (HRA). Thes…
Dynamic exploration of multi-agent systems with timed periodic tasks
Johan Arcile, Raymond Devillers, Hanna Klaudel
We formalise and study multi-agent timed models MAPTs (Multi-Agent with timed Periodic Tasks), where each agent is associated to a regular timed schema upon which all possibles act…
Activity Networks with Delays An application to toxicity analysis
Franck Delaplace, Cinzia Di Giusto, Jean-Louis Giavitto +1
ANDy , Activity Networks with Delays, is a discrete time framework aimed at the qualitative modelling of time-dependent activities. The modular and concise syntax makes ANDy suitab…
Indefinite waitings in MIRELA systems
Johan Arcile, Jean-Yves Didier, Hanna Klaudel +2
MIRELA is a high-level language and a rapid prototyping framework dedicated to systems where virtual and digital objects coexist in the same environment and interact in real time.…
Modular organisation of interaction networks based on asymptotic dynamics
Franck Delaplace, Hanna Klaudel, Tarek Melliti +1
This paper investigates questions related to the modularity in discrete models of biological interaction networks. We develop a theoretical framework based on the analysis of their…
Qualitative modelling and analysis of regulations in multi-cellular systems using Petri nets and topological collections
Jean-Louis Giavitto, Hanna Klaudel, Franck Pommereau
In this paper, we aim at modelling and analyzing the regulation processes in multi-cellular biological systems, in particular tissues. The modelling framework is based on interconn…