Sciweavers

CMSB
2009
Springer

On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle

13 years 7 months ago
On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challenging issue. In this paper, we show how the validation of a coupled model and the optimization of its parameters with respect to biological properties formalized in temporal logics, can be done automatically by model-checking. More specifically, we illustrate this approach with the coupling of existing models of the mammalian cell cycle, the p53-based DNA-damage repair network, and irinotecan metabolism, with respect to the biological properties of this anticancer drug.
Elisabetta De Maria, François Fages, Sylvai
Added 14 Aug 2010
Updated 14 Aug 2010
Type Conference
Year 2009
Where CMSB
Authors Elisabetta De Maria, François Fages, Sylvain Soliman
Comments (0)