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

Authors:
Elisabetta Maria;François Fages;Sylvain Soliman
Affiliations:
Project-team Contraintes, INRIA Paris-Rocquencourt, France;Project-team Contraintes, INRIA Paris-Rocquencourt, France;Project-team Contraintes, INRIA Paris-Rocquencourt, France
Venue:
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Year:
2009

Citing 17
Cited 1

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Model checking

Model checking
NuSMV 2: An OpenSource Tool for Symbolic Model Checking

CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Symbolic Model Checking of Biochemical Networks

CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
PRISM 2.0: A Tool for Probabilistic Model Checking

QEST '04 Proceedings of the The Quantitative Evaluation of Systems, First International Conference
BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains

Bioinformatics
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge

Bioinformatics
Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway

CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology

CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
A general computational method for robustness analysis with applications to synthetic gene networks

Bioinformatics
A unifying framework for modelling and analysing biochemical pathways using Petri nets

CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
From model-checking to temporal logic constraint solving

CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
Temporal logic constraints in the biochemical abstract machine BIOCHAM

LOPSTR'05 Proceedings of the 15th international conference on Logic Based Program Synthesis and Transformation
Probabilistic model checking of complex biological pathways

CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Analysis of signalling pathways using continuous time markov chains

Transactions on Computational Systems Biology VI
Machine learning biochemical networks from temporal logic properties

Transactions on Computational Systems Biology VI
Algorithmic algebraic model checking i: challenges from systems biology

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification

Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

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.