 |
 |
|
|
||
|---|---|---|
|
hal-00650529v1
Communication dans un congrès
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel. Measuring the Compatibility of Service Interaction Protocols ACM. 26th ACM Symposium on Applied Computing, Mar 2011, Taichung, Taiwan. ASME, 2011 |
||
|
hal-00934057v1
Communication dans un congrès
Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel. Comparator: A Tool for Quantifying Behavioural Compatibility FASE 2014 - 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. 2014 |
||
|
hal-00742159v1
Communication dans un congrès
Matthias Güdemann, Gwen Salaün, Meriem Ouederni. Counterexample Guided Synthesis of Monitors for Realizability Enforcement Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Oct 2012, India. Springer, 7561, pp.238-253, 2012, LNCS. <10.1007/978-3-642-33386-6_20> |
||
|
hal-00649933v1
Communication dans un congrès
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel. Client Update: A Solution for Service Evolution IEEE Computer Society Press. 8th International Conference on Services Computing (SCC'11), Jul 2011, Washington DC, United States. 2011 |
||
|
hal-00913665v1
Communication dans un congrès
Meriem Ouederni, Gwen Salaün, Tevfik Bultan. Compatibility Checking for Asynchronously Communicating Software FACS 2013, Oct 2013, Nanchang, China. 2013 |
||
|
inria-00539099v1
Communication dans un congrès
Meriem Ouederni, Gwen Salaün. Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability Javier Camara and Carlos Canal and Gwen Salaun. International Workshop on Component and Service Interoperability (WCSI'10), Jun 2010, Malaga, Spain. 37, pp.57--70, 2010, Electronic Proceedings in Theoretical Computer Science |
||
|
inria-00538963v1
Communication dans un congrès
Meriem Ouederni, Gwen Salaün, Ernesto 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. Springer Verlag, 6470, pp.619--626, 2010, Lecture Notes in Computer Science |
||
|
hal-01088157v1
Rapport
Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün. Flooding-Based Algorithm for Behavioural Compatibility Measuring [Research Report] Inria Rennes. 2014 |
||
|
hal-00694516v1
Article dans une revue
Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni. Interactive specification and verification of behavioral adaptation contracts Information and Software Technology, Elsevier, 2012, 54 (7), pp.701-723 |
||
|
hal-00694561v1
Article dans une revue
Francisco Durán, Meriem Ouederni, Gwen Salaün. A generic framework for n-protocol compatibility checking Science of Computer Programming, Elsevier, 2012, 77 (7-8), pp.870-886 |
||
|
|
||
