Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels, The Journal of Physical Chemistry A, vol.104, issue.9, p.1876, 2000. ,
DOI : 10.1021/jp993732q
Fast simulation of rare events in queueing and reliability models, ACM Transactions on Modeling and Computer Simulation, vol.5, issue.1, pp.43-85, 1995. ,
DOI : 10.1145/203091.203094
Verication of multiprocess probabilistic protocols, Distributed Computing, vol.1, p.5372, 1986. ,
Importance Sampling Simulations of Markovian Reliability Systems Using Cross-Entropy, Annals of Operations Research, vol.40, issue.7, pp.119-136, 2005. ,
DOI : 10.1007/s10479-005-5727-9
A Natural Computation Approach To Biology: Modelling Cellular Processes and Populations of Cells With Stochastic Models of P Systems, 2009. ,
VESTA: A statistical model-checker and analyzer for probabilistic systems, Second International Conference on the Quantitative Evaluation of Systems (QEST'05), pp.251-252, 2005. ,
DOI : 10.1109/QEST.2005.42
A general method for numerically simulating the stochastic time evolution of coupled chemical reactions, Journal of Computational Physics, vol.22, issue.4, pp.403-434, 1976. ,
Mechanisms of noise-resistance in genetic oscillators, Proceedings of the National Academy of Science, 2002. ,
DOI : 10.1073/pnas.092133899
Ymer: A Statistical Model Checker, CAV, pp.429-433, 2005. ,
DOI : 10.1007/11513988_43