Access content directly

Pascal Poizat

Professor at Université Paris Nanterre
50%
Open access
72
Documents
Current affiliations
  • 233
  • 541717
  • 116205

Presentation

<P align="justify">My research activities address <B>software engineering</B> 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 <B>behavioural aspects</B> 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.</P> <P align="justify">I am also particularly interested in the use and the integration of <B>formal methods</B> 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.</P> <P align="justify">Applicative domains and relation to standards are important in my work. This includes <B>business processes</B> and <B>service-based applications</B>, 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.</P>

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⟩
Journal articles hal-03170863v1
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⟩
Journal articles hal-01920273v1
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⟩
Journal articles 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
Journal articles hal-01198920v1
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⟩
Journal articles hal-00717252v1
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⟩
Journal articles hal-00340122v1
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⟩
Journal articles hal-00470280v1
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⟩
Journal articles hal-00342156v1

Software Adaptation

Carlos Canal , Juan Manuel Murillo , Pascal Poizat
L'Objet, 2006, 12, pp.9--31
Journal articles hal-00342014v1
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⟩
Journal articles hal-00444026v1
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
Conference papers hal-04392296v1
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
Conference papers hal-03725099v1
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⟩
Conference papers hal-03170814v1
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⟩
Conference papers hal-03289951v1
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⟩
Conference papers hal-02138366v1
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
Conference papers hal-01591665v1
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
Conference papers hal-01366641v1
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⟩
Conference papers hal-00806788v1

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⟩
Conference papers hal-01216430v1

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
Conference papers hal-00832920v1

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⟩
Conference papers hal-01216413v1

Modelling and Quering Context-Aware Personal Information Spaces

Rania Khefifi , Pascal Poizat , Fatiha Saïs
Database and Expert Systems Applications, Aug 2012, Vienna, Austria. pp.103-110
Conference papers hal-00832934v1
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⟩
Conference papers hal-01367304v1
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
Conference papers hal-00685393v1

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
Conference papers hal-00832944v1
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⟩
Conference papers hal-00870493v1
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⟩
Conference papers inria-00341598v1
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⟩
Conference papers hal-00340490v1

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
Conference papers hal-00340484v1

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⟩
Conference papers hal-00342086v1

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⟩
Conference papers hal-00342160v1

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⟩
Conference papers hal-00342148v1

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⟩
Conference papers hal-00340482v1

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

Steffen Becker , Carlos Canal , Nikolay Diakov , Juan Manuel Murillo , Pascal Poizat
ECOOP 2006 Workshop Reader, 2007, Nantes, France. pp.72--86, ⟨10.1007/978-3-540-71774-4_9⟩
Conference papers hal-00341998v1
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
Conference papers hal-00342068v1

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⟩
Conference papers hal-00342158v1
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
Conference papers hal-00342163v1
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⟩
Conference papers hal-00342162v1
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.)
Conference papers hal-00342016v1
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⟩
Conference papers hal-00342017v1
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⟩
Conference papers 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⟩
Conference papers 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⟩
Conference papers hal-00342015v1

Shell Scripting for Scientific Programming : the Python example

Pascal Poizat
International Workshop on Computing for Heavy Ion Physics, 2005, Nantes, France. pp.n.a
Conference papers hal-00342155v1

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
Conference papers hal-00457192v1

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
Conference papers hal-00458163v1

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
Conference papers hal-00458199v1

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
Conference papers hal-00458164v1

Une proposition de composants formels

Pascal Poizat , Jean-Claude Royer
Langages et Modèles à Objets, 2002, Montpellier, France. pp.231-245
Conference papers 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
Conference papers 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
Conference papers 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
Conference papers 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
Conference papers hal-01135580v1

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

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
Books 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
n.a., pp.n.a., 2007
Books hal-00343091v1

Special Issue on Coordination and Adaptation Techniques

Carlos Canal , Juan Manuel Murillo , Pascal Poizat
n.a., pp.n.a., 2006
Books 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
n.a., pp.n.a., 2006
Books 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
Books 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
Book sections hal-01221701v1

12 - SDL

Pascal Poizat
Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, pp.n.a., 2006
Book sections hal-00342154v1

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
Book sections 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
Book sections hal-00342080v1

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

Formal Model-Based Approaches for the Development of Composite Systems

Pascal Poizat
Software Engineering [cs.SE]. Université Paris Sud (Paris 11), 2011
Habilitation à diriger des recherches tel-02963225v1