A. Basu, S. Bensalem, M. Bozga, A. Delahaye, and . Legay, Statistical abstraction and model-checking of large heterogeneous systems, International Journal on Software Tools for Technology Transfer, vol.204, issue.9, pp.53-72, 2012.
DOI : 10.1007/s10009-011-0201-2

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

. Cheng, Software Engineering for Self-Adaptive Systems: A Research Roadmap, Software Engineering for Self-Adaptive Systems, 2009.
DOI : 10.1007/s11219-007-9017-4

E. Clarke, A. Donzé, and A. Legay, On simulation-based probabilistic model checking of??mixed-analog circuits, Formal Methods in System Design, vol.204, issue.9, pp.97-113, 2010.
DOI : 10.1007/s10703-009-0076-y

E. M. Clarke and J. , Orna Grumberg, and Doron A. Peled. Model checking, 1999.

. Edmundm, J. Clarke, . Faeder, . Christopherj, L. Langmead et al., Statistical model checking in biolab: Applications to the automated analysis of t-cell receptor signaling pathway, Computational Methods in Systems Biology, pp.231-250, 2008.

A. Corp, Adevanced laboratory on embedded systems

. Danse, Designing for adaptability and evolution in sos engineering, 2013.

J. Fisher, T. A. Henzinger, D. Nickovic, N. Piterman, A. V. Singh et al., Dynamic Reactive Modules, In CONCUR LNCS, vol.100, issue.1, 2011.
DOI : 10.1016/0890-5401(92)90008-4

C. Ghezzi, Engineering evolving and self-adaptive systems: An overview, Software and Systems Safety -Specification and Verification, 2011.

C. Jégourel, A. Legay, and S. Sedwards, A Platform for High Performance Statistical Model Checking ??? PLASMA, TACAS, pp.498-503, 2012.
DOI : 10.1007/978-3-642-28756-5_37

K. Sumit, E. M. Jha, C. J. Clarke, A. Langmead, A. Legay et al., A bayesian approach to model checking biological systems, Proceedings of the 7th International Conference on Computational Methods in Systems Biology, CMSB '09, pp.218-234, 2009.

M. Kwiatkowska, D. Parker, and G. Norman, The probabilistic model checker prism, 2012.

K. Sen, M. Viswanathan, and G. Agha, On Statistical Model Checking of Stochastic Systems, CAV, pp.266-280, 2005.
DOI : 10.1007/11513988_26

S. Younes, E. M. Clarke, G. J. Gordon, and J. G. Schneider, Verification and planning for stochastic processes with asynchronous events, 2005.

J. Zhang and B. H. Cheng, Model-based development of dynamically adaptive software, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006.
DOI : 10.1145/1134285.1134337