M. Barbara, D. Frédéric, R. Gerhard, L. Alain, J. Frans et al., Parallel Computing: From Multicores and GPU's to Petascale, Proceedings of the conference ParCo of Advances in Parallel Computing, 2009.

E. Bartocci, R. Grosu, A. Karmarkar, S. Smolka, S. D. Stoller et al., Adaptive Runtime Verification, Proc. of RV 2012, the third International Conference on Runtime Verification, pp.168-182, 2012.
DOI : 10.1007/978-3-642-35632-2_18

M. Broy and E. Geisberger, Cyber-physical systems, driving force for innovation in mobility, health, energy and production. Acatech: The National Academy Of Science and Engineering, 2012.

E. Clarke, O. Grumberg, and D. Peled, Model Checking, 1999.

E. Clarke and P. Zuliani, Statistical Model Checking for Cyber-Physical Systems, Proc. of ATVA 2011: the 9th International Symposium on Automated Technology for Verification and Analysis, pp.1-12, 2011.
DOI : 10.1007/978-3-642-24372-1_1

A. Doucet, N. De-freitas, and N. Gordon, Sequential Monte Carlo Methods in Practice, 2001.
DOI : 10.1007/978-1-4757-3437-9

M. Duflot, L. Fribourg, and C. Picaronny, Randomized dining philosophers without fairness assumption, Distributed Computing, vol.17, issue.1, pp.65-76, 2004.
DOI : 10.1007/s00446-003-0102-z

P. Glasserman, P. Heidelberger, P. Shahabuddin, and T. Zajic, Multilevel Splitting for Estimating Rare Event Probabilities, Operations Research, vol.47, issue.4, pp.585-600, 1999.
DOI : 10.1287/opre.47.4.585

R. Grosu and S. Smolka, Monte Carlo Model Checking, Proc. of TACAS'05, the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.271-286, 2005.
DOI : 10.1007/978-3-540-31980-1_18

C. Jegourel, A. Legay, and S. Sedwards, Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking, LNCS, vol.7358, 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, Importance Splitting for Statistical Model Checking Rare Properties, Proceedings of the 25th International Conference on Computer Aided Verification, CAV'13, 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 In Leveraging Applications of Formal Methods, Verification and Validation, Specialized Techniques and Applications - 6th International Symposium Proceedings, Part II, pp.143-159, 2014.

H. Kahn and T. E. Harris, Estimation of Particle Transmission by Random Sampling, In Applied Mathematics, vol.5, 1951.

K. Kalajdzic, E. Bartocci, S. Smolka, S. Stoller, and G. Grosu, Runtime Verification with Particle Filtering, Proc. of RV 2013, the fourth International Conference on Runtime Verification, pp.149-166, 2013.
DOI : 10.1007/978-3-642-40787-1_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.361.2568

T. Kanungo, UMDHMM tool

L. Rabiner, A tutorial on hidden markov models and selected applications in speech recognition, pp.257-286, 1989.

S. Roweis and Z. Ghahramani, A Unifying Review of Linear Gaussian Models, Neural Computation, vol.45, issue.3, pp.305-345, 1999.
DOI : 10.1109/TIT.1967.1054010

S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach, 2010.

V. Verma, G. Gordon, R. Simmons, and S. Thrun, Real-time fault diagnosis [robot fault diagnosis]. Robotics Automation Magazine, IEEE, vol.11, issue.2, pp.56-66, 2004.

P. Zuliani, C. Baier, and E. Clarke, Rare-event verification for stochastic hybrid systems, Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control, HSCC '12, pp.217-226, 2012.
DOI : 10.1145/2185632.2185665