| Model-based adaptation of behavioral mismatching components C Canal, P Poizat, G Salaün Software Engineering, IEEE Transactions on 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 Service-Oriented Computing–ICSOC 2008, 84-99, 2008 | 175 | 2008 |
| Software adaptation. C Canal, JM Murillo, P Poizat Obj. Logiciel Base données Réseaux 12 (1), 9-31, 2006 | 124 | 2006 |
| 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 |
| Automated service composition with adaptive planning S Beauche, P Poizat International Conference on Service-Oriented Computing, 530-537, 2008 | 60 | 2008 |
| A formal framework for service orchestration testing based on symbolic transition systems L Bentakouk, P Poizat, F Zaïdi Testing of Software and Communication Systems, 16-32, 2009 | 59 | 2009 |
| 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 |
| A java implementation of a component model with explicit symbolic protocols S Pavel, J Noyé, P Poizat, JC Royer International Conference on Software Composition, 115-124, 2005 | 39 | 2005 |
| Adaptation of open component-based systems P Poizat, G Salaün International Conference on Formal Methods for Open Object-Based Distributed …, 2007 | 38 | 2007 |
| A formal architectural description language based on symbolic transition systems and modal logic P Poizat, JC Royer | 38 | 2006 |
| Repair vs. recomposition for broken service compositions Y Yan, P Poizat, L Zhao International Conference on Service-Oriented Computing, 152-166, 2010 | 37 | 2010 |
| Integration of formal datatypes within state diagrams C Attiogbé, P Poizat, G Salaün International Conference on Fundamental Approaches to Software Engineering …, 2003 | 35 | 2003 |
| A global semantics for views C Choppy, P Poizat, JC Royer International Conference on Algebraic Methodology and Software Technology …, 2000 | 35 | 2000 |
| Distributed behavioural adaptation for the automatic composition of semantic services T Melliti, P Poizat, S Ben Mokhtar Proceedings of the Theory and practice of software, 11th international …, 2008 | 33 | 2008 |
| VerChor: a framework for the design and verification of choreographies M Güdemann, P Poizat, G Salaün, L Ye IEEE Transactions on Services Computing 9 (4), 647-660, 2015 | 30 | 2015 |
| From informal requirements to COOP: a Concurrent Automata Approach P Poizat, C Choppy, JC Royer International Symposium on Formal Methods, 939-962, 1999 | 30 | 1999 |
| Concurrency and data types: A specification method an example with LOTOS P Poizat, C Choppy, JC Royer International Workshop on Algebraic Development Techniques, 277-293, 1998 | 28 | 1998 |
Gwen SalaünUniversité Grenoble Alpes, LIG, InriaE-mail megerősítve itt: inria.fr
