Event-based adaptation policies for Fractal components. - Julien Dormoy; Olga Kouchnarenko (AICCSA, 2010)

Using Temporal Logic for Dynamic Reconfigurations of Components. - Julien Dormoy; Olga Kouchnarenko; Arnaud Lanoix (FACS, 2010)

Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. - Julien Dormoy; Olga Kouchnarenko; Arnaud Lanoix (FACS, 2011)

Combining Proof and Model-checking to Validate Reconfigurable Architectures. - Arnaud Lanoix; Julien Dormoy; Olga Kouchnarenko (FESCA@ETAPS, 2011)

When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. - Julien Dormoy; Olga Kouchnarenko; Arnaud Lanoix (FM, 2012)