Publications by the researcher in collaboration with Gwen Salaün (5)

2010

  1. A formal framework for structural reconfiguration of components under behavioural adaptation

    Electronic Notes in Theoretical Computer Science

2009

  1. A formal model and composition language for context-aware service protocols

    CASTA'09 - Proceedings of the 1st International Workshop on Context-Aware Software Technology and Applications

  2. ITACA: An integrated toolbox for the automatic composition and adaptation of web services

    Proceedings - International Conference on Software Engineering

2008

  1. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components

    Electronic Notes in Theoretical Computer Science, Vol. 215, Núm. C, pp. 39-55

2007

  1. Context-based adaptation of component behavioural interfaces

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)