B. Barbot, S. Haddad, and C. Picaronny, Coupling and Importance Sampling for Statistical Model Checking, TACAS'12, 2012.
DOI : 10.1007/978-3-642-28756-5_23
URL : https://hal.archives-ouvertes.fr/hal-00776795

A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye et al., Statistical Abstraction and Model-Checking of Large Heterogeneous Systems, Formal Techniques for Distributed Systems, pp.32-46, 2010.
DOI : 10.1007/978-3-642-13464-7_4
URL : https://hal.archives-ouvertes.fr/hal-01055148

J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and W. Yi, UPPAAL ??? a tool suite for automatic verification of real-time systems, Hybrid Systems III, pp.232-243, 1996.
DOI : 10.1007/BFb0020949

H. Chernoff, A Measure of Asymptotic Efficiency for Tests of a Hypothesis Based on the sum of Observations, The Annals of Mathematical Statistics, vol.23, issue.4, pp.493-507, 1952.
DOI : 10.1214/aoms/1177729330

E. Clarke and P. Zuliani, Statistical Model Checking for Cyber-Physical Systems, Lecture Notes in Computer Science, vol.6996, pp.1-12, 2011.
DOI : 10.1007/978-3-642-24372-1_1

P. Boer, V. F. Nicola, and R. Y. Rubinstein, Adaptive importance sampling simulation of queueing networks, Winter Simulation Conference, pp.646-655, 2000.

W. Edsger and . Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Commun. ACM, vol.18, pp.453-457, 1975.

D. T. Gillespie, Exact stochastic simulation of coupled chemical reactions, The Journal of Physical Chemistry, vol.81, issue.25, pp.2340-2361, 1977.
DOI : 10.1021/j100540a008

P. Godefroid, M. Levin, and M. D. , Automated whitebox fuzz testing, NDSS, 2008.

P. Heidelberger, 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

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate Probabilistic Model Checking, Verification, Model Checking, and Abstract Interpretation, pp.307-329, 2004.
DOI : 10.1007/978-3-540-24622-0_8

W. Hoeffding, Probability Inequalities for Sums of Bounded Random Variables, Journal of the American Statistical Association, vol.1, issue.301, pp.13-30, 1963.
DOI : 10.1214/aoms/1177730491

C. Jegourel, A. Legay, and S. Sedwards, A Platform for High Performance Statistical Model Checking ??? PLASMA, TACAS, 2012.
DOI : 10.1007/978-3-642-28756-5_37
URL : https://hal.archives-ouvertes.fr/hal-01087824

K. Sumit and . Jha, A Bayesian Approach to Model Checking Biological Systems, 7th. Intl. Conf. on Computational Methods in Systems Biology, pp.218-234, 2009.

H. Kahn, Stochastic (Monte Carlo) Attenuation Analysis, 1949.

S. Kullback, Information Theory and Statistics, 1968.

M. Kwiatkowska, G. Norman, and D. Parker, PRISM: Probabilistic Symbolic Model Checker, Computer Performance Evaluation: Modelling Techniques and Tools, pp.113-140, 2002.
DOI : 10.1007/3-540-46029-2_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.2142

N. Metropolis and S. Ulam, The Monte Carlo Method, Journal of the American Statistical Association, vol.44, issue.247, pp.335-341, 1949.
DOI : 10.1080/01621459.1949.10483310

A. Ridder, 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. Ridder, Asymptotic optimality of the cross-entropy method for Markov chain problems, Procedia Computer Science, vol.1, issue.1, pp.1571-1578, 2010.
DOI : 10.1016/j.procs.2010.04.176

G. Rubino and B. Tuffin, Rare Event Simulation using Monte Carlo Methods, 2009.
DOI : 10.1002/9780470745403
URL : https://hal.archives-ouvertes.fr/hal-00787654

R. Rubinstein, The Cross-Entropy Method for Combinatorial and Continuous Optimization, pp.127-190, 1999.

K. Sen, M. Viswanathan, and G. A. Agha, 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

P. Shahabuddin, Importance Sampling for the Simulation of Highly Reliable Markovian Systems, Management Science, vol.40, issue.3, pp.333-352, 1994.
DOI : 10.1287/mnsc.40.3.333

J. Shore and R. Johnson, Axiomatic derivation of the principle of maximum entropy and the principle of minimum cross-entropy, IEEE Transactions on Information Theory, vol.26, issue.1, pp.26-37, 1980.
DOI : 10.1109/TIT.1980.1056144

H. Younes and R. Simmons, Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling, Computer Aided Verification, pp.23-39, 2002.
DOI : 10.1007/3-540-45657-0_17

H. Younes and . Ymer, A Statistical Model Checker, Computer Aided Verification, pp.171-179, 2005.
DOI : 10.1007/11513988_43
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.9139