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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01779515
Contributor : Sylvain Soliman <>
Submitted on : Thursday, April 26, 2018 - 4:18:23 PM
Last modification on : Thursday, November 22, 2018 - 3:06:02 PM

Identifiers

  • HAL Id : hal-01779515, version 1

Collections

Citation

Elisabetta de Maria, Francois Fages, Sylvain Soliman. On Coupling Models Using Model-Checking: Effects of Irinotecan Injections on the Mammalian Cell Cycle. Computational Methods in Systems Biology, 2009, Berlin, Heidelberg, Unknown Region. pp.142--157. ⟨hal-01779515⟩

Share

Metrics

Record views

36