Pascal Poizat Professeur à l'Université Paris Nanterre

Présentation

My research activities address

software engineering

with issues related to composition (the software system is made up of several sub-units), distribution (there are sub-units that execute on different deployment units), and interaction (there are sub-units that synchronize or communicate in some way). Further, I have a specific focus on the

behavioural aspects

of software. These emerge when systems or their sub-units have a state, conditioning the legal ordering of operations within them or communications between them.

I am also particularly interested in the use and the integration of

formal methods

within the software development processes. This includes activities such as design, verification, adaptation, automatic composition, and testing. The objective is twofold: first, to increase the confidence one may have in a software system and, second, to foster automation and tool-support of the development processes.

Applicative domains and relation to standards are important in my work. This includes

business processes

and

service-based applications

, e.g., with the formal verification and the analysis of the evolution of business processes modelled using BPMN, the automatic generation of service compositions and service adaptors models and corresponding WS-BPEL implementations from high-level requirements, and the testing of service orchestrations and service choreographies.

Publications

Article dans une revue (10)

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 Kahloud Information Systems, 2022, 104, pp.101765. ⟨10.1016/j.is.2021.101765⟩ Article dans une revue hal-03170863v1
Checking Business Process Evolution Ajay Krishna,Pascal Poizat,Gwen Salaün Science of Computer Programming, 2019, 170, pp.1-26. ⟨10.1016/j.scico.2018.09.007⟩ Article dans une revue hal-01920273v1
VerChor: A Framework for the Design and Verification of Choreographies Matthias Güdemann,Pascal Poizat,Gwen Salaün,Lina Ye IEEE Transactions on Services Computing, 2016, 9 (4), pp.647-660. ⟨10.1109/TSC.2015.2413401⟩ Article dans une revue hal-01198918v1
Vers une utilisation automatique des Informations Personnelles pour la réalisation de e-procedures Rania Khéfifi,Pascal Poizat,Fatiha Saïs Revue des Nouvelles Technologies de l'Information, 2014, RNTI-W-2, pp.75-89 Article dans une revue hal-01198920v1
Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques Radu Mateescu,Pascal Poizat,Gwen Salaün IEEE Transactions on Software Engineering, 2012, ⟨10.1109/TSE.2011.62⟩ Article dans une revue hal-00717252v1
Model-based Adaptation of Behavioural Mismatching Components Carlos Canal,Pascal Poizat,Gwen Salaün IEEE Transactions on Software Engineering, 2008, 34 (4), pp.546--563. ⟨10.1109/TSE.2008.31⟩ Article dans une revue hal-00340122v1
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes Christian Attiogbe,Pascal Poizat,Gwen Salaün IEEE Transactions on Software Engineering, 2007, 33 (3), pp.157-170. ⟨10.1109/TSE.2007.21⟩ Article dans une revue hal-00470280v1
A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic Pascal Poizat,Jean-Claude Royer Journal of Universal Computer Science, 2006, 12 (12), pp.1741-1782. ⟨10.3217/jucs-012-12-1741⟩ Article dans une revue hal-00342156v1
Software Adaptation Carlos Canal,Juan Manuel Murillo,Pascal Poizat L&apos;Objet, 2006, 12, pp.9--31 Article dans une revue hal-00342014v1
The Korrigan Environment Christine Choppy,Pascal Poizat,Jean-Claude Royer Journal of Universal Computer Science, 2001, 7 (1), pp.19-36. ⟨10.3217/jucs-007-01-0019⟩ Article dans une revue hal-00444026v1

Communication dans un congrès (47)

Navigating and Exploring Software Dependency Graphs using Goblin Damien Jaime,Joyce El Haddad,Pascal Poizat 22nd International Conference on Mining Software Repositories (MSR), Apr 2025, Ottawa, Canada Communication dans un congrès hal-04777703v1
Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph Damien Jaime,Joyce El Haddad,Pascal Poizat 21st International Conference on Mining Software Repositories (MSR), Apr 2024, Libonne, Portugal Communication dans un congrès hal-04392296v2
Balancing the Quality and Cost of Updating Dependencies Damien Jaime,Pascal Poizat,Joyce El Haddad,Thomas Degueule 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), Oct 2024, Sacramento, CA, United States. pp.1834-1845, ⟨10.1145/3691620.3695595⟩ Communication dans un congrès hal-04684254v1
A Preliminary Study of Rhythm and Speed in the Maven Ecosystem Damien Jaime,Joyce El Haddad,Pascal Poizat 21st Belgium-Netherlands Software Evolution Workshop, Sep 2022, Mons, Belgium Communication dans un congrès hal-03725099v1
A Direct Formal Semantics for BPMN Time-Related Constructs Sara Houhou,Souheib Baarir,Pascal Poizat,Philippe Quéinnec ENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2021, online, Czech Republic. pp.138-149, ⟨10.5220/0010462901380149⟩ Communication dans un congrès hal-03170814v1
Business Processes Meet Spatial Concerns: the sBPMN Verification Framework Rim Saddem-Yagoubi,Pascal Poizat,Sara Houhou FM 2021 - 24th International Symposium on Formal Methods, Nov 2021, Beijing, China. pp.218-234, ⟨10.1007/978-3-030-90870-6_12⟩ Communication dans un congrès hal-03289951v1
A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations Sara Houhou,Souheib Baarir,Pascal Poizat,Philippe Quéinnec International Conference on Business Process Management (BPM 2019), Sep 2019, Vienna, Austria. pp.52-68, ⟨10.1007/978-3-030-26619-6_6⟩ Communication dans un congrès hal-02138366v1
VBPMN: Automated Verification of BPMN Processes Ajay Krishna,Pascal Poizat,Gwen Salaün 13th International Conference on integrated Formal Methods (iFM 2017), Sep 2017, Turin, Italy Communication dans un congrès hal-01591665v1
Checking Business Process Evolution Pascal Poizat,Gwen Salaün,Ajay Krishna 13th International Conference on Formal Aspects of Component Software (FACS), Oct 2016, Besançon, France Communication dans un congrès hal-01366641v1
Data-Flow Oriented Service Composition: AI-Planning or Petri Nets? Rania Khefifi,Pascal Poizat,Fatiha Saïs 2nd Workshop "From Open Sources to Web of Data" (SOS-DLWD 2013), Jul 2013, Lille, France Communication dans un congrès hal-00832920v1
Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space Rania Khéfifi,Pascal Poizat,Fatiha Saïs 11th International Conference on Service Oriented Computing, ICSOC 2013, Dec 2013, Berlin, Germany. pp.575-583, ⟨10.1007/978-3-642-45005-1_48⟩ Communication dans un congrès hal-01216430v1
Automatic Skeleton Generation for Data-Aware Service Choreographies Huu Nghia Nguyen,Pascal Poizat,Fatiha Zaïdi 24th IEEE International Symposium on Software Reliability Engineering, ISSRE 2013, Nov 2013, Pasadena, CA, United States. pp.320-329, ⟨10.1109/ISSRE.2013.6698885⟩ Communication dans un congrès hal-01216413v1
VerChor: A Framework for Verifying Choreographies Matthias Güdemann,Pascal Poizat,Gwen Salaün,Alexandre Dumont Fundamental Approaches to Software Engineering 2013, Mar 2013, Rome, Italy. pp.226-230, ⟨10.1007/978-3-642-37057-1_16⟩ Communication dans un congrès hal-00806788v1
Checking the Realizability of BPMN 2.0 Choreographies Pascal Poizat,Gwen Salaün 27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1927-1934 Communication dans un congrès hal-00685393v1
A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies Huu Nghia (hữu Nghĩa) Nguyễn,Pascal Poizat,Fatiha Zaïdi 10th International Conference on Service-Oriented Computing (ICSOC), Dec 2012, San Francisco, United States. ⟨10.1007/978-3-642-34321-6_36⟩ Communication dans un congrès hal-01367304v1
Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing Huu Nghia (hữu Nghĩa) Nguyễn,Pascal Poizat,Fatiha Zaïdi 9th International Symposium on High-Assurance Systems Engineering (HASE), Oct 2012, Omaha, United States. ⟨10.1109/HASE.2012.15⟩ Communication dans un congrès hal-01367296v1
Passive Conformance Testing of Service Choreographies Huu Nghia (hữu Nghĩa) Nguyễn,Pascal Poizat,Fatiha Zaïdi 27th ACM Symposium on Applied Computing (SAC), Mar 2012, Riva del Garda, Italy. ⟨10.1145/2245276.2232020⟩ Communication dans un congrès hal-01367307v1
Modélisation et interrogation d'espaces d'informations personnelles sensibles au contexte. Rania Khefifi,Pascal Poizat,Fatiha Saïs Extraction et Gestion des Connaissances, Jan 2012, Bordeaux, France. pp.573-574 Communication dans un congrès hal-00832944v1
Modelling and Quering Context-Aware Personal Information Spaces Rania Khefifi,Pascal Poizat,Fatiha Saïs Database and Expert Systems Applications, Sep 2012, Vienna, Austria. pp.103-110 Communication dans un congrès hal-00832934v1
Verification and Adaptation of WF/.NET Components Javier Cubo,Gwen Salaün,Carlos Canal,Ernesto Pimentel,Pascal Poizat Proceedings of the Workshop on Formal Aspects of Component Software (FACS 07), 2008, Paris, France. pp.39--55 Communication dans un congrès hal-00340484v1
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services Tarek Melliti,Pascal Poizat,Sonia Ben Mokhtar FASE 2008 - International Conference on Fundamental Approaches to Software Engineering, Mar 2008, Budapest, Hungary. pp.146--162, ⟨10.1007/978-3-540-78743-3_12⟩ Communication dans un congrès hal-00340490v1
Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques Radu Mateescu,Pascal Poizat,Gwen Salaün 6th International Conference on Service Oriented Computing ICSOC'2008, Dec 2008, Sydney, Australia. pp.84-99, ⟨10.1007/978-3-540-89652-4_10⟩ Communication dans un congrès inria-00341598v1
Practical Approaches for Software Adaptation. Carlos Canal,Juan Manuel Murillo,Pascal Poizat 21st European Conference on Object-Oriented Programming (ECOOP 2007), Jul 2007, Berlin, Germany. pp.154--165, ⟨10.1007/978-3-540-78195-0_15⟩ Communication dans un congrès istex hal-00340482v1
Automated service composition with adaptive planning Sandrine Beauche,Pascal Poizat 6th International Conference on Service-Oriented Computing (ICSOC '08), Dec 2008, Sydney, Australia. pp.530--537, ⟨10.1007/978-3-540-89652-4-42⟩ Communication dans un congrès hal-00870493v1
Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0 Javier Cubo,Gwen Salaün,Carlos Canal,Ernesto Pimentel,Pascal Poizat 12th International Workshop on Component-Oriented Programming (WCOP 2007), Jul 2007, Berlin, Germany. pp.9--13 Communication dans un congrès hal-00342068v1
An Adaptation-based Approach to Incrementally Build Component Systems Pascal Poizat,Gwen Salaün,Massimo Tivoli Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 06), Sep 2006, Praha, Czech Republic. pp.155--170, ⟨10.1016/j.entcs.2006.09.037⟩ Communication dans un congrès hal-00342162v1
Behavioral Adaptation of Component Compositions based on Process Algebra Encodings Radu Mateescu,Pascal Poizat,Gwen Salaün Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), 2007, Atlanta, United States. pp.385--388, ⟨10.1145/1321631.1321690⟩ Communication dans un congrès hal-00342148v1
Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation Steffen Becker,Carlos Canal,Nikolay Diakov,Juan Manuel Murillo,Pascal Poizatet al. ECOOP 2006 Workshop Reader, 2007, Nantes, France. pp.72--86, ⟨10.1007/978-3-540-71774-4_9⟩ Communication dans un congrès istex hal-00341998v1
Adaptation of Open Component-based Systems Pascal Poizat,Gwen Salaün Proceedings of the IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 07), 2007, Pathos, Cyprus. pp.141--156, ⟨10.1007/978-3-540-72952-5_9⟩ Communication dans un congrès istex hal-00342160v1
Transactional Reduction of Component Compositions Serge Haddad,Pascal Poizat Proceedings of the IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE 07), 2007, Tallin, Estonia. pp.341--357, ⟨10.1007/978-3-540-73196-2_22⟩ Communication dans un congrès hal-00342086v1
Synchronizing Behavioural Mismatch in Software Composition Carlos Canal,Pascal Poizat,Gwen Salaün Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologna, Italy. pp.63--77, ⟨10.1007/11768869_7⟩ Communication dans un congrès hal-00342017v1
On Dynamic Reconfiguration of Behavioural Adaptation Pascal Poizat,Gwen Salaün,Massimo Tivoli Proceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06), Jul 2006, Nantes, France. pp.61--69 Communication dans un congrès hal-00342163v1
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 Première Conférence Francophone sur les Architectures Logicielles (CAL 2006), Sep 2006, Nantes, France. (elec. proc.) Communication dans un congrès hal-00342016v1
Bounded Analysis and Decomposition for Behavioural Descriptions of Components Pascal Poizat,Jean-Claude Royer,Gwen Salaün Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 2006, Italy. pp.33--47, ⟨10.1007/11768869_5⟩ Communication dans un congrès istex hal-00342158v1
Shell Scripting for Scientific Programming : the Python example Pascal Poizat International Workshop on Computing for Heavy Ion Physics, 2005, Nantes, France. pp.n.a Communication dans un congrès hal-00342155v1
Java Implementation of a Component Model with Explicit Symbolic Protocols Sebastian Pavel,Jacques Noyé,Pascal Poizat,Jean-Claude Royer Software Composition (SC), 2005, Edinburgh, United Kingdom. pp.115-124, ⟨10.1007/11550679_9⟩ Communication dans un congrès hal-00342152v1
Interacting Extended State Diagrams Gwen Salaün,Pascal Poizat Proceedings of the International Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 04), 2005, Barcelona, Spain. pp.49--57, ⟨10.1016/j.entcs.2004.09.028⟩ Communication dans un congrès hal-00342172v1
Coordination and Adaptation Techniques for Software Entities Carlos Canal,Juan Manuel Murillo,Pascal Poizat European Conference on Object-Oriented Programming (ECOOP) 2004 Workshop Reader, 2005, Norway. pp.133--147, ⟨10.1007/b104146⟩ Communication dans un congrès hal-00342015v1
Checking Asynchronously Communicating Components Using Symbolic Transition Systems Olivier Maréchal,Pascal Poizat,Jean-Claude Royer OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, 2004, Cyprus. pp.1502-1519 Communication dans un congrès hal-00457192v1
Intégration de données formelles dans les diagrammes d'états d'UML Christian Attiogbé,Pascal Poizat,Gwen Salaün Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL'2003, 2003, Toulouse, France. pp.3--17 Communication dans un congrès hal-00458199v1
Integration of Formal Datatypes within State Diagrams Christian Attiogbé,Pascal Poizat,Gwen Salaün Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, 2003, Genova, Italy, Italy. pp.341--355 Communication dans un congrès hal-00458163v1
Specification of a Gas Station using a Formalism Integrating Formal Datatypes within State Diagrams Christian Attiogbé,Pascal Poizat,Gwen Salaün {8th International Workshop on Formal Methods for Parallel Programming: Theory and Applications, FMPPTA'03}, 2003, Nice, France, France. pp.240a Communication dans un congrès hal-00458164v1
Une proposition de composants formels Pascal Poizat,Jean-Claude Royer Langages et Modèles à Objets, 2002, Montpellier, France. pp.231-245 Communication dans un congrès hal-01135659v1
Formal specification of mixed components with Korrigan Christine Choppy,Pascal Poizat,Jean-Claude Royer 8th Asia-Pacific Software Engineering Conference,, 2001, Macau, China. pp.169--176 Communication dans un congrès hal-01135653v1
Integration and composition of static and dynamic &quot;views&quot;: Unifying approach to complex system specification Christine Choppy,Pascal Poizat,Jean-Claude Royer Workshop on integration of specification techniques with applications in engineering, 2000, Berlin, Germany. pp.12-20 Communication dans un congrès hal-01135631v1
A global semantics for views Christine Choppy,Pascal Poizat,Jean-Claude Royer International conference on Algebraic Methodology And Software Technology, 2000, Iowa, United States. pp.165--180 Communication dans un congrès hal-01135611v1
From informal requirements to COOP: a concurrent automata approach Christine Choppy,Pascal Poizat,Jean-Claude Royer Formal Methods, 1999, Toulouse, France. pp.939-962 Communication dans un congrès hal-01135580v1

Ouvrages (6)

Practical Approaches for Software Adaptation. Proceedings of the Fourth International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 07). Carlos Canal,Juan Manuel Murillo,Pascal Poizat n.a., pp.n.a., 2007 Ouvrages hal-00343092v1
Special Issue on Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities (WCAT 06) Steffen Becker,Carlos Canal,Nikolay Diakov,Juan Manuel Murillo,Pascal Poizatet al. n.a., pp.n.a., 2007 Ouvrages hal-00343091v1
Proceedings of the Sixth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 07). Carlos Canal,Pascal Poizat,Mirko Viroli n.a., pp.n.a., 2007 Ouvrages hal-00343093v1
Special Issue on Coordination and Adaptation Techniques Carlos Canal,Juan Manuel Murillo,Pascal Poizat n.a., pp.n.a., 2006 Ouvrages hal-00343095v1
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). Steffen Becker,Carlos Canal,Nikolay Diakov,Juan Manuel Murillo,Pascal Poizatet al. n.a., pp.n.a., 2006 Ouvrages hal-00343094v1
New Issues on Coordination and Adaptation Techniques. Proceedings of the Second International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'05). Steffen Becker,Carlos Canal,Juan Manuel Murillo,Pascal Poizat,Massimo Tivoli n.a., pp.n.a., 2005 Ouvrages hal-00343096v1

Chapitre d'ouvrage (6)

Adaptive Composition and QoS Optimization of Conversational Services through Graph Planning Encoding Min Chen,Pascal Poizat,Yuhong Yan Web Services Foundations, Springer Verlag, pp.423-449, 2014 Chapitre d'ouvrage hal-01221701v1
5 - Langages de description d'architecture Pascal Poizat,Thomas Vergnaud Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, Lavoisier, pp.n.a., 2006 Chapitre d'ouvrage hal-00342165v1
20 - Glossary Henri Habrias,Pascal Poizat,Marc Frappier Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006 Chapitre d'ouvrage hal-00342085v1
19 - A Comparison of the Specification Methods Marc Frappier,Henri Habrias,Pascal Poizat Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006 Chapitre d'ouvrage hal-00342080v1
12 - SDL Pascal Poizat Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006 Chapitre d'ouvrage hal-00342154v1
Concurrency and Data Types: a Specification Method. An Example with LOTOS Pascal Poizat,Christine Choppy,Jean-Claude Royer Fiadero, J. Recent Trends in Algebraic Development Techniques, Selected Papers of the 13th Workshop on Algebraic Development Techniques, WADT'98, 1589, pp.276-291, 1999, LNCS, ISBN 3-540-66246-4 Chapitre d'ouvrage hal-01135605v1

Autre publication scientifique (4)

A Formal Component Model with Explicit Symbolic Protocols and its Implementation in Java Sebastian Pavel,Jacques Noyé,Pascal Poizat,Jean-Claude Royer 2005 Autre publication scientifique hal-00342153v1
Symbolic Bounded Analysis for Component Behavioural Protocols Pascal Poizat,Jean-Claude Royer,Gwen Salaün 2005 Autre publication scientifique hal-00342159v1
Adaptation of Component Protocols using Synchronous Vectors Carlos Canal,Pascal Poizat,Gwen Salaün 2005 Autre publication scientifique hal-00342018v1
Formal Coordination of Communicating Entities described with Behavioural Interfaces Pascal Poizat,Gwen Salaün 2005 Autre publication scientifique hal-00342161v1

Rapport (1)

Behavioral Adaptation of Component Compositions based on Process Algebra Encodings Radu Mateescu,Pascal Poizat,Gwen Salaun [Research Report] RR-6362, INRIA. 2007, pp.25 Rapport (rapport de recherche) inria-00189246v2

Thèse (1)

KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes Pascal Poizat Informatique [cs]. Université de Nantes, 2000. Français. ⟨NNT : ⟩ Thèse tel-02963222v1

HDR (1)

Formal Model-Based Approaches for the Development of Composite Systems Pascal Poizat Software Engineering [cs.SE]. Université Paris Sud (Paris 11), 2011 HDR tel-02963225v1