Publications 2000-2025

• 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”, ASE '24: Proceedings of the 39^th IEEE/ACM International Conference on Automated Software Engineering, Sacramento, CA, United States, pp. 1834-1845, (Association for Computing Machinery), (ISBN: 9798400712487) (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)
• 2011
  • P. Poizat : “Formal Model-Based Approaches for the Development of Composite Systems”, habilitation à diriger des recherches, soutenance 24/11/2011, direction de recherche Marie-Claude Gaudel, co-encadrement : Mohand-Said Hacid, Paola Inverardi, Fabrice Kordon (2011)
• 2000
  • P. Poizat : “Korrigan : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes”, thèse, soutenance 20/12/2000, direction de recherche Christine Choppy, co-encadrement : Maritta Heisel, Gianna Reggio (2000)