Modelling component behaviour is widely recognised as a complex task during the
specification and design phases of reactive systems. Our proposal for treating this problem …

Self-adapting software adapts its behavior in an autonomic way, by dynamically adding,
suppressing and recomposing components, and by the use of computational reflection. One …

Establishing equivalence and refinement relations between programs is an important mean
for verifying their correctness. By establishing that the behaviours of a modified program …

Establishing equivalence and refinement relations between programs is an important mean
for verifying their correctness. By establishing that the behaviours of a modified program …

My research work is part of a framework that aims to develop formal approaches to help
design complex systems with a good level of safety and security. More precisely, my work …

Establishing equivalence and refinement relations between programs is an important mean
for verifying their correctness. By establishing that the behaviours of a modified program …

Les applications auto-adaptables modifient leur comportement de façon dynamique et
autonome par le biais d'opérations d'introspection, de recomposition, d'ajout et suppression …

Fractal [4, 7] est un modelea composants [16] extensible qui peut être utilisé avec plusieurs
langages de programmation pour spécifier, implanter, configurer et déployer des …

Resumé Les applications auto-adaptatives modifient leur comportement de façon
dynamique en fonction des changements dans leur contexte d'exécution. Pour cela, elles …