| Describing and reasoning on web services using process algebra G Salaun, L Bordeaux, M Schaerf International Journal of Business Process Integration and Management 1 (2 …, 2006 | 433 | 2006 |
| When are two web services compatible? L Bordeaux, G Salaün, D Berardi, M Mecella International Workshop on Technologies for E-Services, 15-28, 2004 | 283 | 2004 |
| Model-based adaptation of behavioral mismatching components C Canal, P Poizat, G Salaün IEEE Transactions on Software Engineering 34 (4), 546-563, 2008 | 177 | 2008 |
| Adaptation of service protocols using process algebra and on-the-fly reduction techniques R Mateescu, P Poizat, G Salaün International Conference on Service-Oriented Computing, 84-99, 2008 | 103 | 2008 |
| 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 | 81 | 2009 |
| Adaptation of service protocols using process algebra and on-the-fly reduction techniques R Mateescu, P Poizat, G Salaün IEEE Transactions on Software Engineering 38 (4), 755-777, 2011 | 79 | 2011 |
| Synchronizing behavioural mismatch in software composition C Canal, P Poizat, G Salaün International Conference on Formal Methods for Open Object-Based Distributed …, 2006 | 77 | 2006 |
| Checking the realizability of BPMN 2.0 choreographies P Poizat, G Salaün Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1927-1934, 2012 | 74 | 2012 |
| Realizability of choreographies using process algebra encodings G Salaün, T Bultan, N Roohi IEEE Transactions on Services Computing 5 (3), 290-304, 2011 | 63 | 2011 |
| Realizability of choreographies using process algebra encodings G Salaün, T Bultan Integrated Formal Methods, 167-182, 2009 | 60 | 2009 |
| Negotiation among web services using LOTOS/CADP G Salaün, A Ferrara, A Chirichiello European conference on web services, 198-212, 2004 | 56 | 2004 |
| A model-based approach to the verification and adaptation of WF/. NET components J Cubo, G Salaün, C Canal, E Pimentel, P Poizat Electronic Notes in Theoretical Computer Science 215, 39-55, 2008 | 52 | 2008 |
| Behavioral adaptation of component compositions based on process algebra encodings R Mateescu, P Poizat, G Salaün Proceedings of the twenty-second IEEE/ACM international conference on …, 2007 | 50 | 2007 |
| Generation of service wrapper protocols from choreography specifications G Salaün 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 44 | 2008 |
| 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 |
| Using process algebra for web services: Early results and perspectives L Bordeaux, G Salaün International Workshop on Technologies for E-Services, 54-68, 2004 | 40 | 2004 |
| Formal verification of CHP specifications with CADP illustration on an asynchronous network-on-chip G Salaun, W Serwe, Y Thonnart, P Vivet 13th IEEE International Symposium on Asynchronous Circuits and Systems …, 2007 | 39 | 2007 |
| Adaptation of open component-based systems P Poizat, G Salaün International Conference on Formal Methods for Open Object-Based Distributed …, 2007 | 38 | 2007 |
| Verification of a Self-configuration Protocol for Distributed Applications in the Cloud G Salaün, X Etchevers, N De Palma, F Boyer, T Coupaye Assurances for Self-Adaptive Systems, 60-79, 2013 | 37 | 2013 |
| 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 | 35 | 2012 |
Pascal PoizatProfessor at Université Paris NanterreE-mail megerősítve itt: lip6.fr
