Pascal Poizat

Cited by

	All	Since 2016
Citations	1808	390
h-index	24	11
i10-index	45	14

160

120

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202114 26 21 39 30 40 58 119 150 95 145 122 143 129 157 105 77 78 101 73 59 2

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
Juan Manuel Murillo RodríguezUniversity of Extremadura (Universidad de Extremadura)Verified email at unex.es
Massimo TivoliAssociate Professor, Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica (DISIM)Verified email at di.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
Ernesto PimentelFull Professor of Computer Science, University of MalagaVerified email at uma.es
Steffen BeckerProfessor für Softwarequalität und -architektur, Uni StuttgartVerified email at informatik.uni-stuttgart.de
Javier CuboUniversidad Internacional de la RiojaVerified email at unir.net
Matthias GüdemannUniversity of Applied Sciences MunichVerified email at hm.edu
Fatiha SaïsFull professor at Paris Saclay UniversityVerified email at lri.fr
Sonia Ben MokhtarLIRIS CNRSVerified email at liris.cnrs.fr
Tarek MellitiAssociate Professor at University of Evry, FranceVerified email at ibisc.fr
Aiguier MarcProfesseurVerified email at ecp.fr
Lina YEUniversité Paris-Saclay, CentraleSupélec, LRIVerified email at centralesupelec.fr
Marc FrappierUniversité de SherbrookeVerified email at usherbrooke.ca
Ajay KrishnaUniversity of Grenoble, InriaVerified email at inria.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	178	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	177	2008
Software adaptation. C Canal, JM Murillo, P Poizat Obj. Logiciel Base données Réseaux 12 (1), 9-31, 2006	126	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	81	2011
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	77	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	77	2006
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	41	2005
A formal architectural description language based on symbolic transition systems and modal logic P Poizat, JC Royer	39	2006
Repair vs. recomposition for broken service compositions Y Yan, P Poizat, L Zhao International Conference on Service-Oriented Computing, 152-166, 2010	38	2010
Adaptation of open component-based systems P Poizat, G Salaün International Conference on Formal Methods for Open Object-Based Distributed …, 2007	38	2007
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

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

Upload PDF

Follow this author

Cited by

Co-authors