Deciding choreography realizability S Basu, T Bultan, M Ouederni Acm Sigplan Notices 47 (1), 191-202, 2012 | 190 | 2012 |
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 | 86 | 2009 |
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 | 55 | 2012 |
Synchronizability for verification of asynchronously communicating systems S Basu, T Bultan, M Ouederni International Workshop on Verification, Model Checking, and Abstract …, 2012 | 46 | 2012 |
Compatibility checking for asynchronously communicating software M Ouederni, G Salaün, T Bultan Formal Aspects of Component Software: 10th International Symposium, FACS …, 2014 | 34 | 2014 |
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 | 34 | 2012 |
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 | 33 | 2012 |
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 | 31 | 2017 |
Checking protocol compatibility using Maude F Durán, M Ouederni, G Salaün Electronic Notes in Theoretical Computer Science 255, 65-81, 2009 | 19 | 2009 |
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 | 18 | 2011 |
Client update: A solution for service evolution M Ouederni, G Salaün, E Pimentel 2011 IEEE International Conference on Services Computing, 394-401, 2011 | 17 | 2011 |
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 | 13 | 2018 |
Tau be or not tau be?-a perspective on service compatibility and substitutability M Ouederni, G Salaün arXiv preprint arXiv:1010.2826, 2010 | 13 | 2010 |
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 | 10 | 2010 |
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 | 8 | 2016 |
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 | 7 | 2020 |
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 | 6 | 2016 |
Towards correct evolution of conversation protocols S Benyagoub, M Ouederni, Y Aďt-Ameur CEUR-WS: Workshop proceedings 1689, 193-201, 2016 | 5 | 2016 |
Compatibility checking for asynchronously communicating software M Ouederni Science of Computer Programming 205, 102569, 2021 | 4 | 2021 |
Measuring Similarity of Service Protocols M Ouederni, G SALAÜN, C CANAL, E PIMENTEL Available on Meriem Ouedernis Webpage, 2008 | 4 | 2008 |