Pascal Poizat

Professeur à l'Université Paris Nanterre
50%
Libre accès
76
Documents
Affiliations actuelles
  • Laboratoire d'Informatique de Paris 6 (LIP6)
  • Modélisation et Vérification (MoVe)
  • Université Paris Nanterre (UPN)

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

Publications

Image document

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-03170863 v1
Image document

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-01920273 v1
Image document

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-01198918 v1

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-01198920 v1
Image document

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-00717252 v1
Image document

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-00340122 v1
Image document

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-00470280 v1
Image document

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-00342156 v1

Software Adaptation

Carlos Canal , Juan Manuel Murillo , Pascal Poizat
L'Objet, 2006, 12, pp.9--31
Article dans une revue hal-00342014 v1
Image document

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-00444026 v1
Image document

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-04777703 v1
Image document

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-04392296 v2
Image document

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), Oct 2024, Sacramento, United States
Communication dans un congrès hal-04684254 v1
Image document

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-03725099 v1
Image document

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-03170814 v1
Image document

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-03289951 v1
Image document

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-02138366 v1
Image document

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-01591665 v1
Image document

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-01366641 v1

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-00832920 v1

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 istex hal-01216430 v1

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-01216413 v1
Image document

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-00806788 v1
Image document

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-00685393 v1
Image document

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-01367296 v1
Image document

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-01367304 v1
Image document

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-01367307 v1

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-00832944 v1

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-00832934 v1

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-00340484 v1
Image document

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-00341598 v1
Image document

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-00340490 v1

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-00340482 v1
Image document

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-00870493 v1
Image document

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-00342068 v1
Image document

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-00342162 v1

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-00342148 v1

Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation

Steffen Becker , Carlos Canal , Nikolay Diakov , Juan Manuel Murillo , Pascal Poizat et 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-00341998 v1

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-00342160 v1

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-00342086 v1
Image document

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-00342017 v1
Image document

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-00342163 v1
Image document

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-00342016 v1

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 hal-00342158 v1

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-00342155 v1

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-00342172 v1
Image document

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-00342152 v1

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-00342015 v1

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-00457192 v1

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-00458199 v1

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-00458163 v1

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-00458164 v1

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-01135659 v1

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-01135653 v1

Integration and composition of static and dynamic "views": 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-01135631 v1

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-01135611 v1

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-01135580 v1

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 Poizat et al.
n.a., pp.n.a., 2007
Ouvrages hal-00343091 v1

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-00343092 v1

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-00343093 v1

Special Issue on Coordination and Adaptation Techniques

Carlos Canal , Juan Manuel Murillo , Pascal Poizat
n.a., pp.n.a., 2006
Ouvrages hal-00343095 v1

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 Poizat et al.
n.a., pp.n.a., 2006
Ouvrages hal-00343094 v1

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-00343096 v1

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-01221701 v1

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-00342165 v1

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-00342085 v1

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-00342080 v1

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-00342154 v1

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-01135605 v1
Image document

Formal Model-Based Approaches for the Development of Composite Systems

Pascal Poizat
Software Engineering [cs.SE]. Université Paris Sud (Paris 11), 2011
HDR tel-02963225 v1