Staff directory

POIZAT Pascal

Full Professor
Team : MoVe

Sorbonne Université - LIP6

+33 1 44 27 53 03
Pascal.Poizat (at) nulllip6.fr
https://perso.lip6.fr/Pascal.Poizat

Two past PhD Students (2021 - 2025) at Sorbonne University

1999-2025 Publications

2025
- D. Jaime, J. El Haddad, P. Poizat : “Navigating and Exploring Software Dependency Graphs using Goblin”, 22^nd International Conference on Mining Software Repositories (MSR), Ottawa, Canada (2025)
2024
- D. Jaime, P. Poizat, J. El Haddad, Th. Degueule : “Balancing the Quality and Cost of Updating Dependencies”, 39^th IEEE/ACM International Conference on Automated Software Engineering (ASE), Sacramento, United States (2024)
- D. Jaime, J. El Haddad, P. Poizat : “Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph”, 21^st International Conference on Mining Software Repositories (MSR), Libonne, Portugal (2024)
2022
- D. Jaime, J. El Haddad, P. Poizat : “A Preliminary Study of Rhythm and Speed in the Maven Ecosystem”, 21^st Belgium-Netherlands Software Evolution Workshop, Mons, Belgium (2022)
- S. Houhou, S. Baarir, P. Poizat, Ph. Quéinnec, L. Kahloud : “A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations”, Information Systems, vol. 104, pp. 101765, (Elsevier) (2022)
2021
- R. Saddem‑Yagoubi, P. Poizat, S. Houhou : “Business Processes Meet Spatial Concerns: the sBPMN Verification Framework”, FM 2021 - 24^th International Symposium on Formal Methods, vol. 13047, Lecture Notes in Computer Science, Beijing, China, pp. 218-234 (2021)
- S. Houhou, S. Baarir, P. Poizat, Ph. Quéinnec : “A Direct Formal Semantics for BPMN Time-Related Constructs”, ENASE 2021 - 16^th International Conference on Evaluation of Novel Approaches to Software Engineering, online, Czechia, pp. 138-149 (2021)
2019
- S. Houhou, S. Baarir, P. Poizat, Ph. Quéinnec : “A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations”, BPM 2019: Business Process Management, vol. 11675, Lecture Notes in Computer Science book series (LNCS), Vienna, Austria, pp. 52-68 (2019)
- A. Krishna, P. Poizat, G. Salaün : “Checking Business Process Evolution”, Science of Computer Programming, vol. 170, pp. 1-26, (Elsevier) (2019)
2017
- A. Krishna, P. Poizat, G. Salaün : “VBPMN: Automated Verification of BPMN Processes”, 13^th International Conference on integrated Formal Methods (iFM 2017), Turin, Italy (2017)
2016
- P. Poizat, G. Salaün, A. Krishna : “Checking Business Process Evolution”, 13^th International Conference on Formal Aspects of Component Software (FACS), Besançon, France (2016)
- M. Güdemann, P. Poizat, G. Salaün, L. Ye : “VerChor: A Framework for the Design and Verification of Choreographies”, IEEE Transactions on Services Computing, vol. 9 (4), pp. 647-660, (IEEE) (2016)
2014
- M. Chen, P. Poizat, Y. Yan : “Adaptive Composition and QoS Optimization of Conversational Services through Graph Planning Encoding”, chapter in Web Services Foundations, pp. 423-449, (Springer Verlag) (2014)
- R. Khefifi, P. Poizat, F. Saïs : “Vers une utilisation automatique des Informations Personnelles pour la réalisation de e-procedures”, Revue des Nouvelles Technologies de l'Information, vol. RNTI-W-2, pp. 75-89, (Editions RNTI) (2014)
2013
- R. Khefifi, P. Poizat, F. Saïs : “Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space”, 11^th International Conference on Service Oriented Computing, ICSOC 2013, vol. 8274, Lecture Notes in Computer Science, Berlin, Germany, pp. 575-583, (Springer) (2013)
- H. Nguyen, P. Poizat, F. Zaïdi : “Automatic Skeleton Generation for Data-Aware Service Choreographies”, 24^th IEEE International Symposium on Software Reliability Engineering, ISSRE 2013, Pasadena, CA, United States, pp. 320-329, (IEEE) (2013)
- R. Khefifi, P. Poizat, F. Saïs : “Data-Flow Oriented Service Composition: AI-Planning or Petri Nets?”, 2^nd Workshop "From Open Sources to Web of Data" (SOS-DLWD 2013), Lille, France (2013)
- M. Güdemann, P. Poizat, G. Salaün, A. Dumont : “VerChor: A Framework for Verifying Choreographies”, Fundamental Approaches to Software Engineering 2013, vol. 7793, Lecture Note in Computer Science, Rome, Italy, pp. 226-230 (2013)
2012
- H. Nguyễn, P. Poizat, F. Zaïdi : “Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing”, 9^th International Symposium on High-Assurance Systems Engineering (HASE), Omaha, United States (2012)
- R. Khefifi, P. Poizat, F. Saïs : “Modelling and Quering Context-Aware Personal Information Spaces”, Database and Expert Systems Applications, Vienna, Austria, pp. 103-110 (2012)
- P. Poizat, G. Salaün : “Checking the Realizability of BPMN 2.0 Choreographies”, Proceedings of SAC 2012, Italy, pp. 1927-1934 (2012)
- R. Khefifi, P. Poizat, F. Saïs : “Modélisation et interrogation d’espaces d’informations personnelles sensibles au contexte.”, Extraction et Gestion des Connaissances, Bordeaux, France, pp. 573-574 (2012)
- H. Nguyễn, P. Poizat, F. Zaïdi : “A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies”, 10^th International Conference on Service-Oriented Computing (ICSOC), San Francisco, United States (2012)
- H. Nguyễn, P. Poizat, F. Zaïdi : “Passive Conformance Testing of Service Choreographies”, 27^th ACM Symposium on Applied Computing (SAC), Riva del Garda, Italy (2012)
- R. Mateescu, P. Poizat, G. Salaün : “Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques”, IEEE Transactions on Software Engineering, (Institute of Electrical and Electronics Engineers) (2012)
2011
- P. Poizat : “Formal Model-Based Approaches for the Development of Composite Systems”, habilitation, phd defence 11/24/2011, supervision Marie-Claude Gaudel, co-supervision : Mohand-Said Hacid, Paola Inverardi, Fabrice Kordon (2011)
2008
- S. Beauche, P. Poizat : “Automated service composition with adaptive planning”, Proc. of the 6^th International Conference on Service-Oriented Computing (ICSOC '08), vol. 5364, Lecture Notes in Computer Science, Sydney, Australia, pp. 530-537, (Springer) (2008)
- R. Mateescu, P. Poizat, G. Salaün : “Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques”, 6^th International Conference on Service Oriented Computing ICSOC'2008, vol. 5364, Lecture Notes in Computer Science, Sydney, Australia, pp. 84-99, (Springer Verlag) (2008)
- T. Melliti, P. Poizat, S. Ben Mokhtar : “Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services”, Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE 2008), vol. 4961, Lecture Notes in Computer Science, Budapest, Hungary, pp. 146-162, (Springer) (2008)
- J. Cubo, G. Salaün, C. Canal, E. Pimentel, P. Poizat : “Verification and Adaptation of WF/.NET Components”, Proceedings of the Workshop on Formal Aspects of Component Software (FACS 07), vol. 215, Paris, France, pp. 39-55 (2008)
- C. Canal, J. Murillo, P. Poizat : “Practical Approaches for Software Adaptation.”, Proc. of the 21^st European Conference on Object-Oriented Programming (ECOOP 2007), vol. 4906, Lecture Notes in Computer Science, Berlin, Germany, pp. 154-165 (2008)
- C. Canal, P. Poizat, G. Salaün : “Model-based Adaptation of Behavioural Mismatching Components”, IEEE Transactions on Software Engineering, vol. 34 (4), pp. 546-563, (Institute of Electrical and Electronics Engineers) (2008)
2007
- J. Cubo, G. Salaün, C. Canal, E. Pimentel, P. Poizat : “Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0”, Proceedings of the 12^th International Workshop on Component-Oriented Programming (WCOP 2007), Berlin, Germany, pp. 9-13 (2007)
- P. Poizat, G. Salaün : “Adaptation of Open Component-based Systems”, Proceedings of the IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 07), vol. 4468, Lecture Notes in Computer Science, Pathos, Cyprus, pp. 141-156 (2007)
- R. Mateescu, P. Poizat, G. Salaün : “Behavioral Adaptation of Component Compositions based on Process Algebra Encodings”, Proceedings of the 22^nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), Atlanta, United States, pp. 385-388 (2007)
- S. Becker, C. Canal, N. Diakov, J. Murillo, P. Poizat, M. Tivoli : “Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation”, ECOOP 2006 Workshop Reader, vol. 4379, Lecture Notes in Computer Science, Nantes, France, pp. 72-86 (2007)
- S. Haddad, P. Poizat : “Transactional Reduction of Component Compositions”, Proceedings of the IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE 07), vol. 4574, Lecture Notes in Computer Science, Tallin, Estonia, pp. 341-357 (2007)
- P. Poizat, G. Salaün, M. Tivoli : “An Adaptation-based Approach to Incrementally Build Component Systems”, Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 06), vol. 182, Electronic Notes in Theoretical Computer Science, Praha, Czechia, pp. 155-170 (2007)
- Ch. Attiogbé, P. Poizat, G. Salaün : “A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes”, IEEE Transactions on Software Engineering, vol. 33 (3), pp. 157-170, (Institute of Electrical and Electronics Engineers) (2007)
- R. Mateescu, P. Poizat, G. Salaün : “Behavioral Adaptation of Component Compositions based on Process Algebra Encodings”, 25 pages (2007)
- C. Canal, J. Murillo, P. Poizat : “Practical Approaches for Software Adaptation. Proceedings of the Fourth International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 07).”, n.a. pages, (n.a.) (2007)
- C. Canal, P. Poizat, M. Viroli : “Proceedings of the Sixth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 07).”, n.a. pages, (n.a.) (2007)
- S. Becker, C. Canal, N. Diakov, J. Murillo, P. Poizat, M. Tivoli : “Special Issue on Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities (WCAT 06)”, n.a. pages, (n.a.) (2007)
2006
- C. Canal, P. Poizat, G. Salaün : “Adaptation de composants logiciels. Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation”, Actes de la Première Conférence Francophone sur les Architectures Logicielles (CAL 2006), Nantes, France, pp. (elec. proc.) (2006)
- P. Poizat, G. Salaün, M. Tivoli : “On Dynamic Reconfiguration of Behavioural Adaptation”, Proceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06), Nantes, France, pp. 61-69 (2006)
- C. Canal, P. Poizat, G. Salaün : “Synchronizing Behavioural Mismatch in Software Composition”, Proceedings of the 8^th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), vol. 4037, Lecture Notes in Computer Science, Bologna, Italy, pp. 63-77 (2006)
- P. Poizat, J.‑C. Royer, G. Salaün : “Bounded Analysis and Decomposition for Behavioural Descriptions of Components”, Proceedings of the 8^th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), vol. 4037, Lecture Notes in Computer Science, Italy, pp. 33-47 (2006)
- P. Poizat : “12 - SDL”, chapitre de Software Specification Methods: an Overview Using a Case Study, pp. n.a., (ISTE, Hermes Science Publishing) (2006)
- M. Frappier, H. Habrias, P. Poizat : “19 - A Comparison of the Specification Methods”, chapitre de Software Specification Methods: an Overview Using a Case Study, pp. n.a., (ISTE, Hermes Science Publishing) (2006)
- H. Habrias, P. Poizat, M. Frappier : “20 - Glossary”, chapitre de Software Specification Methods: an Overview Using a Case Study, pp. n.a., (ISTE, Hermes Science Publishing) (2006)
- P. Poizat, Th. Vergnaud : “5 - Langages de description d'architecture”, chapitre de Méthodes formelles pour les systèmes répartis et coopératifs, pp. n.a., (Hermes, Lavoisier) (2006)
- P. Poizat, J.‑C. Royer : “A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic”, Journal of Universal Computer Science, vol. 12 (12), pp. 1741-1782, (Graz University of Technology, Institut für Informationssysteme und Computer Medien) (2006)
- S. Becker, C. Canal, N. Diakov, J. Murillo, P. Poizat, M. Tivoli : “Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. Proceedings of the Third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06).”, n.a. pages, (n.a.) (2006)
- C. Canal, J. Murillo, P. Poizat : “Software Adaptation”, L'Objet, vol. 12, pp. 9-31 (2006)
- C. Canal, J. Murillo, P. Poizat : “Special Issue on Coordination and Adaptation Techniques”, n.a. pages, (n.a.) (2006)
2005
- C. Canal, J. Murillo, P. Poizat : “Coordination and Adaptation Techniques for Software Entities”, European Conference on Object-Oriented Programming (ECOOP) 2004 Workshop Reader, vol. 3344, Lecture Notes in Computer Science, Norway, pp. 133-147 (2005)
- G. Salaün, P. Poizat : “Interacting Extended State Diagrams”, Proceedings of the International Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 04), vol. 115, Electronic Notes in Theoretical Computer Science, Barcelona, Spain, pp. 49-57 (2005)
- S. Pavel, J. Noyé, P. Poizat, J.‑C. Royer : “Java Implementation of a Component Model with Explicit Symbolic Protocols”, Software Composition (SC), vol. 3628, Lecture Notes in Computer Science, Edinburgh, United Kingdom, pp. 115-124 (2005)
- P. Poizat : “Shell Scripting for Scientific Programming : the Python example”, International Workshop on Computing for Heavy Ion Physics, Nantes, France, pp. n.a. (2005)
- S. Pavel, J. Noyé, P. Poizat, J.‑C. Royer : “A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java”, (2005)
- C. Canal, P. Poizat, G. Salaün : “Adaptation of Component Protocols using Synchronous Vectors”, (2005)
- P. Poizat, G. Salaün : “Formal Coordination of Communicating Entities described with Behavioural Interfaces”, (2005)
- S. Becker, C. Canal, J. Murillo, P. Poizat, M. Tivoli : “New Issues on Coordination and Adaptation Techniques. Proceedings of the Second International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'05).”, n.a. pages, (n.a.) (2005)
- P. Poizat, J.‑C. Royer, G. Salaün : “Symbolic Bounded Analysis for Component Behavioural Protocols”, (2005)
2004
- O. Maréchal, P. Poizat, J.‑C. Royer : “Checking Asynchronously Communicating Components Using Symbolic Transition Systems”, On the Move to Meaningful Internet Systems 2004: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, vol. 3291, lncs, Cyprus, pp. 1502-1519, (pub.springer) (2004)
2003
- Ch. Attiogbé, P. Poizat, G. Salaün : “Intégration de données formelles dans les diagrammes d’états d’UML”, Actes d'AFADL'2003, Toulouse, France, pp. 3-17 (2003)
- Ch. Attiogbé, P. Poizat, G. Salaün : “Integration of Formal Datatypes within State Diagrams”, Proceedings of the 6^th International Conference, FASE 2003, vol. 2621, LNCS, Genova, Italy, Italy, pp. 341-355, (SV) (2003)
- Ch. Attiogbé, P. Poizat, G. Salaün : “Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams”, Proceedings of the 8^th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03, Nice, France, France, pp. 240a, (IEEE Computer Society Press) (2003)
2002
- P. Poizat, J.‑C. Royer : “Une proposition de composants formels”, Langages et Modèles à Objets, Montpellier, France, pp. 231-245 (2002)
2001
- Ch. Choppy, P. Poizat, J.‑C. Royer : “Formal specification of mixed components with Korrigan”, 8^th Asia-Pacific Software Engineering Conference,, Macau, China, pp. 169-176, (IEEE Computer Society) (2001)
- Ch. Choppy, P. Poizat, J.‑C. Royer : “The Korrigan Environment”, Journal of Universal Computer Science, vol. 7 (1), pp. 19-36, (Graz University of Technology, Institut für Informationssysteme und Computer Medien) (2001)
2000
- Ch. Choppy, P. Poizat, J.‑C. Royer : “A global semantics for views”, International conference on Algebraic Methodology And Software Technology, vol. 1816, Iowa, United States, pp. 165-180, (Springer-Verlag) (2000)
- Ch. Choppy, P. Poizat, J.‑C. Royer : “Integration and composition of static and dynamic "views": Unifying approach to complex system specification”, Workshop on integration of specification techniques with applications in engineering, Berlin, Germany, pp. 12-20 (2000)
- P. Poizat : “Korrigan : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes”, thesis, phd defence 12/20/2000, supervision Christine Choppy, co-supervision : Maritta Heisel, Gianna Reggio (2000)
1999
- Ch. Choppy, P. Poizat, J.‑C. Royer : “From informal requirements to COOP: a concurrent automata approach”, Formal Methods, vol. 1709, LNCS, Toulouse, France, pp. 939-962, (Springer-Verlag) (1999)
- P. Poizat, Ch. Choppy, J.‑C. Royer : “Concurrency and Data Types: a Specification Method. An Example with LOTOS”, chapter in Recent Trends in Algebraic Development Techniques, Selected Papers of the 13^th Workshop on Algebraic Development Techniques, WADT'98, vol. 1589, LNCS, pp. 276-291, (ISBN: ISBN 3-540-66246-4) (1999)