- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c35 |      | Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont: VerChor: A Framework for Verifying Choreographies. FASE 2013: 226-230 |
| 2012 | ||
| j17 | | 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) |
| c34 | | Rania Khefifi, Pascal Poizat, Fatiha Saïs: Modeling and Querying Context-Aware Personal Information Spaces. DEXA (2) 2012: 103-110 |
| c33 |  | Rania Khefifi, Pascal Poizat, Fatiha Saïs: Modélisation et interrogation d'espaces d'informations personnelles sensibles au contexte. EGC 2012: 573-574 |
| c32 | | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi: Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing. HASE 2012: 106-113 |
| c31 | | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi: A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies. ICSOC 2012: 525-532 |
| c30 | | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi: Passive conformance testing of service choreographies. SAC 2012: 1528-1535 |
| c29 | | Pascal Poizat, Gwen Salaün: Checking the realizability of BPMN 2.0 choreographies. SAC 2012: 1927-1934 |
| 2011 | ||
| j16 | | |
| j15 | | |
| c28 | | Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi: Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver. TAP 2011: 33-50 |
| 2010 | ||
| c27 | | Yuhong Yan, Pascal Poizat, Ludeng Zhao: Repair vs. Recomposition for Broken Service Compositions. ICSOC 2010: 152-166 |
| c26 | | Yuhong Yan, Pascal Poizat, Ludeng Zhao: Self-Adaptive Service Composition Through Graphplan Repair. ICWS 2010: 624-627 |
| c25 | | Pascal Poizat, Yuhong Yan: Adaptive Composition of Conversational Services through Graph Planning Encoding. ISoLA (2) 2010: 35-50 |
| c24 | | Yuhong Yan, Pascal Poizat, Ludeng Zhao: Repairing Service Compositions in a Changing World. SERA (selected papers) 2010: 17-36 |
| 2009 | ||
| j14 | | Carlos Canal, Pascal Poizat, Marjan Sirjani: Preface. Electr. Notes Theor. Comput. Sci. 229(2): 1-2 (2009) |
| c23 | | Lina Bentakouk, Pascal Poizat, Fatiha Zaïdi: A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems. TestCom/FATES 2009: 16-32 |
| 2008 | ||
| j13 | | Carlos Canal, Pascal Poizat, Mirko Viroli: Preface. Electr. Notes Theor. Comput. Sci. 194(4): 1-3 (2008) |
| j12 | | Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat: A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. Electr. Notes Theor. Comput. Sci. 215: 39-55 (2008) |
| j11 | | Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Software Adaptation. J. UCS 14(13): 2107-2109 (2008) |
| j10 | | Carlos Canal, Pascal Poizat, Gwen Salaün: Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. 34(4): 546-563 (2008) |
| c22 | | Tarek Melliti, Pascal Poizat, Sonia Ben Mokhtar: Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. FASE 2008: 146-162 |
| c21 | | Radu Mateescu, Pascal Poizat, Gwen Salaün: Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC 2008: 84-99 |
| c20 | | Sandrine Beauche, Pascal Poizat: Automated Service Composition with Adaptive Planning. ICSOC 2008: 530-537 |
| 2007 | ||
| j9 | | Pascal Poizat, Gwen Salaün, Massimo Tivoli: An Adaptation-based Approach to Incrementally Build Component Systems. Electr. Notes Theor. Comput. Sci. 182: 155-170 (2007) |
| j8 | | Steffen Becker, Carlos Canal, Nikolay Diakov, Juan Manuel Murillo, Pascal Poizat, Massimo Tivoli: Preface. Electr. Notes Theor. Comput. Sci. 189: 1-3 (2007) |
| j7 | | 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) |
| c19 | | Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Practical Approaches for Software Adaptation. ECOOP Workshops 2007: 154-165 |
| c18 | | |
| c17 | | |
| c16 | | Radu Mateescu, Pascal Poizat, Gwen Salaün: Behavioral adaptation of component compositions based on process algebra encodings. ASE 2007: 385-388 |
| 2006 | ||
| j6 | | |
| j5 | | Pascal Poizat, Jean-Claude Royer: A Formal Architectural Description Language based on Symbolic Transition Systems and Temporal Logic. J. UCS 12(12): 1741-1782 (2006) |
| c15 | | 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 |
| c14 | | 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 |
| c13 | | Pascal Poizat, Jean-Claude Royer, Gwen Salaün: Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS 2006: 33-47 |
| c12 | | Carlos Canal, Pascal Poizat, Gwen Salaün: Synchronizing Behavioural Mismatch in Software Composition. FMOODS 2006: 63-77 |
| 2005 | ||
| j4 | | Gwen Salaün, Pascal Poizat: Interacting Extended State Diagrams. Electr. Notes Theor. Comput. Sci. 115: 49-57 (2005) |
| c11 | | Sebastian Pavel, Jacques Noyé, Pascal Poizat, Jean-Claude Royer: A Java Implementation of a Component Model with Explicit Symbolic Protocols. Software Composition 2005: 115-124 |
| 2004 | ||
| j3 | | Marc Aiguier, Fabrice Barbier, Pascal Poizat: A Logic with Temporal Glue for Mixed Specifications. Electr. Notes Theor. Comput. Sci. 97: 155-174 (2004) |
| c10 | | Olivier Maréchal, Pascal Poizat, Jean-Claude Royer: Checking Asynchronously Communicating Components Using Symbolic Transition Systems. CoopIS/DOA/ODBASE (2) 2004: 1502-1519 |
| c9 | | Carlos Canal, Juan Manuel Murillo, Pascal Poizat: Coordination and Adaptation Techniques for Software Entities. ECOOP Workshops 2004: 133-147 |
| 2003 | ||
| c8 | | Christian Attiogbé, Pascal Poizat, Gwen Salaün: Integration of Formal Datatypes within State Diagrams. FASE 2003: 341-355 |
| c7 | | Christian Attiogbé, Pascal Poizat, Gwen Salaün: Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. IPDPS 2003: 240 |
| 2002 | ||
| j2 | | Pascal Poizat, Jean-Claude Royer: Une proposition de composants formels. L'OBJET 8(1-2): 231-245 (2002) |
| 2001 | ||
| j1 | | Christine Choppy, Pascal Poizat, Jean-Claude Royer: The Korrigan Environment. J. UCS 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 | ||
| c4 | | Christine Choppy, Pascal Poizat, Jean-Claude Royer: A Global Semantics for Views. AMAST 2000: 165-180 |
| 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 |
Colors in the list of coauthors
Last update Thu May 23 20:11:02 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page