 | 2009 |
|---|
| 37 |       | Lina Bentakouk,
Pascal Poizat,
Fatiha Zaïdi:
A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems.
TestCom/FATES 2009: 16-32 |
| 36 | | Carlos Canal,
Pascal Poizat,
Marjan Sirjani:
Preface.
Electr. Notes Theor. Comput. Sci. 229(2): 1-2 (2009) |
| 2008 |
|---|
| 35 | | Tarek Melliti,
Pascal Poizat,
Sonia Ben Mokhtar:
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services.
FASE 2008: 146-162 |
| 34 | | Sandrine Beauche,
Pascal Poizat:
Automated Service Composition with Adaptive Planning.
ICSOC 2008: 530-537 |
| 33 | | Radu Mateescu,
Pascal Poizat,
Gwen Salaün:
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.
ICSOC 2008: 84-99 |
| 32 | | Carlos Canal,
Pascal Poizat,
Mirko Viroli:
Preface.
Electr. Notes Theor. Comput. Sci. 194(4): 1-3 (2008) |
| 31 | | 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) |
| 30 | | Carlos Canal,
Pascal Poizat,
Gwen Salaün:
Model-Based Adaptation of Behavioral Mismatching Components.
IEEE Trans. Software Eng. 34(4): 546-563 (2008) |
| 29 |  | Carlos Canal,
Juan Manuel Murillo,
Pascal Poizat:
Software Adaptation.
J. UCS 14(13): 2107-2109 (2008) |
| 2007 |
|---|
| 28 | | Radu Mateescu,
Pascal Poizat,
Gwen Salaün:
Behavioral adaptation of component compositions based on process algebra encodings.
ASE 2007: 385-388 |
| 27 | | Carlos Canal,
Juan Manuel Murillo,
Pascal Poizat:
Practical Approaches for Software Adaptation.
ECOOP Workshops 2007: 154-165 |
| 26 | | Pascal Poizat,
Gwen Salaün:
Adaptation of Open Component-Based Systems.
FMOODS 2007: 141-156 |
| 25 | | Serge Haddad,
Pascal Poizat:
Transactional Reduction of Component Compositions.
FORTE 2007: 341-357 |
| 24 | | 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) |
| 23 | | Steffen Becker,
Carlos Canal,
Nikolay Diakov,
Juan Manuel Murillo,
Pascal Poizat,
Massimo Tivoli:
Preface.
Electr. Notes Theor. Comput. Sci. 189: 1-3 (2007) |
| 22 | | 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) |
| 2006 |
|---|
| 21 | | 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 |
| 20 | | 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 |
| 19 | | Pascal Poizat,
Jean-Claude Royer,
Gwen Salaün:
Bounded Analysis and Decomposition for Behavioural Descriptions of Components.
FMOODS 2006: 33-47 |
| 18 | | Carlos Canal,
Pascal Poizat,
Gwen Salaün:
Synchronizing Behavioural Mismatch in Software Composition.
FMOODS 2006: 63-77 |
| 17 | | 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) |
| 16 | | Carlos Canal,
Juan Manuel Murillo,
Pascal Poizat:
Software Adaptation.
L'OBJET 12(1): 9-31 (2006) |
| 2005 |
|---|
| 15 | | 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 |
| 14 | | Gwen Salaün,
Pascal Poizat:
Interacting Extended State Diagrams.
Electr. Notes Theor. Comput. Sci. 115: 49-57 (2005) |
| 2004 |
|---|
| 13 | | Olivier Maréchal,
Pascal Poizat,
Jean-Claude Royer:
Checking Asynchronously Communicating Components Using Symbolic Transition Systems.
CoopIS/DOA/ODBASE (2) 2004: 1502-1519 |
| 12 | | Carlos Canal,
Juan Manuel Murillo,
Pascal Poizat:
Coordination and Adaptation Techniques for Software Entities.
ECOOP Workshops 2004: 133-147 |
| 11 | | Marc Aiguier,
Fabrice Barbier,
Pascal Poizat:
A Logic with Temporal Glue for Mixed Specifications.
Electr. Notes Theor. Comput. Sci. 97: 155-174 (2004) |
| 2003 |
|---|
| 10 | | Christian Attiogbé,
Pascal Poizat,
Gwen Salaün:
Integration of Formal Datatypes within State Diagrams.
FASE 2003: 341-355 |
| 9 | | 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 |
|---|
| 8 | | Pascal Poizat,
Jean-Claude Royer:
Une proposition de composants formels.
L'OBJET 8(1-2): 231-245 (2002) |
| 2001 |
|---|
| 7 | | Christine Choppy,
Pascal Poizat,
Jean-Claude Royer:
Formal Specification of Mixed Components with Korrigan.
APSEC 2001: 169-176 |
| 6 | | 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 |
| 5 | | Christine Choppy,
Pascal Poizat,
Jean-Claude Royer:
The Korrigan Environment.
J. UCS 7(1): 19-36 (2001) |
| 2000 |
|---|
| 4 | | Christine Choppy,
Pascal Poizat,
Jean-Claude Royer:
A Global Semantics for Views.
AMAST 2000: 165-180 |
| 1999 |
|---|
| 3 | | 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 |
| 2 | | Pascal Poizat,
Christine Choppy,
Jean-Claude Royer:
From Informal Requirements to COOP: A Concurrent Automata Approach.
World Congress on Formal Methods 1999: 939-962 |
| 1998 |
|---|
| 1 | | Pascal Poizat,
Christine Choppy,
Jean-Claude Royer:
Concurrency and Data Types: A Specification Method: An Example with LOTOS.
WADT 1998: 277-292 |
