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.
URL : https://hal.archives-ouvertes.fr/hal-01055148

A. Bauer, M. Leucker, and C. Schallhart, Monitoring of Real-Time Properties, FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, pp.260-272, 2006.
DOI : 10.1007/11944836_25

B. Boyer, K. Corre, A. Legay, and S. Sedwards, PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, Quantitative Evaluation of Systems, pp.160-164, 2013.
DOI : 10.1007/978-3-642-40196-1_12

URL : https://hal.archives-ouvertes.fr/hal-01088411

F. Cérou, P. Del-moral, T. Furon, and A. Guyader, Sequential Monte Carlo for rare event estimation, Statistics and Computing, vol.22, issue.4, pp.795-808, 2012.
DOI : 10.1007/s11222-011-9231-6

F. Cérou and A. Guyader, Adaptive multilevel splitting for rare event analysis. Stochastic Analysis and Applications, pp.417-443, 2007.

E. M. Clarke, E. A. Emerson, and J. Sifakis, Model checking, Communications of the ACM, vol.52, issue.11, pp.74-84, 2009.
DOI : 10.1145/1592761.1592781

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

C. Eisner, D. Fisman, J. Havlicek, Y. Lustig, A. Mcisaac et al., Reasoning with Temporal Logic on Truncated Paths, Computer Aided Verification, pp.27-39, 2003.
DOI : 10.1007/978-3-540-45069-6_3

B. Finkbeiner and H. Sipma, Checking finite traces using alternating automata . Formal Methods in System Design, pp.101-127, 2004.

M. C. Geilen, On the Construction of Monitors for Temporal Logic Properties, Electronic Notes in Theoretical Computer Science, vol.55, issue.2, pp.181-199, 2001.
DOI : 10.1016/S1571-0661(04)00252-X

R. Gerth, D. Peled, M. Y. Vardi, P. Vardi, and . Wolper, Simple onthe-fly automatic verification of linear temporal logic, Protocol Specification Testing and Verification, pp.3-18, 1995.

D. Giannakopoulou and K. Havelund, Automata-based verification of temporal properties on running programs, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.412-416, 2001.
DOI : 10.1109/ASE.2001.989841

J. M. Hammersley and D. C. Handscomb, Monte Carlo Methods, 1964.

K. Havelund and G. Ro¸suro¸su, Synthesizing monitors for safety properties Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol.2280, pp.342-356, 2002.

A. Itai and M. Rodeh, Symmetry breaking in distributed networks, Information and Computation, vol.88, issue.1, pp.60-87, 1990.
DOI : 10.1016/0890-5401(90)90004-2

C. Jegourel, A. Legay, and S. Sedwards, Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking, Computer Aided Verification, pp.327-342, 2012.
DOI : 10.1007/978-3-642-31424-7_26

URL : https://hal.archives-ouvertes.fr/hal-01087341

C. Jegourel, A. Legay, and S. Sedwards, A Platform for High Performance Statistical Model Checking ??? PLASMA, Tools and Algorithms for the Construction and Analysis of Systems, pp.498-503, 2012.
DOI : 10.1007/978-3-642-28756-5_37

URL : https://hal.archives-ouvertes.fr/hal-01087824

C. Jegourel, A. Legay, and S. Sedwards, Importance Splitting for Statistical Model Checking Rare Properties, Computer Aided Verification, pp.576-591, 2013.
DOI : 10.1007/978-3-642-39799-8_38

URL : https://hal.archives-ouvertes.fr/hal-01087826

C. Jegourel, A. Legay, and S. Sedwards, An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, pp.143-159, 2014.
DOI : 10.1007/978-3-662-45231-8_11

URL : https://hal.archives-ouvertes.fr/hal-01087828

H. Kahn, Random sampling (Monte Carlo) techniques in neutron attenuation problems, Nucleonics, vol.6, issue.5, p.27, 1950.

H. Kahn and T. E. Harris, Estimation of particle transmission by random sampling, In Applied Mathematics, vol.5, 1951.

D. Lehmann and M. O. Rabin, On the advantage of free choice: A symmetric and fully distributed solution to the dining philosophers problem, Proc. 8 th Ann. Symposium on Principles of Programming Languages, pp.133-138, 1981.

H. Niederreiter, Random Number Generation and Quasi-Monte Carlo Methods, Society for Industrial and Applied Mathematics, 1992.
DOI : 10.1137/1.9781611970081

M. Villén-altamirano and J. Villén-altamirano, RESTART: A method for accelerating rare event simulations, Queueing, Performance and Control in ATM, pp.71-76, 1991.

. S. Håkanl, M. Younes, G. Kwiatkowska, D. Norman, and . Parker, Numerical vs. statistical probabilistic model checking, International Journal on Software Tools for Technology Transfer, vol.8, issue.3, pp.216-228, 2006.