[Edit]

Pascal Poizat
(ALIAS: P. Poizat) [FOAF]  [Follow]

Position: Associate Professor Maître de conférences
Affiliation: Univ. of Evry and LRI UMR 8623 CNRS
Address: PCRI /co INRIA-Futurs Parc Club Orsay Université ZAC des vignes 4, rue Jacques Monod Bâtiment H Orsay, France
Email:
Homepage: http://www.lri.fr/~poizat/
[Edit]
Statistics: H-index: 16 (See all experts' h-index.)
total citation number: 559
highest-cited paper: Software Adaptation (2008) at J. UCS (Cited By 59)

bio:

http://www.lri.fr/~poizat/bio.html

Research Interest:

Software Adaptation, State Diagrams, Symbolic Transition, Adaptation Techniques, Formal Datatypes

Show Temporal Interests (Do you want to see the change of his/her research interests?)

Education: [Edit]

Phd University: Univ. of Nantes Phd Major: Comp. Science Phd Date: 2000
Master University: Univ. of Nantes Master Major: Comp. Science Master Date: 1995

Publications: [Edit disambiguation Result]

2009(2)
[37]Lina Bentakouk, Pascal Poizat, Fatiha Zaidi. A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.  TestCom/FATES'2009. pp.16~32    Cited By 7[Bibtex]
[36]Carlos Canal, Pascal Poizat, Marjan Sirjani. Preface. Electr. Notes Theor. Comput. Sci., 2009: 1~2   [Bibtex] [PDF]
2008(7)
[35]Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar. Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services.  FASE'2008. pp.146~162    Cited By 8[Bibtex]
[34]Radu Mateescu, Pascal Poizat, Gwen Salaun. Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.  ICSOC'2008. pp.84~99    Cited By 26[Bibtex]
[33]Sandrine Beauche, Pascal Poizat. Automated Service Composition with Adaptive Planning.  ICSOC'2008. pp.530~537    Cited By 4[Bibtex]
[32]Carlos Canal, Pascal Poizat, Mirko Viroli. Preface. Electr. Notes Theor. Comput. Sci., 2008: 1~3   [Bibtex] [PDF]
[31]Javier Cubo, Gwen Salaun, Carlos Canal, Ernesto Pimentel, Pascal Poizat. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. Electr. Notes Theor. Comput. Sci., 2008: 39~55    Cited By 24[Bibtex]
[30]Carlos Canal, Juan Manuel Murillo, Pascal Poizat. Software Adaptation. J. UCS, 2008: 2107~2109    Cited By 59[Bibtex]
[29]Carlos Canal, Pascal Poizat, Gwen Salaun. Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng., 2008: 546~563    Cited By 30[Bibtex]
2007(7)
[28]Carlos Canal, Juan Manuel Murillo, Pascal Poizat. Practical Approaches for Software Adaptation.  ECOOP Workshops'2007. pp.154~165    Cited By 59[Bibtex]
[27]Pascal Poizat, Gwen Salaun. Adaptation of Open Component-Based Systems.  FMOODS'2007. pp.141~156    Cited By 19[Bibtex]
[26]Serge Haddad, Pascal Poizat. Transactional Reduction of Component Compositions.  FORTE'2007. pp.341~357    Cited By 6[Bibtex]
[25]Radu Mateescu, Pascal Poizat, Gwen Salaun. Behavioral adaptation of component compositions based on process algebra encodings.  ASE'2007. pp.385~388    Cited By 25[Bibtex]
[24]Pascal Poizat, Gwen Salaun, Massimo Tivoli. An Adaptation-based Approach to Incrementally Build Component Systems. Electr. Notes Theor. Comput. Sci., 2007: 155~170    Cited By 8[Bibtex]
[23]Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli. Preface. Electr. Notes Theor. Comput. Sci., 2007: 1~3   [Bibtex] [PDF]
[22]Christian Attiogbe, Pascal Poizat, Gwen Salaun. A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Trans. Software Eng., 2007: 157~170    Cited By 8[Bibtex]
2006(6)
[21]Carlos Canal, Pascal Poizat, Gwen Salaun. Adaptation de composants logiciels Une approche automatisee basee sur des expressions regulieres de vecteurs de synchronisation.  CAL'2006. pp.31~39   [Bibtex]
[20]Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli. Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation.  ECOOP Workshops'2006. pp.72~86    Cited By 6[Bibtex]
[19]Carlos Canal, Pascal Poizat, Gwen Salaun. Synchronizing Behavioural Mismatch in Software Composition.  FMOODS'2006. pp.63~77    Cited By 50[Bibtex]
[18]Pascal Poizat, Jean-Claude Royer, Gwen Salaun. Bounded Analysis and Decomposition for Behavioural Descriptions of Components.  FMOODS'2006. pp.33~47    Cited By 19[Bibtex]
[17]Carlos Canal, Juan Manuel Murillo, Pascal Poizat. Software Adaptation. L'OBJET, 2006: 9~31    Cited By 59[Bibtex]
[16]Pascal Poizat, Jean-Claude Royer. A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic. J. UCS, 2006: 1741~1782   [Bibtex]
2005(2)
[15]Sebastian Pavel, Jacques Noye, Pascal Poizat, Jean-Claude Royer. A Java Implementation of a Component Model with Explicit Symbolic Protocols.  Software Composition'2005. pp.115~124    Cited By 28[Bibtex]
[14]Gwen Salaun, Pascal Poizat. Interacting Extended State Diagrams. Electr. Notes Theor. Comput. Sci., 2005: 49~57    Cited By 4[Bibtex] [PDF]
2004(3)
[13]Olivier Marechal, Pascal Poizat, Jean-Claude Royer. Checking Asynchronously Communicating Components Using Symbolic Transition Systems.  CoopIS/DOA/ODBASE (2)'2004. pp.1502~1519    Cited By 24[Bibtex] [PDF]
[12]Carlos Canal, Juan Manuel Murillo, Pascal Poizat. Coordination and Adaptation Techniques for Software Entities.  ECOOP Workshops'2004. pp.133~147    Cited By 11[Bibtex]
[11]Marc Aiguier, Fabrice Barbier, Pascal Poizat. A Logic with Temporal Glue for Mixed Specifications. Electr. Notes Theor. Comput. Sci., 2004: 155~174    Cited By 9[Bibtex] [PDF]
2003(2)
[10]Christian Attiogbe, Pascal Poizat, Gwen Salaun. Integration of Formal Datatypes within State Diagrams.  FASE'2003. pp.341~355    Cited By 26[Bibtex]
[9]Christian Attiogbe, Pascal Poizat, Gwen Salaun. Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams.  IPDPS'2003. pp.240~240    Cited By 2[Bibtex]
2002(1)
[8]Pascal Poizat, Jean-Claude Royer. Une proposition de composants formels. L'OBJET, 2002: 231~245   [Bibtex]
2001(3)
[7]Christine Choppy, Pascal Poizat, Jean-Claude Royer. Formal Specification of Mixed Components with Korrigan.  APSEC'2001. pp.169~176    Cited By 13[Bibtex]
[6]Christine Choppy, Pascal Poizat, Jean-Claude Royer. Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation.  FASE'2001. pp.124~139    Cited By 18[Bibtex]
[5]Christine Choppy, Pascal Poizat, Jean-Claude Royer. The Korrigan Environment. J. UCS, 2001: 19~36    Cited By 24[Bibtex] [PDF]
2000(1)
[4]Christine Choppy, Pascal Poizat, Jean-Claude Royer. A Global Semantics for Views.  AMAST'2000. pp.165~180    Cited By 33[Bibtex] [PDF]
1999(2)
[3]Henri Habrias, Pascal Poizat, Jean-Yves Lafaye. A Study of Collaborative Work: Answers to a Test on Formal Specification in B.  World Congress on Formal Methods'1999. pp.1856~1857   [Bibtex]
[2]Pascal Poizat, Christine Choppy, Jean-Claude Royer. From Informal Requirements to COOP: A Concurrent Automata Approach.  World Congress on Formal Methods'1999. pp.939~962    Cited By 18[Bibtex]
1998(1)
[1]Pascal Poizat, Christine Choppy, Jean-Claude Royer. Concurrency and Data Types: A Specification Method: An Example with LOTOS.  WADT'1998. pp.277~292    Cited By 22[Bibtex]