Follow
Meriem Ouederni
Meriem Ouederni
Toulouse INP, IRIT, France
Verified email at enseeiht.fr - Homepage
Title
Cited by
Cited by
Year
Deciding choreography realizability
S Basu, T Bultan, M Ouederni
Acm Sigplan Notices 47 (1), 191-202, 2012
1902012
Itaca: An integrated toolbox for the automatic composition and adaptation of web services
J Cámara, JA Martín, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel
2009 IEEE 31st International Conference on Software Engineering, 627-630, 2009
862009
Counterexample guided synthesis of monitors for realizability enforcement
M Güdemann, G Salaün, M Ouederni
International Symposium on Automated Technology for Verification and …, 2012
552012
Synchronizability for verification of asynchronously communicating systems
S Basu, T Bultan, M Ouederni
International Workshop on Verification, Model Checking, and Abstract …, 2012
462012
Compatibility checking for asynchronously communicating software
M Ouederni, G Salaün, T Bultan
Formal Aspects of Component Software: 10th International Symposium, FACS …, 2014
342014
Interactive specification and verification of behavioral adaptation contracts
J Cámara, G Salaün, C Canal, M Ouederni
Information and Software Technology 54 (7), 701-723, 2012
342012
A generic framework for n-protocol compatibility checking
F Durán, M Ouederni, G Salaün
Science of Computer Programming 77 (7-8), 870-886, 2012
332012
A correct-by-construction model for asynchronously communicating systems
Z Farah, Y Ait-Ameur, M Ouederni, K Tari
International journal on software tools for technology transfer 19, 465-485, 2017
312017
Checking protocol compatibility using Maude
F Durán, M Ouederni, G Salaün
Electronic Notes in Theoretical Computer Science 255, 65-81, 2009
192009
Measuring the compatibility of service interaction protocols
M Ouederni, G Salaün, E Pimentel
Proceedings of the 2011 ACM Symposium on Applied Computing, 1560-1567, 2011
182011
Client update: A solution for service evolution
M Ouederni, G Salaün, E Pimentel
2011 IEEE International Conference on Services Computing, 394-401, 2011
172011
Incremental construction of realizable choreographies
S Benyagoub, M Ouederni, Y Aďt-Ameur, A Mashkoor
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018
132018
Tau be or not tau be?-a perspective on service compatibility and substitutability
M Ouederni, G Salaün
arXiv preprint arXiv:1010.2826, 2010
132010
Quantifying service compatibility: A step beyond the boolean approaches
M Ouederni, G Salaün, E Pimentel
Service-Oriented Computing: 8th International Conference, ICSOC 2010, San …, 2010
102010
Multi-objective quantum inspired Cuckoo search algorithm and multi-objective bat inspired algorithm for the web service composition problem
SR Boussalia, A Chaoui, A Hurault, M Ouederni, P Queinnec
International Journal of Intelligent Systems Technologies and Applications …, 2016
82016
Formal design of scalable conversation protocols using Event‐B: Validation, experiments, and benchmarks
S Benyagoub, Y Aďt‐Ameur, M Ouederni, A Mashkoor, A Medeghri
Journal of Software: Evolution and Process 32 (2), e2209, 2020
72020
Correct-by-construction evolution of realisable conversation protocols
S Benyagoub, M Ouederni, NK Singh, Y Aďt-Ameur
Model and Data Engineering: 6th International Conference, MEDI 2016, Almería …, 2016
62016
Towards correct evolution of conversation protocols
S Benyagoub, M Ouederni, Y Aďt-Ameur
CEUR-WS: Workshop proceedings 1689, 193-201, 2016
52016
Compatibility checking for asynchronously communicating software
M Ouederni
Science of Computer Programming 205, 102569, 2021
42021
Measuring Similarity of Service Protocols
M Ouederni, G SALAÜN, C CANAL, E PIMENTEL
Available on Meriem Ouedernis Webpage, 2008
42008
The system can't perform the operation now. Try again later.
Articles 1–20