default search action
Pascal Poizat
Person information
- affiliation: Paris West University Nanterre La Défense, LIP6
- affiliation (PhD 2000): University of Nantes, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]Farhad Arbab, Marco Autili, Federico Ciccozzi, Pascal Poizat, Massimo Tivoli:
Summary of the 5th International Workshop on Automated andverifiable Software sYstem DEvelopment (ASYDE)co-located with the 38th IEEE/ACM ASE 2023. ACM SIGSOFT Softw. Eng. Notes 49(1): 24-26 (2024) - [c51]Damien Jaime, Joyce El Haddad, Pascal Poizat:
Goblin: A Framework for Enriching and Querying the Maven Central Dependency Graph. MSR 2024: 37-41 - 2022
- [j14]Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec, Laïd Kahloul:
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations. Inf. Syst. 104: 101765 (2022) - [c50]Damien Jaime, Joyce El Haddad, Pascal Poizat:
A preliminary study of rhythm and speed in the maven ecosystem. BENEVOL 2022 - 2021
- [c49]Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec:
A Direct Formal Semantics for BPMN Time-related Constructs. ENASE 2021: 138-149 - [c48]Rim Saddem-Yagoubi, Pascal Poizat, Sara Houhou:
Business Processes Meet Spatial Concerns: The sBPMN Verification Framework. FM 2021: 218-234
2010 – 2019
- 2019
- [j13]Ajay Krishna, Pascal Poizat, Gwen Salaün:
Checking business process evolution. Sci. Comput. Program. 170: 1-26 (2019) - [c47]Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec:
A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. BPM 2019: 52-68 - 2017
- [c46]Ajay Krishna, Pascal Poizat, Gwen Salaün:
VBPMN: Automated Verification of BPMN Processes (Tool Paper). IFM 2017: 323-331 - 2016
- [j12]Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye:
VerChor: A Framework for the Design and Verification of Choreographies. IEEE Trans. Serv. Comput. 9(4): 647-660 (2016) - [c45]Pascal Poizat, Gwen Salaün, Ajay Krishna:
Checking Business Process Evolution. FACS 2016: 36-53 - 2015
- [j11]Noël Plouzeau, Pascal Poizat:
Introduction. Tech. Sci. Informatiques 34(6): 635-636 (2015) - 2014
- [p1]Min Chen, Pascal Poizat, Yuhong Yan:
Adaptive Composition and QoS Optimization of Conversational Services Through Graph Planning Encoding. Web Services Foundations 2014: 423-449 - 2013
- [c44]Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont:
VerChor: A Framework for Verifying Choreographies. FASE 2013: 226-230 - [c43]Rania Khéfifi, Pascal Poizat, Fatiha Saïs:
Automatic Composition of Form-Based Services in a Context-Aware Personal Information Space. ICSOC 2013: 575-583 - [c42]Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi:
Automatic skeleton generation for data-aware service choreographies. ISSRE 2013: 320-329 - 2012
- [j10]Radu Mateescu, Pascal Poizat, Gwen Salaün:
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. IEEE Trans. Software Eng. 38(4): 755-777 (2012) - [c41]Rania Khéfifi, Pascal Poizat, Fatiha Saïs:
Modeling and Querying Context-Aware Personal Information Spaces. DEXA (2) 2012: 103-110 - [c40]Rania Khéfifi, Pascal Poizat, Fatiha Saïs:
Modélisation et interrogation d'espaces d'informations personnelles sensibles au contexte. EGC 2012: 573-574 - [c39]Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi:
Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing. HASE 2012: 106-113 - [c38]Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi:
A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. ICSOC 2012: 525-532 - [c37]Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi:
Passive conformance testing of service choreographies. SAC 2012: 1528-1535 - [c36]Pascal Poizat, Gwen Salaün:
Checking the realizability of BPMN 2.0 choreographies. SAC 2012: 1927-1934 - 2011
- [b2]Pascal Poizat:
Formal Model-Based Approaches for the Development of Composite Systems. (Approches formelles à base de modèles pour le développement de systèmes composites). University of Paris-Sud, Orsay, France, 2011 - [j9]Carlos Canal, Pascal Poizat, Mirko Viroli:
Preface. Sci. Comput. Program. 76(1): 1-2 (2011) - [j8]Carlos Canal, Pascal Poizat, Marjan Sirjani:
Preface. Sci. Comput. Program. 76(8): 631-632 (2011) - [c35]Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi:
Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. TAP@TOOLS 2011: 33-50 - 2010
- [c34]Yuhong Yan, Pascal Poizat, Ludeng Zhao:
Repair vs. Recomposition for Broken Service Compositions. ICSOC 2010: 152-166 - [c33]Yuhong Yan, Pascal Poizat, Ludeng Zhao:
Self-Adaptive Service Composition Through Graphplan Repair. ICWS 2010: 624-627 - [c32]Pascal Poizat, Yuhong Yan:
Adaptive Composition of Conversational Services through Graph Planning Encoding. ISoLA (2) 2010: 35-50 - [c31]Yuhong Yan, Pascal Poizat, Ludeng Zhao:
Repairing Service Compositions in a Changing World. SERA (selected papers) 2010: 17-36
2000 – 2009
- 2009
- [c30]Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi:
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. TestCom/FATES 2009: 16-32 - [e3]Carlos Canal, Pascal Poizat, Marjan Sirjani:
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008. Electronic Notes in Theoretical Computer Science 229(2), Elsevier 2009 [contents] - 2008
- [j7]Carlos Canal, Juan Manuel Murillo, Pascal Poizat:
Software Adaptation. J. Univers. Comput. Sci. 14(13): 2107-2109 (2008) - [j6]Carlos Canal, Pascal Poizat, Gwen Salaün:
Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. 34(4): 546-563 (2008) - [c29]Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar:
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. FASE 2008: 146-162 - [c28]Radu Mateescu, Pascal Poizat, Gwen Salaün:
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC 2008: 84-99 - [c27]Sandrine Beauche, Pascal Poizat:
Automated Service Composition with Adaptive Planning. ICSOC 2008: 530-537 - [c26]Carlos Canal, Pascal Poizat, Marjan Sirjani:
Preface. FOCLASA@ICALP 2008: 1-2 - [e2]Carlos Canal, Pascal Poizat, Mirko Viroli:
Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2007, Lisbon, Portugal, September 8, 2007. Electronic Notes in Theoretical Computer Science 194(4), Elsevier 2008 [contents] - 2007
- [j5]J. Christian Attiogbé, Pascal Poizat, Gwen Salaün:
A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. IEEE Trans. Software Eng. 33(3): 157-170 (2007) - [c25]Carlos Canal, Juan Manuel Murillo, Pascal Poizat:
Practical Approaches for Software Adaptation. ECOOP Workshops 2007: 154-165 - [c24]Pascal Poizat, Gwen Salaün:
Adaptation of Open Component-Based Systems. FMOODS 2007: 141-156 - [c23]Serge Haddad, Pascal Poizat:
Transactional Reduction of Component Compositions. FORTE 2007: 341-357 - [c22]Radu Mateescu, Pascal Poizat, Gwen Salaün:
Behavioral adaptation of component compositions based on process algebra encodings. ASE 2007: 385-388 - [c21]Carlos Canal, Pascal Poizat, Mirko Viroli:
Preface. FOCLASA 2007: 1-3 - [c20]Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat:
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. FACS 2007: 39-55 - [e1]Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli:
Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, WCAT@ECOOP 2006, Nantes, France, July 4, 2006. Electronic Notes in Theoretical Computer Science 189, Elsevier 2007 [contents] - 2006
- [j4]Carlos Canal, Juan Manuel Murillo, Pascal Poizat:
Software Adaptation. Obj. Logiciel Base données Réseaux 12(1): 9-31 (2006) - [j3]Pascal Poizat, Jean-Claude Royer:
A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic. J. Univers. Comput. Sci. 12(12): 1741-1782 (2006) - [c19]Carlos Canal, Pascal Poizat, Gwen Salaün:
Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. CAL 2006: 31-39 - [c18]Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli:
Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation. ECOOP Workshops 2006: 72-86 - [c17]Pascal Poizat, Jean-Claude Royer, Gwen Salaün:
Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS 2006: 33-47 - [c16]Carlos Canal, Pascal Poizat, Gwen Salaün:
Synchronizing Behavioural Mismatch in Software Composition. FMOODS 2006: 63-77 - [c15]Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli:
Preface. WCAT@ECOOP 2006: 1-3 - [c14]Pascal Poizat, Gwen Salaün, Massimo Tivoli:
An Adaptation-based Approach to Incrementally Build Component Systems. FACS 2006: 155-170 - 2005
- [c13]Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer:
A Java Implementation of a Component Model with Explicit Symbolic Protocols. SC@ETAPS 2005: 115-124 - 2004
- [c12]Olivier Maréchal, Pascal Poizat, Jean-Claude Royer:
Checking Asynchronously Communicating Components Using Symbolic Transition Systems. CoopIS/DOA/ODBASE (2) 2004: 1502-1519 - [c11]Carlos Canal, Juan Manuel Murillo, Pascal Poizat:
Coordination and Adaptation Techniques for Software Entities. ECOOP Workshops 2004: 133-147 - [c10]Gwen Salaün, Pascal Poizat:
Interacting Extended State Diagrams. SFEDL@ETAPS 2004: 49-57 - 2003
- [c9]J. Christian Attiogbé, Pascal Poizat, Gwen Salaün:
Integration of Formal Datatypes within State Diagrams. FASE 2003: 341-355 - [c8]J. Christian Attiogbé, Pascal Poizat, Gwen Salaün:
Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. IPDPS 2003: 240 - [c7]Marc Aiguier, Fabrice Barbier, Pascal Poizat:
A Logic with Temporal Glue for Mixed Specifications. FOCLASA 2003: 155-174 - 2002
- [j2]Pascal Poizat, Jean-Claude Royer:
Une proposition de composants formels. Obj. Logiciel Base données Réseaux 8(1-2): 231-245 (2002) - 2001
- [j1]Christine Choppy, Pascal Poizat, Jean-Claude Royer:
The Korrigan Environment. J. Univers. Comput. Sci. 7(1): 19-36 (2001) - [c6]Christine Choppy, Pascal Poizat, Jean-Claude Royer:
Formal Specification of Mixed Components with Korrigan. APSEC 2001: 169-176 - [c5]Christine Choppy, Pascal Poizat, Jean-Claude Royer:
Specification of Mixed Systems in KORRIGAN with the Support of a UML-Inspired Graphical Notation. FASE 2001: 124-139 - 2000
- [b1]Pascal Poizat:
KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes. (KORRIGAN : a formalism and a method for the formal and structured specification of mixed systems). University of Nantes, France, 2000 - [c4]Christine Choppy, Pascal Poizat, Jean-Claude Royer:
A Global Semantics for Views. AMAST 2000: 165-180
1990 – 1999
- 1999
- [c3]Pascal Poizat, Christine Choppy, Jean-Claude Royer:
From Informal Requirements to COOP: A Concurrent Automata Approach. World Congress on Formal Methods 1999: 939-962 - [c2]Henri Habrias, Pascal Poizat, Jean-Yves Lafaye:
A Study of Collaborative Work: Answers to a Test on Formal Specification in B. World Congress on Formal Methods 1999: 1856-1857 - 1998
- [c1]Pascal Poizat, Christine Choppy, Jean-Claude Royer:
Concurrency and Data Types: A Specification Method: An Example with LOTOS. WADT 1998: 277-292
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-20 20:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint