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

DBLP GS ORCID

Works ahead!

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


  1. Damien Jaime, Joyce El Haddad, and Pascal Poizat. Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph. In: 21st International Conference on Mining Software Repositories (MSR) 2024. 
    • @inproceedings{PP_JEHP23,
  author = {Jaime, Damien and El Haddad, Joyce and Poizat, Pascal},
  booktitle = {21st International Conference on Mining Software Repositories (MSR)},
  title = {Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph},
  year = {2024},
  hal_id = {hal-04392296},
  pdf = {https://hal.science/hal-04392296/document},
  optdata = {https://zenodo.org/records/10291589},
  opttool = {https://github.com/Goblin-Ecosystem/goblinWeaver}
}

  2. Damien Jaime, Joyce El Haddad, and Pascal Poizat. A Preliminary Study of Rhythm and Speed in the Maven Ecosystem. In: 21st Belgium-Netherlands Software Evolution Workshop (BENEVOL) 2022. 
    • @inproceedings{PP_JEHP22,
  author = {Jaime, Damien and El Haddad, Joyce and Poizat, Pascal},
  booktitle = {21st Belgium-Netherlands Software Evolution Workshop (BENEVOL)},
  title = {A Preliminary Study of Rhythm and Speed in the Maven Ecosystem},
  series = {CEUR Workshop Proceedings},
  volume = {3245},
  year = {2022},
  hal_id = {hal-03725099},
  pdf = {https://hal.inria.fr/hal-03725099/document/},
  optdata = {https://github.com/DaJaime/BENEVOL2022}
}

  3. Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, and Laid Kahloul. A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations. Information Systems, 104 :101765, 2022. 
    • @article{PP_HBPQK21,
  author = {Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe and Kahloul, Laid},
  year = {2022},
  title = {A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations},
  journal = {Information Systems},
  pages = {101765},
  volume = {104},
  doi = {10.1016/j.is.2021.101765},
  hal_id = {hal-03170863},
  pdf = {https://hal.inria.fr/hal-03170863/document},
  opttool = {https://github.com/pascalpoizat/fbpmn}
}

  4. Rim Saddem-Yagoubi, Pascal Poizat, and Sara Houhou. Business Processes Meet Spatial Concerns: the sBPMN Verification Framework. In: 24th International Symposium on Formal Methods (FM), pp. 218–234, Springer, 2021. 
    • @inproceedings{PP_SYPH21,
  author = {Saddem-Yagoubi, Rim and Poizat, Pascal and Houhou, Sara},
  title = {Business Processes Meet Spatial Concerns: the sBPMN Verification Framework},
  booktitle = {24th International Symposium on Formal Methods (FM)},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume = {13047},
  pages = {218--234},
  year = {2021},
  doi = {10.1007/978-3-030-90870-6_12},
  hal_id = {hal-03289951},
  pdf = {https://hal.inria.fr/hal-03289951/document},
  opttool = {https://github.com/pascalpoizat/fbpmn}
}

  5. Sara Houhou, Souheib Baarir, Pascal Poizat, and Philippe Quéinnec. A Direct Formal Semantics for BPMN Time-Related Constructs. In: 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pp. 138–149, SCITEPRESS, 2021. 
    • @inproceedings{PP_HBPQ21,
  author = {Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe},
  title = {A Direct Formal Semantics for BPMN Time-Related Constructs},
  booktitle = {16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)},
  publisher = {SCITEPRESS},
  pages = {138--149},
  year = {2021},
  doi = {10.5220/0010462901380149},
  hal_id = {hal-03170814},
  pdf = {https://hal.inria.fr/hal-03170814/document},
  opttool = {https://github.com/pascalpoizat/fbpmn}
}


International

  1. Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, and Laid Kahloul. A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations. Information Systems, 104 :101765, 2022. 
    • @article{PP_HBPQK21,
  author = {Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe and Kahloul, Laid},
  year = {2022},
  title = {A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN Collaborations},
  journal = {Information Systems},
  pages = {101765},
  volume = {104},
  doi = {10.1016/j.is.2021.101765},
  hal_id = {hal-03170863},
  pdf = {https://hal.inria.fr/hal-03170863/document},
  opttool = {https://github.com/pascalpoizat/fbpmn}
}

  2. Ajay Krishna, Pascal Poizat, and Gwen Salaün. Checking Business Process Evolution. Science of Computer Programming, 170 :1–26, 2019. 
    • @article{PP_KPS19,
  author = {Krishna, Ajay and Poizat, Pascal and Salaün, Gwen},
  year = {2019},
  title = {Checking Business Process Evolution},
  journal = {Science of Computer Programming},
  pages = {1--26},
  volume = {170},
  number = {},
  doi = {10.1016/j.scico.2018.09.007},
  hal_id = {hal-01920273},
  pdf = {https://hal.inria.fr/hal-01920273/document}
}

  3. 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. 
    • @article{PP_GPSY16,
  author = {Güdemann, Matthias and Poizat, Pascal and Salaün, Gwen and Ye, Lina},
  year = {2016},
  title = {VerChor: A Framework for the Design and Verification of Choreographies},
  journal = {IEEE Transactions on Services Computing},
  pages = {647--660},
  volume = {9},
  number = {4},
  doi = {10.1109/TSC.2015.2413401},
  hal_id = {hal-01198918},
  pdf = {https://hal.inria.fr/hal-01198918/document}
}

  4. 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. 
    • @article{PP_MPS12,
  author = {Mateescu, Radu and Poizat, Pascal and Salaün, Gwen},
  year = {2012},
  title = {Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques},
  journal = {IEEE Transactions on Software Engineering},
  pages = {755--777},
  volume = {38},
  number = {4},
  doi = {10.1109/TSE.2011.62},
  hal_id = {hal-00717252},
  pdf = {https://hal.inria.fr/hal-00717252/document}
}

  5. 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. 
    • @article{PP_CPS08,
  author = {Canal, Carlos and Poizat, Pascal and Salaün, Gwen},
  year = {2008},
  title = {Model-based Adaptation of Behavioural Mismatching Components},
  journal = {IEEE Transactions on Software Engineering},
  pages = {546--563},
  volume = {34},
  number = {4},
  doi = {10.1109/TSE.2008.31},
  hal_id = {hal-00340122},
  pdf = {https://hal.inria.fr/hal-00340122/document}
}

  6. 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. 
    • @article{PP_APS07,
  author = {Attiogbé, Christian and Poizat, Pascal and Salaün, Gwen},
  year = {2007},
  title = {A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes},
  journal = {IEEE Transactions on Software Engineering},
  pages = {157--170},
  volume = {33},
  number = {3},
  doi = {10.1109/TSE.2007.21},
  hal_id = {hal-00470280},
  pdf = {https://hal.inria.fr/hal-00470280/document}
}

  7. 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. 
    • @article{PP_PR06,
  author = {Poizat, Pascal and Royer, Jean-Claude},
  year = {2006},
  title = {A Formal Architectural Description Language based on Symbolic Transition Systems and Modal Logic},
  journal = {Journal of Universal Computer Science (J.UCS)},
  pages = {1741--1782},
  volume = {12},
  number = {12},
  doi = {10.3217/jucs-012-12-1741},
  hal_id = {hal-00342156},
  pdf = {http://hal.inria.fr/hal-00342156/document}
}

  8. 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 
    • @article{PP_CMP06b,
  author = {Canal, Carlos and Murillo, Juan Manuel and Poizat, Pascal},
  year = {2006},
  title = {Software Adaptation},
  journal = {RTSI - L'Objet},
  pages = {9--31},
  volume = {12},
  number = {1},
  note = {Introduction to the special issue by the guest editors},
  hal_id = {hal-00342014},
  pdf = {../documents/publications/CMP06b.pdf}
}

  9. 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 
    • @article{PP_CPR01a,
  author = {Choppy, Christine and Poizat, Pascal and Royer, Jean-Claude},
  year = {2001},
  title = {The Korrigan Environment},
  journal = {Journal of Universal Computer Science (J.UCS)},
  pages = {19--36},
  volume = {7},
  number = {1},
  note = {Special Issue on Tools for System Design and Verication},
  doi = {10.3217/jucs-007-01-0019},
  hal_id = {hal-00444026},
  pdf = {http://hal.inria.fr/hal-00444026/document}
}

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. 
    • @article{PP_KPS14,
  author = {Khéfifi, Rania and Poizat, Pascal and Saïs, Fatiha},
  year = {2014},
  title = {Vers une utilisation automatique des Informations Personnelles pour la réalisation de e-procedures},
  journal = {Revue des Nouvelles Technologies de l'Information (RNTI)},
  pages = {75--89},
  volume = {RNTI-W-2},
  optnumber = {},
  optdoi = {},
  hal_id = {hal-01198920}
}


International

  1. Damien Jaime, Joyce El Haddad, and Pascal Poizat. Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph. In: 21st International Conference on Mining Software Repositories (MSR) 2024. 
    • @inproceedings{PP_JEHP23,
  author = {Jaime, Damien and El Haddad, Joyce and Poizat, Pascal},
  booktitle = {21st International Conference on Mining Software Repositories (MSR)},
  title = {Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph},
  year = {2024},
  hal_id = {hal-04392296},
  pdf = {https://hal.science/hal-04392296/document},
  optdata = {https://zenodo.org/records/10291589},
  opttool = {https://github.com/Goblin-Ecosystem/goblinWeaver}
}

  2. Damien Jaime, Joyce El Haddad, and Pascal Poizat. A Preliminary Study of Rhythm and Speed in the Maven Ecosystem. In: 21st Belgium-Netherlands Software Evolution Workshop (BENEVOL) 2022. 
    • @inproceedings{PP_JEHP22,
  author = {Jaime, Damien and El Haddad, Joyce and Poizat, Pascal},
  booktitle = {21st Belgium-Netherlands Software Evolution Workshop (BENEVOL)},
  title = {A Preliminary Study of Rhythm and Speed in the Maven Ecosystem},
  series = {CEUR Workshop Proceedings},
  volume = {3245},
  year = {2022},
  hal_id = {hal-03725099},
  pdf = {https://hal.inria.fr/hal-03725099/document/},
  optdata = {https://github.com/DaJaime/BENEVOL2022}
}

  3. Rim Saddem-Yagoubi, Pascal Poizat, and Sara Houhou. Business Processes Meet Spatial Concerns: the sBPMN Verification Framework. In: 24th International Symposium on Formal Methods (FM), pp. 218–234, Springer, 2021. 
    • @inproceedings{PP_SYPH21,
  author = {Saddem-Yagoubi, Rim and Poizat, Pascal and Houhou, Sara},
  title = {Business Processes Meet Spatial Concerns: the sBPMN Verification Framework},
  booktitle = {24th International Symposium on Formal Methods (FM)},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume = {13047},
  pages = {218--234},
  year = {2021},
  doi = {10.1007/978-3-030-90870-6_12},
  hal_id = {hal-03289951},
  pdf = {https://hal.inria.fr/hal-03289951/document},
  opttool = {https://github.com/pascalpoizat/fbpmn}
}

  4. Sara Houhou, Souheib Baarir, Pascal Poizat, and Philippe Quéinnec. A Direct Formal Semantics for BPMN Time-Related Constructs. In: 16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pp. 138–149, SCITEPRESS, 2021. 
    • @inproceedings{PP_HBPQ21,
  author = {Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe},
  title = {A Direct Formal Semantics for BPMN Time-Related Constructs},
  booktitle = {16th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)},
  publisher = {SCITEPRESS},
  pages = {138--149},
  year = {2021},
  doi = {10.5220/0010462901380149},
  hal_id = {hal-03170814},
  pdf = {https://hal.inria.fr/hal-03170814/document},
  opttool = {https://github.com/pascalpoizat/fbpmn}
}

  5. Sara Houhou, Souheib Baarir, Pascal Poizat, and Philippe Quéinnec. A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. In: 17th International Conference on Business Process Management (BPM), pp. 52–68, Springer, 2019.
    Best paper award 
    • @inproceedings{PP_HBPQ19,
  author = {Houhou, Sara and Baarir, Souheib and Poizat, Pascal and Quéinnec, Philippe},
  title = {A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations},
  booktitle = {17th International Conference on Business Process Management (BPM)},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume = {11675},
  pages = {52--68},
  year = {2019},
  note = {Best paper award},
  doi = {10.1007/978-3-030-26619-6_6},
  hal_id = {hal-02138366},
  pdf = {https://hal.inria.fr/hal-02138366/document},
  opttool = {https://github.com/pascalpoizat/fbpmn}
}

  6. 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. 
    • @inproceedings{PP_KPS17,
  author = {Krishna, Ajay and Poizat, Pascal and Salaün, Gwen},
  title = {VBPMN: Automated Verification of BPMN Processes},
  booktitle = {13th International Conference on integrated Formal Methods (iFM), tool papers},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume = {10510},
  pages = {323--331},
  year = {2017},
  doi = {10.1007/978-3-319-66845-1_21},
  hal_id = {hal-01591665},
  pdf = {https://hal.inria.fr/hal-01591665/document}
}

  7. 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. 
    • @inproceedings{PP_PSK16,
  author = {Poizat, Pascal and Salaün, Gwen and Krishna, Ajay},
  title = {Checking Business Process Evolution},
  booktitle = {13th International Conference on Formal Aspects of Component Software (FACS)},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  volume = {10231},
  pages = {36--53},
  year = {2016},
  doi = {10.1007/978-3-319-57666-4_4},
  hal_id = {hal-01366641},
  pdf = {https://hal.inria.fr/hal-01366641/document}
}

  8. 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. 
    • @inproceedings{PP_NPZ13,
  author = {Nguyen, Huu Nghia and Poizat, Pascal and Zaïdi, Fatiha},
  title = {Automatic Skeleton Generation for Data-Aware Service Choreographies},
  booktitle = {24th International Symposium on Software Reliability Engineering (ISSRE)},
  pages = {320--329},
  year = {2013},
  publisher = {IEEE},
  doi = {10.1109/ISSRE.2013.6698885},
  hal_id = {hal-01216413},
  pdf = {../documents/publications/NPZ13.pdf}
}

  9. 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. 
    • @inproceedings{PP_KPS13,
  author = {Khéfifi, Rania and Poizat, Pascal and Saïs, Fatiha},
  title = {Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space},
  booktitle = {11th International Conference on Service-Oriented Computing (ICSOC)},
  series = {Lecture Notes in Computer Science},
  volume = {8274},
  pages = {575--583},
  year = {2013},
  publisher = {Springer},
  doi = {10.1007/978-3-642-45005-1_48},
  hal_id = {hal-01216430},
  pdf = {../documents/publications/KPS13.pdf}
}

  10. 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. 
    • @inproceedings{PP_GPSD13,
  author = {Güdemann, Matthias and Poizat, Pascal and Salaün, Gwen and Dumont, Alexandre},
  title = {VerChor: A Framework for Verifying Choreographies},
  booktitle = {16th International Conference on Fundamental Approaches to Software Engineering (FASE)},
  series = {Lecture Notes in Computer Science},
  volume = {7793},
  pages = {226--230},
  year = {2013},
  publisher = {Springer},
  doi = {10.1007/978-3-642-37057-1_16},
  hal_id = {hal-00806788},
  pdf = {https://hal.inria.fr/hal-00806788/document}
}

  11. 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. 
    • @inproceedings{PP_NPZ12c,
  author = {Nguyen, Huu Nghia and Poizat, Pascal and Zaïdi, Fatiha},
  title = {Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing},
  booktitle = {9th International Symposium on High-Assurance Systems Engineering (HASE)},
  pages = {106--113},
  year = {2012},
  publisher = {IEEE Comp. Soc.},
  doi = {10.1109/HASE.2012.15},
  hal_id = {hal-01367296},
  pdf = {https://hal.inria.fr/hal-01367296/document}
}

  12. 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. 
    • @inproceedings{PP_NPZ12b,
  author = {Nguyen, Huu Nghia and Poizat, Pascal and Zaïdi, Fatiha},
  title = {A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies},
  booktitle = {10th International Conference on Service-Oriented Computing (ICSOC)},
  series = {Lecture Notes in Computer Science},
  volume = {7636},
  pages = {525--532},
  year = {2012},
  doi = {10.1007/978-3-642-34321-6_36},
  hal_id = {hal-01367304},
  pdf = {https://hal.inria.fr/hal-01367304/document}
}

  13. 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. 
    • @inproceedings{PP_PS12,
  author = {Poizat, Pascal and Salaün, Gwen},
  title = {Checking the Realizability of BPMN 2.0 Choreographies},
  booktitle = {27th ACM Symposium on Applied Computing (SAC)},
  pages = {1927--1934},
  year = {2012},
  publisher = {ACM},
  doi = {10.1145/2245276.2232095},
  hal_id = {hal-00685393},
  pdf = {https://hal.inria.fr/hal-00685393/document}
}

  14. 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. 
    • @inproceedings{PP_NPZ12a,
  author = {Nguyen, Huu Nghia and Poizat, Pascal and Zaïdi, Fatiha},
  title = {Passive Conformance Testing of Service Choreographies},
  booktitle = {27th ACM Symposium on Applied Computing (SAC)},
  pages = {1528--1535},
  year = {2012},
  publisher = {ACM},
  doi = {10.1145/2245276.2232020},
  hal_id = {hal-01367307},
  pdf = {https://hal.inria.fr/hal-01367307/document}
}

  15. 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. 
    • @inproceedings{PP_YPZ10b,
  author = {Yan, Yuhong and Poizat, Pascal and Zhao, Ludeng},
  title = ,
  booktitle = {Proceedings of the International Conference on Web Services (ICWS 10), work-in-progress papers},
  pages = {624--627},
  year = {2010},
  publisher = {IEEE Computer Society}
}

  16. 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. 
    • @inproceedings{PP_BPZ11,
  author = {Bentakouk, Lina and Poizat, Pascal and Zaïdi, Fatiha},
  title = {Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver},
  booktitle = {International Conference on Tests & Proofs (TAP)},
  pages = {33--50},
  year = {2010},
  volume = {6706},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer}
}

  17. 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. 
    • @inproceedings{PP_PY10,
  author = {Poizat, Pascal and Yan, Yuhong},
  title = ,
  booktitle = {Proceedings of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 10)},
  pages = {35--50},
  year = {2010},
  volume = {6416},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer}
}

  18. 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. 
    • @inproceedings{PP_YPZ10c,
  author = {Yan, Yuhong and Poizat, Pascal and Zhao, Ludeng},
  title = ,
  booktitle = {Proceedings of the International Conference on Service Oriented Computing (ICSOC 10)},
  pages = {152--166},
  year = {2010},
  volume = {6470},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer}
}

  19. 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. 
    • @inproceedings{PP_YPZ10a,
  author = {Yan, Yuhong and Poizat, Pascal and Zhao, Ludeng},
  title = ,
  booktitle = {Selected papers from the 8th ACIS conference on Software Engineering Research, Management & Applications (SERA 10)},
  pages = {17--36},
  year = {2010},
  volume = {296},
  series = {Studies in Computational Intelligence},
  publisher = {Springer}
}

  20. 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. 
    • @inproceedings{PP_BPZ09,
  author = {Bentakouk, Lina and Poizat, Pascal and Za{\"{\i}}di, Fatiha},
  title = ,
  booktitle = {Proceedings of the 21th IFIP International Conference on Testing of Communicating Systems (TESTCOM 09)},
  pages = {16--32},
  year = {2009},
  volume = {5826},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  pdf = {../documents/publications/RR-BPZ09.pdf}
}

  21. 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. 
    • @inproceedings{PP_MPS08,
  author = {Mateescu, Radu and Poizat, Pascal and Sala{\"u}n, Gwen},
  title = ,
  booktitle = {Proceedings of the International Conference on Service Oriented Computing (ICSOC 08)},
  pages = {84--99},
  year = {2008},
  publisher = {Springer},
  volume = {5364},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-540-89652-4_10},
  ibiscequipes = {},
  ibisccountry = {},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  ibiscdomain = {}
}

  22. 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. 
    • @inproceedings{PP_BP08,
  author = {Beauche, Sandrine and Poizat, Pascal},
  title = ,
  booktitle = {Proceedings of the International Conference on Service Oriented Computing (ICSOC 08)},
  pages = {530--537},
  year = {2008},
  publisher = {Springer},
  volume = {5364},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/978-3-540-89652-4_42},
  ibiscequipes = {},
  ibisccountry = {},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  ibiscdomain = {},
  pdf = {../documents/publications/RR-BP08.pdf}
}

  23. 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. 
    • @inproceedings{PP_MPBM08,
  author = {Melliti, Tarek and Poizat, Pascal and {Ben Mokhtar}, Sonia},
  title = ,
  booktitle = ,
  year = {2008},
  pages = {146--162},
  volume = {4961},
  publisher = {Springer},
  series = ,
  doi = {10.1007/978-3-540-78743-3_12},
  pdf = {../documents/publications/RR-MPBM07.pdf},
  ibiscequipes = {},
  ibisccountry = {},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  ibiscdomain = {}
}

  24. 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. 
    • @inproceedings{PP_CSCPP08,
  author = {Cubo, Javier and Sala{\"u}n, Gwen and Canal, Carlos and Pimentel, Ernesto and Poizat, Pascal},
  year = {2008},
  title = {A Model-Based Approach to the Verification and Adaptation of WF/.NET Components},
  booktitle = {Proceedings of the Workshop on Formal Aspects of Component Software (FACS 07)},
  pages = {39--55},
  volume = {215},
  series = {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier},
  doi = {doi:10.1016/j.entcs.2008.06.020},
  pdf = {../documents/publications/CSCPP08.pdf},
  ibiscequipes = {},
  ibisccountry = {},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  ibiscdomain = {}
}

  25. 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. 
    • @inproceedings{PP_HP07,
  author = {Haddad, Serge and Poizat, Pascal},
  ibiscequipes = {},
  year = {2007},
  ibisccountry = {},
  title = {Transactional Reduction of Component Compositions},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  booktitle = {Proceedings of the IFIP International Conference on Formal Methods for Networked and Distributed Systems (FORTE 07)},
  ibiscdomain = {},
  pages = {341--357},
  volume = {4574},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  doi = {10.1007/978-3-540-73196-2_22},
  pdf = {../documents/publications/HP07.pdf}
}

  26. 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. 
    • @inproceedings{PP_MPS07,
  author = {Mateescu, Radu and Poizat, Pascal and Sala{\"u}n, Gwen},
  ibiscequipes = {},
  year = {2007},
  ibisccountry = {},
  title = {Behavioral Adaptation of Component Compositions based on Process Algebra Encodings},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  booktitle = {Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07)},
  ibiscdomain = {},
  pages = {385--388},
  organization = {ACM,IEEE},
  doi = {10.1145/1321631.1321690},
  pdf = {../documents/publications/RR-MPS07.pdf}
}

  27. 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. 
    • @inproceedings{PP_CSCPP07,
  author = {Cubo, Javier and Sala{\"u}n, Gwen and Canal, Carlos and Pimentel, Ernesto and Poizat, Pascal},
  ibiscequipes = {},
  year = {2007},
  ibisccountry = {},
  title = {Relating Model-Based Adaptation and Implementation Platforms: A Case Study with WF/.NET 3.0},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  booktitle = {Proceedings of the 12th International Workshop on Component-Oriented Programming (WCOP 07)},
  ibiscdomain = {},
  pages = {155--170},
  pdf = {../documents/publications/CSCPP07.pdf},
  volume = {182},
  series = {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier}
}

  28. 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. 
    • @inproceedings{PP_PS07,
  author = {Poizat, Pascal and Sala{\"u}n, Gwen},
  ibiscequipes = {},
  year = {2007},
  ibisccountry = {},
  title = {Adaptation of Open Component-based Systems},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  booktitle = {Proceedings of the IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 07)},
  ibiscdomain = {},
  pages = {141--156},
  volume = {4468},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  doi = {10.1007/978-3-540-72952-5_9},
  pdf = {../documents/publications/PS07.pdf}
}

  29. 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. 
    • @inproceedings{PP_PST07,
  author = {Poizat, Pascal and Sala{\"u}n, Gwen and Tivoli, Massimo},
  ibiscequipes = {},
  year = {2007},
  ibisccountry = {},
  title = {An Adaptation-based Approach to Incrementally Build Component Systems},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  booktitle = {Proceedings of the International Workshop on Formal Aspects of Component Software (FACS 06)},
  ibiscdomain = {},
  pages = {155--170},
  volume = {182},
  series = {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier},
  doi = {10.1016/j.entcs.2006.09.037},
  pdf = {../documents/publications/PST07.pdf}
}

  30. 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. 
    • @inproceedings{PP_PRS06,
  author = {Poizat, Pascal and Royer, Jean-Claude and Sala\"un, Gwen},
  ibiscequipes = {},
  year = {2006},
  ibisccountry = {Italy},
  title = {Bounded Analysis and Decomposition for Behavioural Descriptions of Components},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  booktitle = {Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)},
  ibiscdomain = {},
  pages = {33--47},
  volume = {4037},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/11768869_5},
  pdf = {../documents/publications/PRS06.pdf}
}

  31. 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. 
    • @inproceedings{PP_CPS06b,
  author = {Canal, Carlos and Poizat, Pascal and Sala\"un, Gwen},
  ibiscequipes = {},
  year = {2006},
  ibisccountry = {Italy},
  title = {Synchronizing Behavioural Mismatch in Software Composition},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  booktitle = {Proceedings of the 8th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)},
  ibiscdomain = {},
  pages = {63--77},
  volume = {4037},
  series = {Lecture Notes in Computer Science},
  doi = {10.1007/11768869_7},
  pdf = {../documents/publications/CPS06b.pdf}
}

  32. 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. 
    • @inproceedings{PP_PST06,
  author = {Poizat, Pascal and Sala\"un, Gwen and Tivoli, Massimo},
  ibiscequipes = {},
  year = {2006},
  ibisccountry = {France},
  title = {On Dynamic Reconfiguration of Behavioural Adaptation},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  booktitle = {Proceedings of the third International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT 06)},
  ibiscdomain = {},
  pages = {61--69},
  pdf = {../documents/publications/PST06.pdf}
}

  33. 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. 
    • @inproceedings{PP_PNPR05,
  author = {Pavel, Sebastian and Noy\'{e}, Jacques and Poizat, Pascal and Royer, Jean-Claude},
  ibiscequipes = {},
  year = {2005},
  ibisccountry = {},
  title = {Java Implementation of a Component Model with Explicit Symbolic Protocols},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  booktitle = {Software Composition (SC)},
  ibiscdomain = {},
  pages = {115--124},
  volume = {3628},
  series = {Lecture Notes in Computer Science},
  pdf = {../documents/publications/PNPR05.pdf},
  doi = {10.1007/11550679_9}
}

  34. 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. 
    • @inproceedings{PP_SP05,
  author = {Sala{\"u}n, Gwen and Poizat, Pascal},
  ibiscequipes = {},
  year = {2005},
  ibisccountry = {},
  title = {Interacting Extended State Diagrams},
  ibiscpp_kind = {intconf},
  ibisclang = {english},
  booktitle = {Proceedings of the International Workshop on Semantic Foundations of Engineering Design Languages (SFEDL 04)},
  ibiscdomain = {},
  pages = {49--57},
  volume = {115},
  series = {Electronic Notes in Theoretical Computer Science},
  publisher = {Elsevier},
  doi = {10.1016/j.entcs.2004.09.028},
  pdf = {../documents/publications/SP05.pdf}
}

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. 
    • @inproceedings{PP_CPS06a,
  author = {Canal, Carlos and Poizat, Pascal and Sala\"un, Gwen},
  ibiscequipes = {},
  year = {2006},
  ibisccountry = {France},
  title = {Adaptation de composants logiciels. Une approche automatis\'{e}e bas\'{e}e sur des expressions r\'{e}guli\`{e}res de vecteurs de synchronisation},
  ibiscpp_kind = {natconf},
  ibisclang = {francais},
  booktitle = {Actes de la Premi\`{e}re Conf\'{e}rence Francophone sur les Architectures Logicielles (CAL)},
  ibiscdomain = {},
  pages = {}
}


  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. 
    • @inbook{PP_CPY14,
  author = {Chen, Min and Poizat, Pascal and Yan, Yuhong},
  year = {2014},
  booktitle = {Web Services Foundations},
  chapter = {17},
  title = {Adaptive Composition and QoS Optimization of Conversational Services through Graph Planning Encoding},
  publisher = {Springer},
  doi = {10.1007/978-1-4614-7518-7_17},
  hal_id = {hal-01221701}
}

  2. Pascal Poizat and Thomas Vergnaud. Architecture Description Languages. In: Distributed Systems, volume 2: Models and Analysis, Wiley, 2011. 
    • @inbook{PP_PV11,
  author = {Poizat, Pascal and Vergnaud, Thomas},
  year = {2011},
  booktitle = {Distributed Systems, volume 2: Models and Analysis},
  chapter = {5},
  title = {Architecture Description Languages},
  publisher = {Wiley},
  optlink = {http://www.iste.co.uk/index.php?f=a&ACTION=View&id=416}
}

  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 
    • @inbook{PP_Poi06,
  author = {Poizat, Pascal},
  year = {2006},
  booktitle = {Software Specification Methods: an Overview Using a Case Study},
  chapter = {12},
  title = {SDL},
  publisher = {ISTE, Hermes Science Publishing},
  note = {reedition of the chapter writen in 2000},
  hal_id = {hal-00342154},
  optlink = {http://iste.co.uk/index.php?f=a&ACTION=View&id=100}
}

  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. 
    • @inbook{PP_FHP06,
  author = {Frappier, Marc and Habrias, Henri and Poizat, Pascal},
  year = {2006},
  booktitle = {Software Specification Methods: an Overview Using a Case Study},
  chapter = {19},
  title = {A Comparison of the Specification Methods},
  publisher = {ISTE, Hermes Science Publishing},
  hal_id = {hal-00342080},
  optlink = {http://iste.co.uk/index.php?f=a&ACTION=View&id=100}
}

  5. Henri Habrias, Pascal Poizat, and Marc Frappier. Glossary. In: Software Specification Methods: an Overview Using a Case Study, ISTE, Hermes Science Publishing, 2006. 
    • @inbook{PP_HPF06,
  author = {Habrias, Henri and Poizat, Pascal and Frappier, Marc},
  year = {2006},
  booktitle = {Software Specification Methods: an Overview Using a Case Study},
  chapter = {20},
  title = {Glossary},
  publisher = {ISTE, Hermes Science Publishing},
  hal_id = {hal-00342085},
  optlink = {http://iste.co.uk/index.php?f=a&ACTION=View&id=100}
}

  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. 
    • @inbook{PP_PV06,
  author = {Poizat, Pascal and Vergnaud, Thomas},
  year = {2006},
  booktitle = {Méthodes formelles pour les systèmes répartis et coopératifs},
  chapter = {5},
  title = {Langages de description d'architecture},
  publisher = {Hermes, Lavoisier},
  hal_id = {hal-00342165},
  optlink = {http://eol.lavoisier.fr/fr/ebook/9782746214477/methodes-formelles-pour-les-systemes-repartis-et-cooperatifs-traite-ic2-serie-informatique-et-systemes-d-information}
}

  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 
    • @inbook{PP_Poi00,
  author = {Poizat, Pascal},
  year = {2000},
  booktitle = {Software Specification Methods. An Overview Using a Case Study},
  chapter = {9},
  title = {SDL : a Language based on Extended Finite State Machines with Abstract Data Types},
  publisher = {Springer},
  series = {Formal Approaches to Computing and Information Technology (FACIT)},
  note = {out of print},
  doi = {10.1007/978-1-4471-0701-9_9}
}


  1. Pascal Poizat. Formal Model-Based Approaches for the Development of Composite Systems, Habilitation thesis, Université Paris Sud, November 2011. 
    • @phdthesis{PP_HDR,
  author = {Poizat, Pascal},
  title = {Formal Model-Based Approaches for the Development of Composite Systems},
  school = {Université Paris Sud},
  year = {2011},
  type = {Habilitation thesis},
  month = nov,
  hal_id = {tel-02963225},
  pdf = {https://tel.archives-ouvertes.fr/tel-02963225/document},
  month_numeric = {11}
}

  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. 
    • @phdthesis{PP_PHD,
  author = {Poizat, Pascal},
  title = {Korrigan : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes},
  school = {Université de Nantes},
  year = {2000},
  type = {PhD thesis (in French)},
  month = dec,
  hal_id = {tel-02963222},
  pdf = {https://tel.archives-ouvertes.fr/tel-02963222/document},
  month_numeric = {12}
}

Committees

last 10 years

2024
BPM
2023
BPM ASYDE CoMinDs FM-BPM PNSE AFADL
2022
BPM ASYDE CoMinDs PNSE AFADL
2021
BPM ICSOC ASYDE EduSymp ModDiT PNSE AFADL CIEL
2020
BPM ICSOC ASYDE FOCLASA ModComp PNSE AFADL CIEL
2019
ICSOC PetriNets ASYDE FOCLASA PNSE AFADL CIEL
2018
ICSOC PetriNets FOCLASA PNSE AFADL CIEL
2017
ICSOC PetriNets WETICE FOCLASA ICSE-Posters ICSOC-PhD-Symposium MoSEBIn ModComp VBSP AFADL CIEL
2016
ICSOC PetriNets WETICE IWAISE ModComp VeryComp AFADL CAL CIEL
2015
ICSOC MRI-BP ModComp SCART WAS4FI AFADL CAL CIEL

pascal.poizat

Professor
Université Paris Nanterre
LIP6 (Sorbonne Université, CNRS)

firstname.lastname@lip6.fr
firstname.lastname@parisnanterre.fr

pascalpoizat
pascalpoizat

pages made with Jekyll,