A formal approach to component adaptation, The Journal of Systems and Software, vol.74, pp.45-54, 2005. ,
SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, 29th International Conference on Software Engineering (ICSE'07), pp.784-787, 2007. ,
DOI : 10.1109/ICSE.2007.84
Automated Generation of BPEL Adapters, ICSOC 2006, pp.27-39, 2006. ,
DOI : 10.1007/11948148_3
ITACA: An integrated toolbox for the automatic composition and adaptation of Web services, 2009 IEEE 31st International Conference on Software Engineering, pp.627-630, 2009. ,
DOI : 10.1109/ICSE.2009.5070572
Model-based adaptation of behavioural mismatching components, IEEE Transactions on Software Engineering, vol.4, issue.34, pp.546-563, 2008. ,
URL : https://hal.archives-ouvertes.fr/hal-00340122
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components, Proc. of FACS, pp.39-55, 2007. ,
DOI : 10.1016/j.entcs.2008.06.020
Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation, BPM 2006, pp.65-80, 2006. ,
DOI : 10.1007/11841760_6
LTSA-WS, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.771-774, 2006. ,
DOI : 10.1145/1134285.1134408
Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004. ,
DOI : 10.1145/988672.988756
LOTOS ? A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, International Standard ISO, vol.8807, 1989. ,
Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques, ICSOC 2008, pp.84-99, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00341598
Semi-automated adaptation of service interactions, Proc. of WWW, pp.993-1002, 2007. ,
Adaptation of Open Component-Based Systems, FMOODS 2007, pp.141-156, 2007. ,
DOI : 10.1145/244795.244801
URL : https://hal.archives-ouvertes.fr/hal-00342160
Generation of Service Wrapper Protocols from Choreography Specifications, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.313-322, 2008. ,
DOI : 10.1109/SEFM.2008.42
Describing and reasoning on Web Services using Process Algebra, International Journal of Business Process Integration and Management, vol.1, issue.2, pp.116-128, 2006. ,
DOI : 10.1504/IJBPIM.2006.010025
Protocol specifications and component adaptors, ACM Transactions on Programming Languages and Systems, vol.19, issue.2, pp.292-333, 1997. ,
DOI : 10.1145/244795.244801