M. A. Cornejo, H. Garavel, R. Mateescu, and N. Palma, Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-based Applications, 2001.
DOI : 10.1007/0-306-47005-5_20
URL : https://hal.archives-ouvertes.fr/inria-00072397

N. Aguirre and T. Maibaum, A temporal logic approach to the specification of reconfigurable component-based systems, Proceedings 17th IEEE International Conference on Automated Software Engineering,, 2002.
DOI : 10.1109/ASE.2002.1115028

J. Aldric, Using Types to Enforce Architectural Structure, Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008), pp.23-34, 2008.
DOI : 10.1109/WICSA.2008.48

P. Baldan, A. Corradini, B. König, and A. Lluch-lafuente, A Temporal Graph Logic for Verification of Graph Transformation Systems, WADT'06, pp.1-20, 2007.
DOI : 10.1007/978-3-540-71998-4_1

H. Barringer, D. M. Gabbay, and D. E. Rydeheard, From Runtime Verification to Evolvable Systems, In RV LNCS, vol.4839, pp.97-110, 2007.
DOI : 10.1007/978-3-540-77395-5_9

D. A. Basin, F. Klaedtke, S. Müller, and B. Pfitzmann, Runtime monitoring of metric first-order temporal properties, IARCS, FSTTCS 2008 Schloss Dagstuhl -Leibniz-Zentrum fuer Informatik, pp.49-60, 2008.

A. Bauer, M. Leucker, and C. Schallhart, Model-based runtime analysis of distributed reactive systems, Australian Software Engineering Conference (ASWEC'06), 2006.
DOI : 10.1109/ASWEC.2006.36

A. Bauer, M. Leucker, and C. Schallhart, Comparing LTL Semantics for Runtime Verification, Journal of Logic and Computation, vol.20, issue.3, 2010.
DOI : 10.1093/logcom/exn075

F. Bellegarde, J. Groslambert, M. Huisman, J. Julliand, and O. Kouchnarenko, Verification of liveness properties with JML, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00071253

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-121257, 2006.
DOI : 10.1002/spe.767

F. Chauvel, O. Barais, I. Borne, and J. Jézéquel, Composition of Qualitative Adaptation Policies, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.455-458, 2008.
DOI : 10.1109/ASE.2008.72
URL : https://hal.archives-ouvertes.fr/inria-00477536

P. David, . Th, M. Ledoux, T. Léger, and . Coupaye, FPath and FScript: Language support for navigation and reliable reconfiguration of Fractal architectures, annals of telecommunications - annales des t??l??communications, vol.7, issue.3, pp.45-63, 2009.
DOI : 10.1007/s12243-008-0073-y
URL : https://hal.archives-ouvertes.fr/hal-00468474

J. Dormoy and O. Kouchnarenko, Event-based adaptation policies for Fractal components, ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010, pp.1-8, 2010.
DOI : 10.1109/AICCSA.2010.5586944

J. Dormoy, O. Kouchnarenko, and A. Lanoix, Using Temporal Logic for Dynamic Reconfigurations of Components, FACS 2010, 2010.
DOI : 10.1007/3-540-45719-4_23
URL : https://hal.archives-ouvertes.fr/hal-00662875

M. B. Dwyer, G. S. Avrunin, and J. C. Corbett, Patterns in property specifications for finite-state verification, ICSE, pp.411-420, 1999.

Y. Falcone, L. Mounier, J. Fernandez, and J. Richier, Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design, pp.223-262, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00576948

A. Giorgetti, J. Groslambert, J. Julliand, and O. Kouchnarenko, Verification of class liveness properties with Java modelling language, IET Software, vol.2, issue.6, 2008.
DOI : 10.1049/iet-sen:20080008

S. Graf, D. Peled, and S. Quinton, Achieving distributed control through model checking, CAV 2010, pp.396-409, 2010.

A. Lanoix, J. Dormoy, and O. Kouchnarenko, Combining Proof and Model-checking to Validate Reconfigurable Architectures, Electronic Notes in Theoretical Computer Science, vol.279, issue.2, 2011.
DOI : 10.1016/j.entcs.2011.11.011
URL : https://hal.archives-ouvertes.fr/hal-00642348

M. Léger, Fiabilité des Reconfigurations Dynamiques dans les Architectures à Composant, 2009.

M. Léger, . Th, T. Ledoux, and . Coupaye, Reliable Dynamic Reconfigurations in a Reflective Component Model, CBSE 2010, pp.74-92, 2010.
DOI : 10.1007/978-3-642-13238-4_5

J. Ligatti, L. Bauer, and D. Walker, Run-Time Enforcement of Nonsafety Policies, ACM Transactions on Information and System Security, vol.12, issue.3, pp.1-1941, 2009.
DOI : 10.1145/1455526.1455532

F. B. Schneider, Enforceable security policies, ACM Transactions on Information and System Security, vol.3, issue.1, pp.30-50, 2000.
DOI : 10.1145/353323.353382

K. Trentelman and M. Huisman, Extending JML Specifications with Temporal Logic, AMAST 2002, pp.334-348, 2002.
DOI : 10.1007/3-540-45719-4_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.16.6993