J. Kramer and J. Magee, The evolving philosophers problem: dynamic change management, IEEE Transactions on Software Engineering, vol.16, issue.11, 1990.
DOI : 10.1109/32.60317

K. Gama, W. Rudametkin, and D. Donsez, Resilience in dynamic componentbased applications, Proc. of the 26th Brazilian Symposium on Software Engineering, pp.191-195

W. Li, QoS Assurance for Dynamic Reconfiguration of Component-Based Software Systems, IEEE Transactions on Software Engineering, vol.38, issue.3
DOI : 10.1109/TSE.2011.37

M. Ghafari, P. Jamshidi, S. Shahbazi, and H. Haghighi, An architectural approach to ensure globally consistent dynamic reconfiguration of componentbased systems, Proc. of the 15th ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE'12, pp.177-182

Y. Vandewoude, P. Ebraert, Y. Berbers, and T. D. Hondt, Tranquility: A Low Disruptive Alternative to Quiescence for Ensuring Safe Dynamic Updates, IEEE Transactions on Software Engineering, vol.33, issue.12, p.70733, 2007.
DOI : 10.1109/TSE.2007.70733

F. Boyer, O. Gruber, and D. Pous, Robust reconfigurations of component assemblies, 2013 35th International Conference on Software Engineering (ICSE), pp.13-22
DOI : 10.1109/ICSE.2013.6606547
URL : https://hal.archives-ouvertes.fr/hal-00966078

E. Miedes and F. D. Muñoz-escoí, A survey about dynamic software updating, 2012.

H. Seifzadeh, H. Abolhassani, and M. S. Moshkenani, A survey of dynamic software updating, Journal of Software: Evolution and Process, vol.33, issue.12
DOI : 10.1002/smr.1556

J. Purtilo and C. Hofmeister, Dynamic reconfiguration of distributed programs, [1991] Proceedings. 11th International Conference on Distributed Computing Systems, pp.560-571, 1991.
DOI : 10.1109/ICDCS.1991.148726

P. Oreizy, N. Medvidovic, and R. N. Taylor, Architecture-based runtime software evolution, Proceedings of the 20th International Conference on Software Engineering, pp.177-186, 1998.
DOI : 10.1109/ICSE.1998.671114

J. Kramer and J. Magee, Self-managed systems: An architectural challenge, in: 2007 Future of Software Engineering, FOSE '07, IEEE Computer Society, pp.259-268, 2007.

A. Cruz, Official Gmail Blog: Update on today's Gmail outage, 2009.

C. Giuffrida and A. S. Tanenbaum, Prepare to die: A new paradigm for live update, 2009.

K. Lau and Z. Wang, Software Component Models, IEEE Transactions on Software Engineering, vol.33, issue.10, pp.709-724, 2007.
DOI : 10.1109/TSE.2007.70726

T. Bures, P. Hnetynka, and F. , SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06), pp.40-48, 2006.
DOI : 10.1109/SERA.2006.62

T. Genßler, A. Christoph, M. Winter, O. Nierstrasz, S. Ducasse et al., Components for embedded software, Proceedings of the international conference on Compilers, architecture, and synthesis for embedded systems , CASES '02, pp.19-26, 2002.
DOI : 10.1145/581630.581634

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.11-12, 2006.
DOI : 10.1002/spe.767

C. M. Hayden, E. K. Smith, M. Denchev, J. S. Hicks, and . Foster, Kitsune: efficient, general-purpose dynamic software updating for C, OOPSLA, ACM, pp.2012-249

I. Neamtiu, M. Hicks, G. Stoyle, and M. Oriol, Practical dynamic software updating for C, Proc of the ACM SIGPLAN conference on Programming language design and implementation, PLDI '06, pp.72-83, 2006.

M. Dmitriev, Safe class and data evolution in large and long-lived java[tm] applications, Tech. rep, 2001.

J. Buisson and F. Dagnat, Recaml: execution state as the cornerstone of reconfigurations, Proceedings of the 15th ACM SIGPLAN international conference on Functional programming, pp.27-38, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00797558

J. Arnold and M. F. Kaashoek, Ksplice, Proceedings of the fourth ACM european conference on Computer systems, EuroSys '09, pp.187-198, 2009.
DOI : 10.1145/1519065.1519085

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. Stefani, The FRACTAL component model and its support in Java, Software: Practice and Experience, vol.6, issue.11-12, pp.1257-1284, 2006.
DOI : 10.1002/spe.767

P. J. Hayes, The Frame Problem and Related Problems in Artificial Intelligence, 1971.
DOI : 10.1016/B978-0-934613-03-3.50020-9

P. Brada, Enhanced Type-based Component Compatibility Using Deployment Context Information, Electronic Notes in Theoretical Computer Science, vol.279, issue.2, pp.17-31, 2011.
DOI : 10.1016/j.entcs.2011.11.009

D. Scott, A system of functional abstraction, lectures delivered at University of California Photocopy of a preliminary version, 1962.

P. Pissias and G. Coulson, Framework for quiescence management in support of reconfigurable multi-threaded component-based systems, IET Software, vol.2, issue.4, pp.348-361, 2008.
DOI : 10.1049/iet-sen:20070046

L. Seinturier, P. Merle, R. Rouvoy, D. Romero, V. Schiavoni et al., A component-based middleware platform for reconfigurable serviceoriented architectures, Software: Practice & Experience, vol.42, issue.5
URL : https://hal.archives-ouvertes.fr/inria-00567442

A. L. Tavares and M. T. Valente, A gentle introduction to osgi, SIGSOFT Softw, Eng. Notes, vol.33, issue.8, 2008.

M. Léger, T. Ledoux, and T. Coupaye, Reliable Dynamic Reconfigurations in a Reflective Component Model, Proceedings of the 13th International Conference on Component-Based Software Engineering, CBSE'10, pp.74-92, 2010.
DOI : 10.1007/978-3-642-13238-4_5

M. Simonot and V. Aponte, A declarative formal approach to dynamic reconfiguration, Proceedings of the 1st international workshop on Open component ecosystems, IWOCE '09, 2009.
DOI : 10.1145/1595800.1595802
URL : https://hal.archives-ouvertes.fr/hal-01125709

P. Merle and J. Stefani, A formal specification of the Fractal component model in Alloy, Research Report RR, p.6721, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00338987

N. Gaspar, L. Henrio, and E. Madelaine, Bringing Coq into the World of GCM Distributed Applications, International Journal of Parallel Programming, vol.365, issue.1???2, pp.643-662, 2014.
DOI : 10.1007/s10766-013-0264-7
URL : https://hal.archives-ouvertes.fr/hal-00880533

A. Lanoix and O. Kouchnarenko, Component Substitution through Dynamic Reconfigurations, Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, pp.32-46, 2014.
DOI : 10.4204/EPTCS.147.3
URL : https://hal.archives-ouvertes.fr/hal-00935129

R. Bialek and E. , A framework for evolutionary, dynamically updatable, component-based systems, 24th International Conference on Distributed Computing Systems Workshops, 2004. Proceedings., pp.326-331, 2004.
DOI : 10.1109/ICDCSW.2004.1284050

V. P. Manna, Local dynamic update for component-based distributed systems, Proc. of the 15th ACM SIGSOFT Symposium on Component- Based Software Engineering, CBSE'12, pp.167-176

S. Andova, L. P. Groenewegen, J. Stafleu, and E. P. De-vink, Formalizing Adaptation On-the-Fly, Electronic Notes in Theoretical Computer Science, vol.255, pp.23-44, 2009.
DOI : 10.1016/j.entcs.2009.10.023

S. Andova, L. P. Groenewegen, and E. P. De-vink, Distributed Adaption of Dining Philosophers, Proc. of the 7th International Conference on Formal Aspects of Component Software, FACS'10, pp.125-144, 2012.
DOI : 10.1007/978-3-540-87875-9_54

L. Apvrille, P. De-saqui-sannes, P. Sénac, and C. Lohr, Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System, Automated Software Engineering, vol.11, issue.2, 2004.
DOI : 10.1023/B:AUSE.0000017742.47984.6c

C. Heinzemann and S. Becker, Executing reconfigurations in hierarchical component architectures, Proceedings of the 16th International ACM Sigsoft Symposium on Component-based Software Engineering, CBSE '13, pp.3-12

J. Cabot, R. Clarisó, E. Guerra, and J. De-lara, Verification and validation of declarative model-to-model transformations through invariants, Journal of Systems and Software, vol.83, issue.2, 2010.
DOI : 10.1016/j.jss.2009.08.012
URL : https://hal.archives-ouvertes.fr/hal-00540816

N. Arshad, Automated dynamic reconfiguration using AI planning, Proceedings. 19th International Conference on Automated Software Engineering, 2004., pp.402-40516, 2004.
DOI : 10.1109/ASE.2004.1342776

N. Arshad, D. Heimbigner, and A. L. Wolf, Deployment and dynamic reconfiguration planning for distributed software systems, Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence, ICTAI '03, p.39, 2003.

J. Méhus, T. Batista, and J. Buisson, ACME vs PDDL: support for dynamic reconfiguration of software architectures, in: 6` emé edition de la Conférence Francophone sur les Architectures Logicielles, pp.2012-2060, 2012.

S. Subramanian, M. Hicks, and K. S. Mckinley, Dynamic software updates: A vm-centric approach, Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '09, 2009.