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.

• Type: Conference
• Year: 2009
• Where: CMSB
• Authors: Elisabetta De Maria, François Fages, Sylvain Soliman
• Keywords: Applied Computing, Biological Properties, Cellular Processes Increases, CMSB 2009, Mammalian Cell Cycle