Julien Dormoy

According to our database, Julien Dormoy authored at least 5 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2012

When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations.

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the FM 2012: Formal Methods, 2012

2011

Combining Proof and Model-checking to Validate Reconfigurable Architectures.

Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko

Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2011

Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components.

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

Using Temporal Logic for Dynamic Reconfigurations of Components.

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Event-based adaptation policies for Fractal components.

Julien Dormoy, Olga Kouchnarenko

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010