| Deciding choreography realizability S Basu, T Bultan, M Ouederni Acm Sigplan Notices 47 (1), 191-202, 2012 | 153 | 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 | 85 | 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 | 42 | 2012 |
| Synchronizability for verification of asynchronously communicating systems S Basu, T Bultan, M Ouederni International Workshop on Verification, Model Checking, and Abstract …, 2012 | 40 | 2012 |
| 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 | 33 | 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 | 26 | 2012 |
| Compatibility checking for asynchronously communicating software M Ouederni, G Salaün, T Bultan International Workshop on Formal Aspects of Component Software, 310-328, 2013 | 25 | 2013 |
| 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 | 21 | 2017 |
| Checking protocol compatibility using Maude F Durán, M Ouederni, G Salaün Electronic Notes in Theoretical Computer Science 255, 65-81, 2009 | 20 | 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 | 19 | 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 | 15 | 2011 |
| Tau be or not tau be?-a perspective on service compatibility and substitutability M Ouederni, G Salaün arXiv preprint arXiv:1010.2826, 2010 | 12 | 2010 |
| 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 | 10 | 2010 |
| Incremental construction of realizable choreographies S Benyagoub, M Ouederni, Y Aït-Ameur, A Mashkoor NASA Formal Methods Symposium, 1-19, 2018 | 9 | 2018 |
| 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 | 5 | 2016 |
| Towards correct evolution of conversation protocols S Benyagoub, M Ouederni, Y Aït-Ameur CEUR-WS: Workshop proceedings 1689, 193-201, 2016 | 4 | 2016 |
| 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 | 4 | 2016 |
| Measuring Similarity of Service Protocols M Ouederni, G SALAÜN, C CANAL, E PIMENTEL Available on Meriem Ouederni's Webpage, 2008 | 4 | 2008 |
| 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 | 3 | 2020 |
| 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 | 2 | 2014 |
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaBestätigte E-Mail-Adresse bei inria.fr
