Sciweavers

Share
6 search results - page 1 / 2
» fmsb 2008
Sort
View
FMSB
2008
138views Formal Methods» more  FMSB 2008»
9 years 29 days ago
Combining Intra- and Inter-cellular Dynamics to Investigate Intestinal Homeostasis
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
Oksana Tymchyshyn, Marta Z. Kwiatkowska
FMSB
2008
130views Formal Methods» more  FMSB 2008»
9 years 29 days ago
Design Issues for Qualitative Modelling of Biological Cells with Petri Nets
Petri nets are a widely used formalism to qualitatively model concurrent systems such as a biological cell. We present techniques for modelling biological processes as Petri nets f...
Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenst...
FMSB
2008
130views Formal Methods» more  FMSB 2008»
9 years 29 days ago
Approximating Continuous Systems by Timed Automata
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
Oded Maler, Grégory Batt
FMSB
2008
142views Formal Methods» more  FMSB 2008»
9 years 29 days ago
Generic Reactive Animation: Realistic Modeling of Complex Natural Systems
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...
David Harel, Yaki Setty
FMSB
2008
199views Formal Methods» more  FMSB 2008»
9 years 29 days ago
Bounded Asynchrony: Concurrency for Modeling Cell-Cell Interactions
We introduce bounded asynchrony, a notion of concurrency tailored to the modeling of biological cell-cell interactions. Bounded asynchrony is the result of a scheduler that bounds ...
Jasmin Fisher, Thomas A. Henzinger, Maria Mateescu...
books