Pascal Poizat

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 11

Top Topics

Business Process

Dependency Graph

Top Venues

IEEE Trans. Serv. Comput.

Sci. Comput. Program.

Publications

Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli
Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023. ACM SIGSOFT Softw. Eng. Notes 49 (1) (2024)
Damien Jaime, Joyce El Haddad, Pascal Poizat
Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph. MSR (2024)
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laïd Kahloul
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations. Inf. Syst. 104 (2022)
Damien Jaime, Joyce El Haddad, Pascal Poizat
A preliminary study of rhythm and speed in the maven ecosystem. BENEVOL (2022)
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec
A Direct Formal Semantics for BPMN Time-related Constructs. ENASE (2021)
Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou
Business Processes Meet Spatial Concerns: The sBPMN Verification Framework. FM (2021)
Ajay Krishna, Pascal Poizat, Gwen Salaün
Checking business process evolution. Sci. Comput. Program. 170 (2019)
Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec
A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. BPM (2019)
Ajay Krishna, Pascal Poizat, Gwen Salaün
VBPMN: Automated Verification of BPMN Processes (Tool Paper). IFM (2017)
Pascal Poizat, Gwen Salaün, Ajay Krishna
Checking Business Process Evolution. FACS (2016)
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
VerChor: A Framework for the Design and Verification of Choreographies. IEEE Trans. Serv. Comput. 9 (4) (2016)
Noël Plouzeau, Pascal Poizat
Introduction. Tech. Sci. Informatiques 34 (6) (2015)
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont
VerChor: A Framework for Verifying Choreographies. FASE (2013)
Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi
Automatic skeleton generation for data-aware service choreographies. ISSRE (2013)
Rania Khéfifi, Pascal Poizat, Fatiha Saïs
Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space. ICSOC (2013)
Pascal Poizat, Gwen Salaün
Checking the realizability of BPMN 2.0 choreographies. SAC (2012)
Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi
A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. ICSOC (2012)
Radu Mateescu, Pascal Poizat, Gwen Salaün
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. IEEE Trans. Software Eng. 38 (4) (2012)
Rania Khéfifi, Pascal Poizat, Fatiha Saïs
Modélisation et interrogation d'espaces d'informations personnelles sensibles au contexte. EGC (2012)
Rania Khéfifi, Pascal Poizat, Fatiha Saïs
Modeling and Querying Context-Aware Personal Information Spaces. DEXA (2) (2012)
Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi
Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing. HASE (2012)
Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi
Passive conformance testing of service choreographies. SAC (2012)
Carlos Canal, Pascal Poizat, Marjan Sirjani
Preface. Sci. Comput. Program. 76 (8) (2011)
Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi
Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. TAP@TOOLS (2011)
Carlos Canal, Pascal Poizat, Mirko Viroli
Preface. Sci. Comput. Program. 76 (1) (2011)
Yuhong Yan, Pascal Poizat, Ludeng Zhao
Self-Adaptive Service Composition Through Graphplan Repair. ICWS (2010)
Yuhong Yan, Pascal Poizat, Ludeng Zhao
Repairing Service Compositions in a Changing World. SERA (selected papers) (2010)
Pascal Poizat, Yuhong Yan
Adaptive Composition of Conversational Services through Graph Planning Encoding. ISoLA (2) (2010)
Yuhong Yan, Pascal Poizat, Ludeng Zhao
Repair vs. Recomposition for Broken Service Compositions. ICSOC (2010)
Carlos Canal, Pascal Poizat, Marjan Sirjani
Preface. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. TestCom/FATES (2009)
Carlos Canal, Pascal Poizat, Mirko Viroli
Preface. Electron. Notes Theor. Comput. Sci. 194 (4) (2008)
Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. Electron. Notes Theor. Comput. Sci. 215 (2008)
Sandrine Beauche, Pascal Poizat
Automated Service Composition with Adaptive Planning. ICSOC (2008)
Carlos Canal, Juan Manuel Murillo, Pascal Poizat
Software Adaptation. J. Univers. Comput. Sci. 14 (13) (2008)
Radu Mateescu, Pascal Poizat, Gwen Salaün
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC (2008)
Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. FASE (2008)
Carlos Canal, Pascal Poizat, Gwen Salaün
Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. 34 (4) (2008)
Radu Mateescu, Pascal Poizat, Gwen Salaün
Behavioral adaptation of component compositions based on process algebra encodings. ASE (2007)
J. Christian Attiogbé, Pascal Poizat, Gwen Salaün
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Trans. Software Eng. 33 (3) (2007)
Pascal Poizat, Gwen Salaün
Adaptation of Open Component-Based Systems. FMOODS (2007)
Carlos Canal, Juan Manuel Murillo, Pascal Poizat
Practical Approaches for Software Adaptation. ECOOP Workshops (2007)
Serge Haddad, Pascal Poizat
Transactional Reduction of Component Compositions. FORTE (2007)
Pascal Poizat, Gwen Salaün, Massimo Tivoli
An Adaptation-based Approach to Incrementally Build Component Systems. Electron. Notes Theor. Comput. Sci. 182 (2007)
Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli
Preface. Electron. Notes Theor. Comput. Sci. 189 (2007)
Pascal Poizat, Jean-Claude Royer
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic J. Univers. Comput. Sci. 12 (12) (2006)
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)
Carlos Canal, Pascal Poizat, Gwen Salaün
Synchronizing Behavioural Mismatch in Software Composition. FMOODS (2006)
Carlos Canal, Pascal Poizat, Gwen Salaün
Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. CAL (2006)
Carlos Canal, Juan Manuel Murillo, Pascal Poizat
Software Adaptation. Obj. Logiciel Base données Réseaux 12 (1) (2006)
Pascal Poizat, Jean-Claude Royer, Gwen Salaün
Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS (2006)
Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer
A Java Implementation of a Component Model with Explicit Symbolic Protocols. SC@ETAPS (2005)
Gwen Salaün, Pascal Poizat
Interacting Extended State Diagrams. Electron. Notes Theor. Comput. Sci. 115 (2005)
Olivier Maréchal, Pascal Poizat, Jean-Claude Royer
Checking Asynchronously Communicating Components Using Symbolic Transition Systems. CoopIS/DOA/ODBASE (2) (2004)
Marc Aiguier, Fabrice Barbier, Pascal Poizat
A Logic with Temporal Glue for Mixed Specifications. Electron. Notes Theor. Comput. Sci. 97 (2004)
Carlos Canal, Juan Manuel Murillo, Pascal Poizat
Coordination and Adaptation Techniques for Software Entities. ECOOP Workshops (2004)
J. Christian Attiogbé, Pascal Poizat, Gwen Salaün
Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. IPDPS (2003)
J. Christian Attiogbé, Pascal Poizat, Gwen Salaün
Integration of Formal Datatypes within State Diagrams. FASE (2003)
Pascal Poizat, Jean-Claude Royer
Une proposition de composants formels. Obj. Logiciel Base données Réseaux 8 (1-2) (2002)
Christine Choppy, Pascal Poizat, Jean-Claude Royer
Formal Specification of Mixed Components with Korrigan. APSEC (2001)
Christine Choppy, Pascal Poizat, Jean-Claude Royer
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. FASE (2001)
Christine Choppy, Pascal Poizat, Jean-Claude Royer
The Korrigan Environment. J. Univers. Comput. Sci. 7 (1) (2001)
Christine Choppy, Pascal Poizat, Jean-Claude Royer
A Global Semantics for Views. AMAST (2000)
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)
Pascal Poizat, Christine Choppy, Jean-Claude Royer
From Informal Requirements to COOP: A Concurrent Automata Approach. World Congress on Formal Methods (1999)
Pascal Poizat, Christine Choppy, Jean-Claude Royer
Concurrency and Data Types: A Specification Method: An Example with LOTOS. WADT (1998)