2008 |
35 | EE | Tarek Melliti,
Pascal Poizat,
Sonia Ben Mokhtar:
Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services.
FASE 2008: 146-162 |
34 | EE | Sandrine Beauche,
Pascal Poizat:
Automated Service Composition with Adaptive Planning.
ICSOC 2008: 530-537 |
33 | EE | 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 | EE | Carlos Canal,
Pascal Poizat,
Mirko Viroli:
Preface.
Electr. Notes Theor. Comput. Sci. 194(4): 1-3 (2008) |
31 | EE | 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 | EE | 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 | EE | Radu Mateescu,
Pascal Poizat,
Gwen Salaün:
Behavioral adaptation of component compositions based on process algebra encodings.
ASE 2007: 385-388 |
27 | EE | Carlos Canal,
Juan Manuel Murillo,
Pascal Poizat:
Practical Approaches for Software Adaptation.
ECOOP Workshops 2007: 154-165 |
26 | EE | Pascal Poizat,
Gwen Salaün:
Adaptation of Open Component-Based Systems.
FMOODS 2007: 141-156 |
25 | EE | Serge Haddad,
Pascal Poizat:
Transactional Reduction of Component Compositions.
FORTE 2007: 341-357 |
24 | EE | 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 | EE | Steffen Becker,
Carlos Canal,
Nikolay Diakov,
Juan Manuel Murillo,
Pascal Poizat,
Massimo Tivoli:
Preface.
Electr. Notes Theor. Comput. Sci. 189: 1-3 (2007) |
22 | EE | 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 | EE | 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 | EE | Pascal Poizat,
Jean-Claude Royer,
Gwen Salaün:
Bounded Analysis and Decomposition for Behavioural Descriptions of Components.
FMOODS 2006: 33-47 |
18 | EE | Carlos Canal,
Pascal Poizat,
Gwen Salaün:
Synchronizing Behavioural Mismatch in Software Composition.
FMOODS 2006: 63-77 |
17 | EE | 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 | EE | Carlos Canal,
Juan Manuel Murillo,
Pascal Poizat:
Software Adaptation.
L'OBJET 12(1): 9-31 (2006) |
2005 |
15 | EE | 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 | EE | Gwen Salaün,
Pascal Poizat:
Interacting Extended State Diagrams.
Electr. Notes Theor. Comput. Sci. 115: 49-57 (2005) |
2004 |
13 | EE | Olivier Maréchal,
Pascal Poizat,
Jean-Claude Royer:
Checking Asynchronously Communicating Components Using Symbolic Transition Systems.
CoopIS/DOA/ODBASE (2) 2004: 1502-1519 |
12 | EE | Carlos Canal,
Juan Manuel Murillo,
Pascal Poizat:
Coordination and Adaptation Techniques for Software Entities.
ECOOP Workshops 2004: 133-147 |
11 | EE | 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 | EE | Christian Attiogbé,
Pascal Poizat,
Gwen Salaün:
Integration of Formal Datatypes within State Diagrams.
FASE 2003: 341-355 |
9 | EE | 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 | EE | Pascal Poizat,
Jean-Claude Royer:
Une proposition de composants formels.
L'OBJET 8(1-2): 231-245 (2002) |
2001 |
7 | EE | Christine Choppy,
Pascal Poizat,
Jean-Claude Royer:
Formal Specification of Mixed Components with Korrigan.
APSEC 2001: 169-176 |
6 | EE | 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 | EE | Christine Choppy,
Pascal Poizat,
Jean-Claude Royer:
The Korrigan Environment.
J. UCS 7(1): 19-36 (2001) |
2000 |
4 | EE | Christine Choppy,
Pascal Poizat,
Jean-Claude Royer:
A Global Semantics for Views.
AMAST 2000: 165-180 |
1999 |
3 | EE | 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 | EE | 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 | EE | Pascal Poizat,
Christine Choppy,
Jean-Claude Royer:
Concurrency and Data Types: A Specification Method: An Example with LOTOS.
WADT 1998: 277-292 |