Concurrency and Data Types: A Specification Method: An Example with LOTOS. - Pascal Poizat; Christine Choppy; Jean-Claude Royer (WADT, 1998)

A Study of Collaborative Work: Answers to a Test on Formal Specification in B. - Henri Habrias; Pascal Poizat; Jean-Yves Lafaye (World Congress on Formal Methods, 1999)

From Informal Requirements to COOP: A Concurrent Automata Approach. - Pascal Poizat; Christine Choppy; Jean-Claude Royer (World Congress on Formal Methods, 1999)

A Global Semantics for Views. - Christine Choppy; Pascal Poizat; Jean-Claude Royer (AMAST, 2000)

KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes. (KORRIGAN : a formalism and a method for the formal and structured specification of mixed systems). - Pascal Poizat (2000)

Formal Specification of Mixed Components with Korrigan. - Christine Choppy; Pascal Poizat; Jean-Claude Royer (APSEC, 2001)

Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. - Christine Choppy; Pascal Poizat; Jean-Claude Royer (FASE, 2001)

The Korrigan Environment. - Christine Choppy; Pascal Poizat; Jean-Claude Royer (J. Univers. Comput. Sci., 2001)

Une proposition de composants formels. - Pascal Poizat; Jean-Claude Royer (Obj. Logiciel Base données Réseaux, 2002)

Integration of Formal Datatypes within State Diagrams. - J. Christian Attiogbé; Pascal Poizat; Gwen Salaün (FASE, 2003)

Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. - J. Christian Attiogbé; Pascal Poizat; Gwen Salaün (IPDPS, 2003)

A Logic with Temporal Glue for Mixed Specifications. - Marc Aiguier; Fabrice Barbier; Pascal Poizat (FOCLASA, 2003)

Checking Asynchronously Communicating Components Using Symbolic Transition Systems. - Olivier Maréchal; Pascal Poizat; Jean-Claude Royer (CoopIS/DOA/ODBASE (2), 2004)

Coordination and Adaptation Techniques for Software Entities. - Carlos Canal; Juan Manuel Murillo; Pascal Poizat (ECOOP Workshops, 2004)

Interacting Extended State Diagrams. - Gwen Salaün; Pascal Poizat (SFEDL@ETAPS, 2004)

A Java Implementation of a Component Model with Explicit Symbolic Protocols. - Sebastian Pavel; Jacques Noyé; Pascal Poizat; Jean-Claude Royer (SC@ETAPS, 2005)

Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. - Carlos Canal; Pascal Poizat; Gwen Salaün (CAL, 2006)

Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. - Steffen Becker 001; Carlos Canal; Nikolay Diakov; Juan Manuel Murillo; Pascal Poizat; Massimo Tivoli (ECOOP Workshops, 2006)

Synchronizing Behavioural Mismatch in Software Composition. - Carlos Canal; Pascal Poizat; Gwen Salaün (FMOODS, 2006)

Bounded Analysis and Decomposition for Behavioural Descriptions of Components. - Pascal Poizat; Jean-Claude Royer; Gwen Salaün (FMOODS, 2006)

Software Adaptation. - Carlos Canal; Juan Manuel Murillo; Pascal Poizat (Obj. Logiciel Base données Réseaux, 2006)

Preface. - Steffen Becker 001; Carlos Canal; Nikolay Diakov; Juan Manuel Murillo; Pascal Poizat; Massimo Tivoli (WCAT@ECOOP, 2006)

An Adaptation-based Approach to Incrementally Build Component Systems. - Pascal Poizat; Gwen Salaün; Massimo Tivoli (FACS, 2006)

A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic - Pascal Poizat; Jean-Claude Royer (J. Univers. Comput. Sci., 2006)

Practical Approaches for Software Adaptation. - Carlos Canal; Juan Manuel Murillo; Pascal Poizat (ECOOP Workshops, 2007)

Adaptation of Open Component-Based Systems. - Pascal Poizat; Gwen Salaün (FMOODS, 2007)

Transactional Reduction of Component Compositions. - Serge Haddad; Pascal Poizat (FORTE, 2007)

Behavioral adaptation of component compositions based on process algebra encodings. - Radu Mateescu 001; Pascal Poizat; Gwen Salaün (ASE, 2007)

A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. - Javier Cubo; Gwen Salaün; Carlos Canal; Ernesto Pimentel 001; Pascal Poizat (FACS, 2007)

A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. - J. Christian Attiogbé; Pascal Poizat; Gwen Salaün (IEEE Trans. Software Eng., 2007)

Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. - Tarek Melliti; Pascal Poizat; Sonia Ben Mokhtar (FASE, 2008)

Automated Service Composition with Adaptive Planning. - Sandrine Beauche; Pascal Poizat (ICSOC, 2008)

Model-Based Adaptation of Behavioral Mismatching Components. - Carlos Canal; Pascal Poizat; Gwen Salaün (IEEE Trans. Software Eng., 2008)

A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. - Lina Bentakouk; Pascal Poizat; Fatiha Zaïdi (TestCom/FATES, 2009)

Repair vs. Recomposition for Broken Service Compositions. - Yuhong Yan; Pascal Poizat; Ludeng Zhao (ICSOC, 2010)

Self-Adaptive Service Composition Through Graphplan Repair. - Yuhong Yan; Pascal Poizat; Ludeng Zhao (ICWS, 2010)

Adaptive Composition of Conversational Services through Graph Planning Encoding. - Pascal Poizat; Yuhong Yan (ISoLA (2), 2010)

Repairing Service Compositions in a Changing World. - Yuhong Yan; Pascal Poizat; Ludeng Zhao (SERA (selected papers), 2010)

Formal Model-Based Approaches for the Development of Composite Systems. (Approches formelles à base de modèles pour le développement de systèmes composites). - Pascal Poizat (2011)

Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. - Lina Bentakouk; Pascal Poizat; Fatiha Zaïdi (TAP@TOOLS, 2011)

Preface. - Carlos Canal; Pascal Poizat; Marjan Sirjani (Sci. Comput. Program., 2011)

Preface. - Carlos Canal; Pascal Poizat; Mirko Viroli (Sci. Comput. Program., 2011)

Modeling and Querying Context-Aware Personal Information Spaces. - Rania Khéfifi; Pascal Poizat; Fatiha Saïs (DEXA (2), 2012)

Modélisation et interrogation d'espaces d'informations personnelles sensibles au contexte. - Rania Khéfifi; Pascal Poizat; Fatiha Saïs (EGC, 2012)

Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing. - Huu Nghia Nguyen; Pascal Poizat; Fatiha Zaïdi (HASE, 2012)

A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. - Huu Nghia Nguyen; Pascal Poizat; Fatiha Zaïdi (ICSOC, 2012)

Passive conformance testing of service choreographies. - Huu Nghia Nguyen; Pascal Poizat; Fatiha Zaïdi (SAC, 2012)

Checking the realizability of BPMN 2.0 choreographies. - Pascal Poizat; Gwen Salaün (SAC, 2012)

Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. - Radu Mateescu 001; Pascal Poizat; Gwen Salaün (IEEE Trans. Software Eng., 2012)

VerChor: A Framework for Verifying Choreographies. - Matthias Güdemann; Pascal Poizat; Gwen Salaün; Alexandre Dumont (FASE, 2013)

Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space. - Rania Khéfifi; Pascal Poizat; Fatiha Saïs (ICSOC, 2013)

Automatic skeleton generation for data-aware service choreographies. - Huu Nghia Nguyen; Pascal Poizat; Fatiha Zaïdi (ISSRE, 2013)

Adaptive Composition and QoS Optimization of Conversational Services Through Graph Planning Encoding. - Min Chen 035; Pascal Poizat; Yuhong Yan (Web Services Foundations, 2014)

Introduction. - Noël Plouzeau; Pascal Poizat (Tech. Sci. Informatiques, 2015)

VerChor: A Framework for the Design and Verification of Choreographies. - Matthias Güdemann; Pascal Poizat; Gwen Salaün; Lina Ye (IEEE Trans. Serv. Comput., 2016)

VBPMN: Automated Verification of BPMN Processes (Tool Paper). - Ajay Krishna 001; Pascal Poizat; Gwen Salaün (IFM, 2017)

A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. - Sara Houhou; Souheib Baarir; Pascal Poizat; Philippe Quéinnec (BPM, 2019)

Checking business process evolution. - Ajay Krishna 001; Pascal Poizat; Gwen Salaün (Sci. Comput. Program., 2019)

A Direct Formal Semantics for BPMN Time-related Constructs. - Sara Houhou; Souheib Baarir; Pascal Poizat; Philippe Quéinnec (ENASE, 2021)

Business Processes Meet Spatial Concerns: The sBPMN Verification Framework. - Rim Saddem-Yagoubi; Pascal Poizat; Sara Houhou (FM, 2021)

A preliminary study of rhythm and speed in the maven ecosystem. - Damien Jaime; Joyce El Haddad; Pascal Poizat (BENEVOL, 2022)

A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations. - Sara Houhou; Souheib Baarir; Pascal Poizat; Philippe Quéinnec; Laïd Kahloul (Inf. Syst., 2022)

Balancing the Quality and Cost of Updating Dependencies. - Damien Jaime; Pascal Poizat; Joyce El Haddad; Thomas Degueule (ASE, 2024)

Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph. - Damien Jaime; Joyce El Haddad; Pascal Poizat (MSR, 2024)

Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023. - Farhad Arbab; Marco Autili; Federico Ciccozzi; Pascal Poizat; Massimo Tivoli (ACM SIGSOFT Softw. Eng. Notes, 2024)

Navigating and Exploring Software Dependency Graphs Using Goblin. - Damien Jaime; Joyce El Haddad; Pascal Poizat (MSR, 2025)