TY - GEN
T1 - On coupling models using model-checking
T2 - 7th International Conference on Computational Methods in Systems Biology, CMSB 2009
AU - De Maria, Elisabetta
AU - Fages, François
AU - Soliman, Sylvain
PY - 2009/9/28
Y1 - 2009/9/28
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-642-03845-7_10
DO - 10.1007/978-3-642-03845-7_10
M3 - Conference contribution
AN - SCOPUS:70349337272
SN - 3642038441
SN - 9783642038440
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 142
EP - 157
BT - Computational Methods in Systems Biology - 7th International Conference, CMSB 2009, Proceedings
Y2 - 31 August 2009 through 1 September 2009
ER -