Meriem Ouederni
Meriem Ouederni
Toulouse INP, IRIT, France
E-mail megerősítve itt: enseeiht.fr - Kezdőlap
Cím
Hivatkozott rá
Hivatkozott rá
Év
Deciding choreography realizability
S Basu, T Bultan, M Ouederni
Acm Sigplan Notices 47 (1), 191-202, 2012
1502012
Itaca: An integrated toolbox for the automatic composition and adaptation of web services
J Cámara, JA Martin, G Salaun, J Cubo, M Ouederni, C Canal, E Pimentel
2009 IEEE 31st International Conference on Software Engineering, 627-630, 2009
812009
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
422012
Synchronizability for verification of asynchronously communicating systems
S Basu, T Bultan, M Ouederni
International Workshop on Verification, Model Checking, and Abstract …, 2012
392012
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
352012
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
272012
Compatibility checking for asynchronously communicating software
M Ouederni, G Salaün, T Bultan
International Workshop on Formal Aspects of Component Software, 310-328, 2013
242013
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 (4), 465-485, 2017
212017
Checking protocol compatibility using Maude
F Durán, M Ouederni, G Salaün
Electronic Notes in Theoretical Computer Science 255, 65-81, 2009
202009
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
192011
Client update: A solution for service evolution
M Ouederni, G Salaün, E Pimentel
2011 IEEE International Conference on Services Computing, 394-401, 2011
132011
Tau be or not tau be?-a perspective on service compatibility and substitutability
M Ouederni, G Salaün
arXiv preprint arXiv:1010.2826, 2010
122010
Quantifying service compatibility: A step beyond the boolean approaches
M Ouederni, G Salaün, E Pimentel
International Conference on Service-Oriented Computing, 619-626, 2010
102010
Incremental construction of realizable choreographies
S Benyagoub, M Ouederni, Y Aït-Ameur, A Mashkoor
NASA Formal Methods Symposium, 1-19, 2018
92018
Correct-by-construction evolution of realisable conversation protocols
S Benyagoub, M Ouederni, NK Singh, Y Aït-Ameur
International Conference on Model and Data Engineering, 260-273, 2016
52016
Towards correct evolution of conversation protocols
S Benyagoub, M Ouederni, Y Aït-Ameur
CEUR-WS: Workshop proceedings 1689, 193-201, 2016
42016
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
32020
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
32016
Measuring Similarity of Service Protocols
M Ouederni, G SALAÜN, C CANAL, E PIMENTEL
Available on Meriem Ouederni's Webpage, 2008
32008
Comparator: A tool for quantifying behavioural compatibility
M Ouederni, G Salaün, J Cámara, E Pimentel
International Conference on Fundamental Approaches to Software Engineering …, 2014
22014
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20