Pascal Poizat

Cited by

	All	Since 2019
Citations	2073	325
h-index	27	9
i10-index	48	9

160

120

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320246 11 28 21 40 29 47 60 120 144 100 157 126 144 143 150 109 77 85 97 70 67 50 50 48 40

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Gwen SalaünUniversité Grenoble Alpes, LIG, InriaVerified email at inria.fr
Carlos CanalUniversity of MalagaVerified email at lcc.uma.es
Jean-Claude RoyerProfessor IMT Atlantique, FranceVerified email at imt-atlantique.fr
Fatiha ZaïdiUniversité Paris-Sud XIVerified email at lri.fr
Massimo TivoliFull Professor, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)Verified email at univaq.it
Yuhong YanAssociate Professor, Concordia UniversityVerified email at cse.concordia.ca
J. Christian AttiogbéUniversity of Nantes - LS2N Lab (LINA+IRCCyN since 2017)Verified email at univ-nantes.fr
Hữu Nghĩa NguyễnR&D at MontimageVerified email at montimage.com
Steffen BeckerProfessor für Softwarequalität und -architektur, Uni StuttgartVerified email at informatik.uni-stuttgart.de
Ajay KrishnaUniversity of Grenoble, InriaVerified email at inria.fr
Sara HouhouLaboratoire LIP6, Sorbonne Université, Paris, France. Laboratoire LINFI, Biskra Université, AlgérieVerified email at lip6.fr
Ernesto PimentelFull Professor of Computer Science, University of MalagaVerified email at uma.es
Matthias GüdemannUniversity of Applied Sciences MunichVerified email at hm.edu
Javier CuboUniversidad Internacional de la RiojaVerified email at unir.net
Philippe QueinnecUniversité de ToulouseVerified email at enseeiht.fr
Jacques NoyéIMT AtlantiqueVerified email at imt-atlantique.fr
Sonia Ben MokhtarLIRIS CNRSVerified email at cnrs.fr
Tarek MellitiAssociate Professor at University of Evry, FranceVerified email at ibisc.fr
Fatiha SaïsFull professor at Paris Saclay UniversityVerified email at lri.fr
Lina YEUniversité Paris-Saclay, CentraleSupélec, LRIVerified email at centralesupelec.fr

Pascal Poizat

Professor at Université Paris Nanterre

Verified email at lip6.fr - Homepage

Software Engineering Formal Methods Business Processes Service-Based Systems


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Model-based adaptation of behavioral mismatching components C Canal, P Poizat, G Salaün Software Engineering, IEEE Transactions on 34 (4), 546-563, 2008	198	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	144	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	99	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	63	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	58	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	51	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	45	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
Checking business process evolution A Krishna, P Poizat, G Salaün Science of Computer Programming 170, 1-26, 2019	39	2019
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
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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors