Pascal Poizat

Professeur à l'Université Paris Nanterre
49 %
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

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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'Objet, 2006, 12, pp.9--31

Article dans une revue hal-00342014v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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 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-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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

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
Deposit thumbnail

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

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

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

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 "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-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

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 Poizat et 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 Poizat et 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

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

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

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

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
Deposit thumbnail

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