Overview

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 are important in my work. This includes service-based applications and business processes, e.g., with the semi-automatic adaptation of services to remove mismatches between them, the automatic generation of service orchestrations from end-user high-level requirements, the testing of service orchestrations and service choreographies, and the verification and the analysis of the evolution of business processes.

Selected Talks

Publications

Works ahead!

This page is still experimental: some conference references and/or pdf may be missing.


  1. Ajay Krishna, Pascal Poizat, and Gwen Salaün. Checking Business Process Evolution. Science of Computer Programming, 2018.
    In Press, Accepted Manuscript

  2. Ajay Krishna, Pascal Poizat, and Gwen Salaün. VBPMN: Automated Verification of BPMN Processes. In: 13th International Conference on integrated Formal Methods (iFM), tool papers, pp. 323–331, Springer, 2017.

  3. Pascal Poizat, Gwen Salaün, and Ajay Krishna. Checking Business Process Evolution. In: 13th International Conference on Formal Aspects of Component Software (FACS), pp. 36–53, Springer, 2016.

  4. Matthias Güdemann, Pascal Poizat, Gwen Salaün, and Lina Ye. VerChor: A Framework for the Design and Verification of Choreographies. IEEE Transactions on Services Computing, 9(4) :647–660, 2016.

  5. Min Chen, Pascal Poizat, and Yuhong Yan. Adaptive Composition and QoS Optimization of Conversational Services through Graph Planning Encoding. In: Web Services Foundations, Springer, 2014.

  6. Rania Khéfifi, Pascal Poizat, and Fatiha Saïs. Vers une utilisation automatique des Informations Personnelles pour la réalisation de e-procedures. Revue des Nouvelles Technologies de l’Information (RNTI), RNTI-W-2 :75–89, 2014.


International

  1. Ajay Krishna, Pascal Poizat, and Gwen Salaün. Checking Business Process Evolution. Science of Computer Programming, 2018.
    In Press, Accepted Manuscript

  2. Matthias Güdemann, Pascal Poizat, Gwen Salaün, and Lina Ye. VerChor: A Framework for the Design and Verification of Choreographies. IEEE Transactions on Services Computing, 9(4) :647–660, 2016.

  3. Radu Mateescu, Pascal Poizat, and Gwen Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. IEEE Transactions on Software Engineering, 38(4) :755–777, 2012.

  4. Carlos Canal, Pascal Poizat, and Gwen Salaün. Model-based Adaptation of Behavioural Mismatching Components. IEEE Transactions on Software Engineering, 34(4) :546–563, 2008.

  5. Christian Attiogbé, Pascal Poizat, and Gwen Salaün. A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Transactions on Software Engineering, 33(3) :157–170, 2007.

  6. Pascal Poizat and Jean-Claude Royer. A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic. Journal of Universal Computer Science (J.UCS), 12(12) :1741–1782, 2006.

  7. Carlos Canal, Juan Manuel Murillo, and Pascal Poizat. Software Adaptation. RTSI - L’Objet, 12(1) :9–31, 2006.
    Introduction to the special issue by the guest editors

  8. Christine Choppy, Pascal Poizat, and Jean-Claude Royer. The Korrigan Environment. Journal of Universal Computer Science (J.UCS), 7(1) :19–36, 2001.
    Special Issue on Tools for System Design and Verication

National

  1. Rania Khéfifi, Pascal Poizat, and Fatiha Saïs. Vers une utilisation automatique des Informations Personnelles pour la réalisation de e-procedures. Revue des Nouvelles Technologies de l’Information (RNTI), RNTI-W-2 :75–89, 2014.


International

  1. Ajay Krishna, Pascal Poizat, and Gwen Salaün. VBPMN: Automated Verification of BPMN Processes. In: 13th International Conference on integrated Formal Methods (iFM), tool papers, pp. 323–331, Springer, 2017.

  2. Pascal Poizat, Gwen Salaün, and Ajay Krishna. Checking Business Process Evolution. In: 13th International Conference on Formal Aspects of Component Software (FACS), pp. 36–53, Springer, 2016.

  3. Huu Nghia Nguyen, Pascal Poizat, and Fatiha Zaïdi. Automatic Skeleton Generation for Data-Aware Service Choreographies. In: 24th International Symposium on Software Reliability Engineering (ISSRE), pp. 320–329, IEEE, 2013.

  4. Rania Khéfifi, Pascal Poizat, and Fatiha Saïs. Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space. In: 11th International Conference on Service-Oriented Computing (ICSOC), pp. 575–583, Springer, 2013.

  5. Matthias Güdemann, Pascal Poizat, Gwen Salaün, and Alexandre Dumont. VerChor: A Framework for Verifying Choreographies. In: 16th International Conference on Fundamental Approaches to Software Engineering (FASE), pp. 226–230, Springer, 2013.

  6. Huu Nghia Nguyen, Pascal Poizat, and Fatiha Zaïdi. Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing. In: 9th International Symposium on High-Assurance Systems Engineering (HASE), pp. 106–113, IEEE Comp. Soc., 2012.

  7. Huu Nghia Nguyen, Pascal Poizat, and Fatiha Zaïdi. A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. In: 10th International Conference on Service-Oriented Computing (ICSOC), pp. 525–532 2012.

  8. Pascal Poizat and Gwen Salaün. Checking the Realizability of BPMN 2.0 Choreographies. In: 27th ACM Symposium on Applied Computing (SAC), pp. 1927–1934, ACM, 2012.

  9. Huu Nghia Nguyen, Pascal Poizat, and Fatiha Zaïdi. Passive Conformance Testing of Service Choreographies. In: 27th ACM Symposium on Applied Computing (SAC), pp. 1528–1535, ACM, 2012.

  10. Lina Bentakouk, Pascal Poizat, and Fatiha Zaïdi. Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. In: International Conference on Tests & Proofs (TAP), pp. 33–50, Springer, 2010.

  11. Pascal Poizat and Yuhong Yan. Adaptive Composition of Conversational Services through Graph Planning Encoding. In: Proceedings of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 10), pp. 35–50, Springer, 2010.

  12. Yuhong Yan, Pascal Poizat, and Ludeng Zhao. Repairs vs. Recomposition for Broken Service Compositions. In: Proceedings of the International Conference on Service Oriented Computing (ICSOC 10), pp. 152–166, Springer, 2010.

  13. Yuhong Yan, Pascal Poizat, and Ludeng Zhao. Self-Adaptive Service Composition through Graphplan Repair. In: Proceedings of the International Conference on Web Services (ICWS 10), work-in-progress papers, pp. 624–627, IEEE Computer Society, 2010.

  14. Yuhong Yan, Pascal Poizat, and Ludeng Zhao. Repairing Service Compositions in a Changing World. In: Selected papers from the 8th ACIS conference on Software Engineering Research, Management & Applications (SERA 10), pp. 17–36, Springer, 2010.

  15. Lina Bentakouk, Pascal Poizat, and Zaı̈di Fatiha. A Formal Framework for Service Orchestration Testing based on Symbolic Transition Systems. In: Proceedings of the 21th IFIP International Conference on Testing of Communicating Systems (TESTCOM 09), pp. 16–32, Springer, 2009.

  16. Radu Mateescu, Pascal Poizat, and Gwen Salaün. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. In: Proceedings of the International Conference on Service Oriented Computing (ICSOC 08), pp. 84–99, Springer, 2008.

  17. Sandrine Beauche and Pascal Poizat. Automated Service Composition with Adaptive Planning. In: Proceedings of the International Conference on Service Oriented Computing (ICSOC 08), pp. 530–537, Springer, 2008.

  18. Tarek Melliti, Pascal Poizat, and Sonia Ben Mokhtar. Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. In: Proceedings of the International Conference on Fundamental Approaches to Software Engineering (FASE 08), pp. 146–162, Springer, 2008.

  19. Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, and Pascal Poizat. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. In: Proceedings of the Workshop on Formal Aspects of Component Software (FACS 07), pp. 39–55, Elsevier, 2008.

  20. Radu Mateescu, Pascal Poizat, and Gwen Salaün. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings. In: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), pp. 385–388, ACM,IEEE, 2007.

  21. Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, and Pascal Poizat. Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0. In: Proceedings of the 12th International Workshop on Component-Oriented Programming (WCOP 07), pp. 155–170, Elsevier, 2007.

  22. Serge Haddad and Pascal Poizat. Transactional Reduction of Component Compositions. In: Proceedings of the IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE 07), pp. 341–357, Springer, 2007.

  23. Pascal Poizat and Gwen Salaün. Adaptation of Open Component-based Systems. In: Proceedings of the IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 07), pp. 141–156, Springer, 2007.

  24. Pascal Poizat, Gwen Salaün, and Massimo Tivoli. An Adaptation-based Approach to Incrementally Build Component Systems. In: Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 06), pp. 155–170, Elsevier, 2007.

  25. Pascal Poizat, Jean-Claude Royer, and Gwen Salaün. Bounded Analysis and Decomposition for Behavioural Descriptions of Components. In: Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pp. 33–47 2006.

  26. Carlos Canal, Pascal Poizat, and Gwen Salaün. Synchronizing Behavioural Mismatch in Software Composition. In: Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pp. 63–77 2006.

  27. Pascal Poizat, Gwen Salaün, and Massimo Tivoli. On Dynamic Reconfiguration of Behavioural Adaptation. In: Proceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06), pp. 61–69 2006.

  28. Sebastian Pavel, Jacques Noyé, Pascal Poizat, and Jean-Claude Royer. Java Implementation of a Component Model with Explicit Symbolic Protocols. In: Software Composition (SC), pp. 115–124 2005.

  29. Gwen Salaün and Pascal Poizat. Interacting Extended State Diagrams. In: Proceedings of the International Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 04), pp. 49–57, Elsevier, 2005.

National

  1. Carlos Canal, Pascal Poizat, and Gwen Salaün. Adaptation de composants logiciels. Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. In: Actes de la Première Conférence Francophone sur les Architectures Logicielles (CAL) 2006.


  1. Min Chen, Pascal Poizat, and Yuhong Yan. Adaptive Composition and QoS Optimization of Conversational Services through Graph Planning Encoding. In: Web Services Foundations, Springer, 2014.

  2. Pascal Poizat and Thomas Vergnaud. Architecture Description Languages. In: Distributed Systems, volume 2: Models and Analysis, Wiley, 2011.

  3. Pascal Poizat. SDL. In: Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, 2006.
    reedition of the chapter writen in 2000

  4. Marc Frappier, Henri Habrias, and Pascal Poizat. A Comparison of the Specification Methods. In: Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, 2006.

  5. Henri Habrias, Pascal Poizat, and Marc Frappier. Glossary. In: Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, 2006.

  6. Pascal Poizat and Thomas Vergnaud. Langages de description d’architecture. In: Méthodes formelles pour les systèmes répartis et coopératifs, Hermes, Lavoisier, 2006.

  7. Pascal Poizat. SDL : a Language based on Extended Finite State Machines with Abstract Data Types. In: Software Specification Methods. An Overview Using a Case Study, Springer, 2000.
    out of print


  1. Pascal Poizat. Formal Model-Based Approaches for the Development of Composite Systems, Habilitation thesis, Université Paris Sud, November 2011.

  2. Pascal Poizat. Korrigan : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes, PhD thesis (in French), Université de Nantes, December 2000.