| 2025 | MSR | Navigating and Exploring Software Dependency Graphs Using Goblin. | Damien Jaime, Joyce El Haddad, Pascal Poizat |
| 2024 | MSR | Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph. | Damien Jaime, Joyce El Haddad, Pascal Poizat |
| 2021 | ENASE | A Direct Formal Semantics for BPMN Time-related Constructs. | Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quinnec |
| 2021 | FM | Business Processes Meet Spatial Concerns: The sBPMN Verification Framework. | Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou |
| 2019 | BPM | A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. | Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quinnec |
| 2017 | IFM | VBPMN: Automated Verification of BPMN Processes (Tool Paper). | Ajay Krishna, Pascal Poizat, Gwen Salan |
| 2013 | FASE | VerChor: A Framework for Verifying Choreographies. | Matthias Gdemann, Pascal Poizat, Gwen Salan, Alexandre Dumont |
| 2013 | ICSOC | Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space. | Rania Khfifi, Pascal Poizat, Fatiha Sas |
| 2013 | ISSRE | Automatic skeleton generation for data-aware service choreographies. | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zadi |
| 2012 | DEXA | Modeling and Querying Context-Aware Personal Information Spaces. | Rania Khfifi, Pascal Poizat, Fatiha Sas |
| 2012 | ICSOC | A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zadi |
| 2012 | SAC | Passive conformance testing of service choreographies. | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zadi |
| 2012 | SAC | Checking the realizability of BPMN 2.0 choreographies. | Pascal Poizat, Gwen Salan |
| 2011 | TAP | Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. | Lina Bentakouk, Pascal Poizat, Fatiha Zadi |
| 2010 | ICSOC | Repair vs. Recomposition for Broken Service Compositions. | Yuhong Yan, Pascal Poizat, Ludeng Zhao |
| 2010 | ICWS | Self-Adaptive Service Composition Through Graphplan Repair. | Yuhong Yan, Pascal Poizat, Ludeng Zhao |
| 2010 | ISoLA | Adaptive Composition of Conversational Services through Graph Planning Encoding. | Pascal Poizat, Yuhong Yan |
| 2010 | SERA | Repairing Service Compositions in a Changing World. | Yuhong Yan, Pascal Poizat, Ludeng Zhao |
| 2008 | FASE | Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. | Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar |
| 2008 | ICSOC | Automated Service Composition with Adaptive Planning. | Sandrine Beauche, Pascal Poizat |
| 2008 | ICSOC | Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. | Radu Mateescu, Pascal Poizat, Gwen Salan |
| 2007 | FORTE | Transactional Reduction of Component Compositions. | Serge Haddad, Pascal Poizat |
| 2004 | CoopIS | Checking Asynchronously Communicating Components Using Symbolic Transition Systems. | Olivier Marchal, Pascal Poizat, Jean-Claude Royer |
| 2003 | FASE | Integration of Formal Datatypes within State Diagrams. | J. Christian Attiogb, Pascal Poizat, Gwen Salan |
| 2001 | APSEC | Formal Specification of Mixed Components with Korrigan. | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
| 2001 | FASE | Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. | Christine Choppy, Pascal Poizat, Jean-Claude Royer |
| 1999 | FM | A Study of Collaborative Work: Answers to a Test on Formal Specification in B. | Henri Habrias, Pascal Poizat, Jean-Yves Lafaye |
| 1999 | FM | From Informal Requirements to COOP: A Concurrent Automata Approach. | Pascal Poizat, Christine Choppy, Jean-Claude Royer |