P. A. Abdulla, B. Jonsson, M. Nilsson, J. Orso, and M. Saksena, Regular model checking for LTL(MSO), International Journal on Software Tools for Technology Transfer, vol.51, issue.1???2, pp.223-241, 2012.
DOI : 10.1007/s10009-011-0212-z

A. Basso, A. Bolotov, A. Basukoski, V. Getov, L. Henrio et al., Specification and verification of reconfiguration protocols in grid component systems, Proceedings of the 3rd IEEE Conference on Intelligent Systems, 2006.

E. Cavalcante, T. Batista, and F. Oquendo, Supporting Dynamic Software Architectures: From Architectural Description to Implementation, 2015 12th Working IEEE/IFIP Conference on Software Architecture, pp.31-40, 2015.
DOI : 10.1109/WICSA.2015.21

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

E. Cavalcante, F. Oquendo, and T. Batista, Architecture-Based Code Generation: From ??-ADL Architecture Descriptions to Implementations in the Go Language, Proceedings of the 8th European Conference on Software Architecture, pp.130-145, 2014.
DOI : 10.1007/978-3-319-09970-5_13

E. Cavalcante, J. Quilbeuf, L. M. Traonouez, F. Oquendo, T. Batista et al., Statistical Model Checking of Dynamic Software Architectures, Proceedings of the 10th European Conference on Software Architecture, 2016.
DOI : 10.1007/978-3-319-47166-2_56

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

S. M. Cho, H. H. Kim, S. D. Cha, and D. H. Bae, Specification and validation of dynamic systems using temporal logic, IEE Proceedings - Software, vol.148, issue.4, pp.135-140, 2001.
DOI : 10.1049/ip-sen:20010558

J. Clarke, E. M. Grumberg, O. Peled, and D. A. , Model checking, 1999.

J. C. Corbett, M. B. Dwyer, and J. Hatcliff, Robby: Expressing checkable properties of dynamic systems: The Bandera specification language, International Journal on Software Tools for Technology Transfer, vol.4, issue.1, pp.34-56, 2002.
DOI : 10.1007/s100090200075

J. Dormoy, O. Kouchnarenko, and A. Lanoix, Using Temporal Logic for Dynamic Reconfigurations of Components, Proceedings of the 7th International Workshop on Formal Aspects of Component Software, pp.200-217, 2010.
DOI : 10.1007/3-540-45719-4_23

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

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate Probabilistic Model Checking, Proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Implementations, pp.73-84, 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, Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.498-503
DOI : 10.1007/978-3-642-28756-5_37

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

S. K. Jha, E. M. Clarke, C. J. Langmead, A. Legay, A. Platzer et al., A Bayesian Approach to Model Checking Biological Systems, Proceedings of 7th International Conference Computational Methods in Systems Biology, pp.218-234
DOI : 10.1016/j.ic.2006.05.002

Y. Kim, O. Choi, M. Kim, J. Baik, and T. H. Kim, Validating Software Reliability Early through Statistical Model Checking, IEEE Software, vol.30, issue.3, pp.35-41, 2013.
DOI : 10.1109/MS.2013.24

S. Laplante, R. Lassaigne, F. Magniez, S. Peyronnet, and M. De-rougemont, Probabilistic abstraction for model checking, ACM Transactions on Computational Logic, vol.8, issue.4, 2007.
DOI : 10.1145/1276920.1276922

M. Lefebvre, Applied Probability and Statistics, 2006.

A. Legay, B. Delahaye, and S. Bensalem, Statistical Model Checking: An Overview, First International Conference on Runtime Verification, pp.122-135, 2010.
DOI : 10.1007/978-3-642-16612-9_11

URL : https://hal.archives-ouvertes.fr/inria-00591593

A. Legay and M. Viswanathan, Statistical model checking: challenges and perspectives, International Journal on Software Tools for Technology Transfer, vol.16, issue.2, pp.369-376, 2015.
DOI : 10.1007/s10009-015-0384-z

J. Magee and J. Kramer, Dynamic structure in software architectures, Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering, pp.3-14, 1996.

R. Mateescu and F. Oquendo, ??-AAL, ACM SIGSOFT Software Engineering Notes, vol.31, issue.2, pp.1-19, 2006.
DOI : 10.1145/1118537.1118541

M. Mazzara and A. Bhattacharyya, On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems, 2010 Third International Conference on Dependability, pp.173-181, 2010.
DOI : 10.1109/DEPEND.2010.33

F. Oquendo, ??-ADL, ACM SIGSOFT Software Engineering Notes, vol.29, issue.3, pp.1-14, 2004.
DOI : 10.1145/986710.986728

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

K. Sen, M. Viswanathan, and G. Agha, Statistical Model Checking of Black-Box Probabilistic Systems, Proceedings of the 16th International Conference on Computer Aided Verification, pp.202-215, 2004.
DOI : 10.1007/978-3-540-27813-9_16

R. N. Taylor, N. Medvidovic, and E. M. Dashofy, Software architecture, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, 2010.
DOI : 10.1145/1595696.1595754

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

H. L. Younes, M. Kwiatkowska, G. Norman, and D. Parker, Numerical vs. statistical probabilistic model checking, International Journal on Software Tools for Technology Transfer, vol.19, issue.3, pp.216-228, 2006.
DOI : 10.1007/s10009-005-0187-8

H. L. Younes and R. G. Simmons, Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling, Proceedings of the 14th International Conference on Computer Aided Verification, pp.223-235, 2002.
DOI : 10.1007/3-540-45657-0_17

H. L. Younes, Verification and planning for stochastic processes with asynchronous events. Doctoral dissertation, 2004.

P. Zhang, H. Muccini, and B. Li, A classification and comparison of model checking software architecture techniques, Journal of Systems and Software, vol.83, issue.5, pp.723-744, 2010.
DOI : 10.1016/j.jss.2009.11.709