latest news

additional links

other information

December 2010-March 2011: visiting scholar at UCSB. California

Octobre 2010: visiting scholar at INRIA-Rhones Alpes. France

January-April 2010: visiting scholar at INRIA-Rhones Alpes. France

Projects & Events


Please, follow this link 

Here are some talks I have recently given


  • Client Update: A Solution for Service Evolution. Meriem Ouederni, Gwen Salaün and Ernesto Pimentel. SCC'11: The 8th IEEE 2011 International Conference on Services Computing. Washington DC, USA. July 4th-9th, 2011.
  • Measuring the Compatibility of Service Interaction Protocols. Meriem Ouederni, Gwen Salaün and Ernesto Pimentel. SAC-ACM'11: The 26th Symposium On Applied Computing. TaiChung, Taiwan. March, 21th-24th, 2011
  • Quantifying Service Compatibility: A Step Beyond the Boolean Approaches. In ICSOC'10: The 8th International Conference on Service Oriented Computing. San Francisco, California.
    December 7th-10th, 2010.
  • Quantifying Service Compatibility: A Step Beyond the Boolean. Talk presented in the the student session at VTSA'10: Summer School on Verification Technology, Systems & Applications. Luxembourg. September, 06th-10th, 2010.
  • Tau Be or not Tau Be? A Perspective on Service Compatibility and Substitutability. In WCSI'10: International Workshop on Component and Service Interoperability (TOOLS'10). Málaga, Spain. June 29th, 2010.
  • Measuring the Compatibility Degree of Service Protocols. Talk delivred for VASY and POPART teams, INRIA Grenoble - Rhône-Alpes. France, Grenoble. Abril 7th, 2010.
  • Checking Protocol Compatibility Using Maude. In FOCLASA'09: Satellite Workshop of the 36th International Colloquium on Automata, Languages and Programming (ICALP'09). Rhodes, Greece. July 11th, 2009.