Pascal Poizat

Cited by

	All	Since 2018
Citations	2005	357
h-index	26	11
i10-index	48	12

160

120

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220235 12 34 22 39 29 48 59 114 143 98 157 124 148 142 156 107 76 83 106 71 69 48 50 13

Public access

View all

3 articles

1 article

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
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
Sara HouhouLaboratoire LIP6, Sorbonne Université, Paris, France. Laboratoire LINFI, Biskra Université, AlgérieVerified email at lip6.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
Philippe QueinnecUniversité de ToulouseVerified email at enseeiht.fr
Souheib Baarirlip6Verified email at lip6.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	195	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	193	2011
Software adaptation. C Canal, JM Murillo, P Poizat Obj. Logiciel Base données Réseaux 12 (1), 9-31, 2006	142	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	96	2012
Synchronizing behavioural mismatch in software composition C Canal, P Poizat, G Salaün Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 …, 2006	80	2006
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. L Bentakouk, P Poizat, F Zaïdi TestCom/FATES 5826, 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	59	2008
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
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	56	2007
Repair vs. recomposition for broken service compositions Y Yan, P Poizat, L Zhao Service-Oriented Computing: 8th International Conference, ICSOC 2010, San …, 2010	44	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	43	2005
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	40	2015
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	40	2006
Adaptation of open component-based systems P Poizat, G Salaün Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 …, 2007	39	2007
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	39	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	36	2008
Checking business process evolution A Krishna, P Poizat, G Salaün Science of Computer Programming 170, 1-26, 2019	33	2019
Self-adaptive service composition through graphplan repair Y Yan, P Poizat, L Zhao 2010 IEEE International Conference on Web Services, 624-627, 2010	33	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