F. Bertaux, S. Stoma, D. Drasdo, and G. Batt, Modeling Dynamics of Cell-to-Cell Variability in TRAIL-Induced Apoptosis Explains Fractional Killing and Predicts Reversible Resistance, PLoS Computational Biology, vol.73, issue.10, p.1014, 2014.
DOI : 10.1371/journal.pcbi.1003893.s016
URL : https://hal.archives-ouvertes.fr/hal-00942885

X. Boyen and D. Koller, Tractable inference for complex stochastic processes, UAI-98, pp.33-42, 1998.

K. S. Brown, C. C. Hill, G. A. Calero, K. H. Lee, J. P. Sethna et al., The statistical mechanics of complex signaling networks: nerve growth factor signaling, Physical Biology, vol.1, issue.3, pp.184-195, 2004.
DOI : 10.1088/1478-3967/1/3/006

M. Calder, V. Vyshemirsky, D. Gilbert, and R. J. Orton, Analysis of Signalling Pathways Using Continuous Time Markov Chains, T. Comp. Sys. Biology, pp.44-67, 2006.
DOI : 10.1007/11880646_3

V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine, Rule-Based Modelling of Cellular Signalling, In CONCUR, pp.17-41, 2007.
DOI : 10.1007/978-3-540-74407-8_3
URL : https://hal.archives-ouvertes.fr/hal-00164297

F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf, Approximation of event probabilities in noisy cellular processes, Theor. Comput. Sci, vol.412, 2011.

R. Donaldson and D. Gilbert, A Model Checking Approach to the Parameter Estimation of Biochemical Pathways, CMSB, pp.269-287, 2008.
DOI : 10.1007/978-3-540-88562-7_20

F. Fages and A. Rizk, On the Analysis of Numerical Data Time Series in Temporal Logic, CMSB'07, pp.48-63, 2007.
DOI : 10.1007/978-3-540-75140-3_4

R. Grosu and S. A. Smolka, Monte Carlo Model Checking, TACAS, pp.271-286, 2005.
DOI : 10.1007/978-3-540-31980-1_18

T. A. Henzinger, M. Mateescu, and V. Wolf, Sliding Window Abstraction for Infinite Markov Chains, CAV, pp.337-352, 2009.
DOI : 10.1007/978-3-642-02658-4_27
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.399

S. K. Jha, E. M. Clarke, C. J. Langmead, A. Legay, A. Platzer et al., A Bayesian Approach to Model Checking Biological Systems, In CMSB, vol.204, issue.9, pp.218-234, 2009.
DOI : 10.1016/j.ic.2006.05.002

D. Koller and N. Friedman, Probabilistic Graphical Models -Principles and Techniques, 2009.

M. Z. Kwiatkowska, G. Norman, and D. Parker, Symbolic Systems Biology, chapter Probabilistic Model Checking for Systems Biology, 2010.

M. Z. Kwiatkowska, G. Norman, and D. Parker, PRISM: Probabilistic Symbolic Model Checker, TOOLS'02, pp.200-204, 2002.
DOI : 10.1007/3-540-46029-2_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.2142

B. Liu, A. Hagiescu, S. K. Palaniappan, B. Chattopadhyay, Z. Cui et al., Approximate probabilistic analysis of biopathway dynamics, Bioinformatics, vol.28, issue.11, pp.281508-1516, 2012.
DOI : 10.1093/bioinformatics/bts166

B. Liu, D. Hsu, and P. S. Thiagarajan, Probabilistic approximations of ODEs based bio-pathway dynamics, Theoretical Computer Science, vol.412, issue.21, pp.2188-2206, 2011.
DOI : 10.1016/j.tcs.2011.01.021

B. Liu, P. S. Thiagarajan, and D. Hsu, Probabilistic Approximations of Signaling Pathway Dynamics, CMSB, pp.251-265, 2009.
DOI : 10.1177/0037549703040943

B. Liu, J. Zhang, P. Y. Tan, D. Hsu, A. Blom et al., A Computational and Experimental Study of the Regulatory Mechanisms of the Complement System, PLoS Computational Biology, vol.209, issue.1, p.1001059, 2011.
DOI : 10.1371/journal.pcbi.1001059.s010

K. P. Murphy and Y. Weiss, The factored frontier algorithm for approximate inference in DBNs, UAI'01, pp.378-385, 2001.

N. Le-novere, B. Bornstein, A. Broicher, M. Courtot, M. Donizelli et al., BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems, Nucleic Acids Research, vol.34, issue.90001, pp.689-691, 2006.
DOI : 10.1093/nar/gkj092

S. K. Palaniappan, S. Akshay, B. Genest, and P. S. Thiagarajan, A hybrid factored frontier algorithm, TCBB, vol.9, issue.5, pp.1352-1365, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00672872

W. S. Hlavacek, J. R. Faeder, M. L. Blinov, R. G. Posner, M. Hucka et al., Rules for Modeling Signal-Transduction Systems, Science Signaling, vol.2006, issue.344, p.6, 2006.
DOI : 10.1126/stke.3442006re6