SABRE: A tool for stochastic analysis of biochemical reaction networks

Proceedings - 7th International Conference on the Quantitative Evaluation of Systems, QEST 2010

Volumn , Issue , 2010, Pages 193-194

  Didier, Frederic ^a   Henzinger, Thomas A ^b   Mateescu, Maria ^a   Wolf, Verena ^c  

^a EPFL   (Switzerland)

^b INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA   (Austria)

^c SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BIOCHEMICAL REACTION NETWORK; DETERMINISTIC ANALYSIS; NUMERICAL APPROXIMATIONS; STOCHASTIC ANALYSIS; STOCHASTICITY; TRANSIENT SOLUTIONS; UNIFORMIZATION;

APPROXIMATION ALGORITHMS;

STOCHASTIC SYSTEMS;

EID: 78649485289     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2010.33     Document Type: Conference Paper

References (6)

1. B. Barzel and O. Biham. Calculation of switching times in the genetic toggle switch and other bistable systems. Phys. Rev. E, 78(4):041919, Oct 2008.
2. F. Didier, T. A. Henzinger, M. Mateescu, and V. Wolf. Fast adaptive uniformization of the chemical master equation. In Proc. of HIBI'09. IEEE Computer Societys Conference Publishing Services, 2009.
3. D. T. Gillespie. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem., 81(25):2340-2361, 1977.
4. T. Henzinger, B. Jobstmann, and V. Wolf. Formalisms for specifying markovian population models. In Springer, editor, LIX Colloquium Reachability Problems'09, pages 3-23, 2009.
5. M. Z. Kwiatkowska, G. Norman, and D. Parker. Prism 2.0: A tool for probabilistic model checking. In QEST, pages 322-323, 2004. (Pubitemid 40456790)
6. A. van Moorsel and W. Sanders. Adaptive uniformization. ORSA Communications in Statistics: Stochastic Models, 10(3):619-648, 1994.