Jean-François Weber

According to our database, Jean-François Weber authored at least 6 papers between 2013 and 2017.

Collaborative distances:

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

2017

Guider et contrôler les reconfigurations de systèmes à composants: Reconfigurations dynamiques: modélisation formelle et validation automatique. (Guide and control component systems-based system reconfigurations: Dynamic reconfigurations: formal modelling and automatic validation).

Jean-François Weber

PhD thesis, 2017

Component-Based Systems Reconfigurations Using Graph Transformations with GROOVE.

Olga Kouchnarenko, Jean-François Weber

Autom. Control. Comput. Sci., 2017

2016

Tool Support for Fuzz Testing of Component-Based System Adaptation Policies.

Jean-François Weber

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

2015

Practical Analysis Framework for Component Systems with Dynamic Reconfigurations.

Olga Kouchnarenko, Jean-François Weber

Proceedings of the Formal Methods and Software Engineering, 2015

2014

Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime.

Olga Kouchnarenko, Jean-François Weber

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns.

Olga Kouchnarenko, Jean-François Weber

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013