Skip to Main content Skip to Navigation

hal-00934057v1  Conference papers
Meriem OuederniGwen SalaünJavier CámaraErnesto Pimentel. Comparator: A Tool for Quantifying Behavioural Compatibility
FASE 2014 - 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France
hal-00742159v1  Conference papers
Matthias GüdemannGwen SalaünMeriem Ouederni. Counterexample Guided Synthesis of Monitors for Realizability Enforcement
Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Oct 2012, Thiruvananthapuram, India. pp.238-253, ⟨10.1007/978-3-642-33386-6_20⟩
hal-00694561v1  Journal articles
Francisco DuránMeriem OuederniGwen Salaün. A generic framework for n-protocol compatibility checking
Science of Computer Programming, Elsevier, 2012, 77 (7-8), pp.870-886
hal-00694516v1  Journal articles
Javier CámaraGwen SalaünCarlos CanalMeriem Ouederni. Interactive specification and verification of behavioral adaptation contracts
Information and Software Technology, Elsevier, 2012, 54 (7), pp.701-723
inria-00539099v1  Conference papers
Meriem OuederniGwen Salaün. Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability
International Workshop on Component and Service Interoperability (WCSI'10), Jun 2010, Malaga, Spain. pp.57--70
hal-00650529v1  Conference papers
Meriem OuederniGwen SalaünErnesto Pimentel. Measuring the Compatibility of Service Interaction Protocols
26th ACM Symposium on Applied Computing, ASME, Mar 2011, Taichung, Taiwan
inria-00538963v1  Conference papers
Meriem OuederniGwen SalaünErnesto Pimentel. Quantifying Service Compatibility: A Step Beyond the Boolean Approaches
8th International Conference on Service-Oriented Computing (ICSOC'10), Dec 2010, San Francisco, United States. pp.619--626
hal-00649933v1  Conference papers
Meriem OuederniGwen SalaünErnesto Pimentel. Client Update: A Solution for Service Evolution
8th International Conference on Services Computing (SCC'11), Jul 2011, Washington DC, United States