| Model-based adaptation of behavioral mismatching components C Canal, P Poizat, G Salaün Software Engineering, IEEE Transactions on 34 (4), 546-563, 2008 | 197 | 2008 |
| 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 | 195 | 2011 |
| Software adaptation. C Canal, JM Murillo, P Poizat Obj. Logiciel Base données Réseaux 12 (1), 9-31, 2006 | 143 | 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 | 98 | 2012 |
| Synchronizing behavioural mismatch in software composition C Canal, P Poizat, G Salaün International Conference on Formal Methods for Open Object-Based Distributed …, 2006 | 80 | 2006 |
| A formal framework for service orchestration testing based on symbolic transition systems L Bentakouk, P Poizat, F Zaïdi International Workshop on Formal Approaches to Software Testing, 16-32, 2009 | 62 | 2009 |
| Automated service composition with adaptive planning S Beauche, P Poizat Service-Oriented Computing–ICSOC 2008: 6th International Conference, Sydney …, 2008 | 62 | 2008 |
| Behavioral adaptation of component compositions based on process algebra encodings R Mateescu, P Poizat, G Salaün Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007 | 57 | 2007 |
| 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 | 56 | 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 | 48 | 2015 |
| Repair vs. recomposition for broken service compositions Y Yan, P Poizat, L Zhao Service-Oriented Computing: 8th International Conference, ICSOC 2010, San …, 2010 | 45 | 2010 |
| A java implementation of a component model with explicit symbolic protocols S Pavel, J Noyé, P Poizat, JC Royer Software Composition: 4th International Workshop, SC 2005, Edinburgh, UK …, 2005 | 44 | 2005 |
| Adaptation of open component-based systems P Poizat, G Salaün International Conference on Formal Methods for Open Object-Based Distributed …, 2007 | 42 | 2007 |
| A formal architectural description language based on symbolic transition systems and modal logic P Poizat, JC Royer Journal of Universal Computer Science 12 (12), 1741-1782, 2006 | 41 | 2006 |
| Integration of formal datatypes within state diagrams C Attiogbé, P Poizat, G Salaün Fundamental Approaches to Software Engineering: 6th International Conference …, 2003 | 39 | 2003 |
| A global semantics for views C Choppy, P Poizat, JC Royer Algebraic Methodology and Software Technology: 8th International Conference …, 2000 | 38 | 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 | 37 | 2008 |
| Checking business process evolution A Krishna, P Poizat, G Salaün Science of Computer Programming 170, 1-26, 2019 | 36 | 2019 |
| Self-adaptive service composition through graphplan repair Y Yan, P Poizat, L Zhao 2010 IEEE International Conference on Web Services, 624-627, 2010 | 35 | 2010 |
| From informal requirements to COOP: a Concurrent Automata Approach P Poizat, C Choppy, JC Royer FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999 | 32 | 1999 |
Gwen SalaünUniversité Grenoble Alpes, LIG, Inria在 inria.fr 的电子邮件经过验证
