2009 |
35 | EE | Gwen Salaün,
Tevfik Bultan:
Realizability of Choreographies Using Process Algebra Encodings.
IFM 2009: 167-182 |
34 | EE | Hubert Garavel,
Gwen Salaün,
Wendelin Serwe:
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP.
Sci. Comput. Program. 74(3): 100-127 (2009) |
2008 |
33 | EE | Javier Cámara,
Gwen Salaün,
Carlos Canal:
Clint: A Composition Language Interpreter (Tool Paper).
FASE 2008: 423-427 |
32 | 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 |
31 | EE | Gwen Salaün:
Generation of Service Wrapper Protocols from Choreography Specifications.
SEFM 2008: 313-322 |
30 | EE | Javier Cámara,
Carlos Canal,
Gwen Salaün:
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems.
Electr. Notes Theor. Comput. Sci. 215: 111-130 (2008) |
29 | 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) |
28 | EE | Carlos Canal,
Pascal Poizat,
Gwen Salaün:
Model-Based Adaptation of Behavioral Mismatching Components.
IEEE Trans. Software Eng. 34(4): 546-563 (2008) |
27 | | Javier Cámara,
Gwen Salaün,
Carlos Canal:
Composition and Run-time Adaptation of Mismatching Behavioural Interfaces.
J. UCS 14(13): 2182-2211 (2008) |
2007 |
26 | EE | Radu Mateescu,
Pascal Poizat,
Gwen Salaün:
Behavioral adaptation of component compositions based on process algebra encodings.
ASE 2007: 385-388 |
25 | EE | Gwen Salaün,
Wendelin Serwe,
Yvain Thonnart,
Pascal Vivet:
Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip.
ASYNC 2007: 73-82 |
24 | EE | Javier Cubo,
Gwen Salaün,
Javier Cámara,
Carlos Canal,
Ernesto Pimentel:
Context-Based Adaptation of Component Behavioural Interfaces.
COORDINATION 2007: 305-323 |
23 | EE | Pascal Poizat,
Gwen Salaün:
Adaptation of Open Component-Based Systems.
FMOODS 2007: 141-156 |
22 | EE | Gwen Salaün,
Jeff Kramer,
Frédéric Lang,
Jeff Magee:
Translating FSP into LOTOS and Networks of Automata.
IFM 2007: 558-578 |
21 | EE | Javier Cámara,
Gwen Salaün,
Carlos Canal:
Run-time Composition and Adaptation of Mismatching Behavioural Transactions.
SEFM 2007: 381-390 |
20 | 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) |
19 | 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) |
18 | EE | Antonella Chirichiello,
Gwen Salaün:
Encoding process algebraic descriptions of web services into BPEL.
Web Intelligence and Agent Systems 5(4): 419-434 (2007) |
2006 |
17 | | 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 |
16 | EE | Pascal Poizat,
Jean-Claude Royer,
Gwen Salaün:
Bounded Analysis and Decomposition for Behavioural Descriptions of Components.
FMOODS 2006: 33-47 |
15 | EE | Carlos Canal,
Pascal Poizat,
Gwen Salaün:
Synchronizing Behavioural Mismatch in Software Composition.
FMOODS 2006: 63-77 |
2005 |
14 | EE | Gwen Salaün,
Wendelin Serwe:
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS.
IFM 2005: 287-306 |
13 | EE | Antonella Chirichiello,
Gwen Salaün:
Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development.
Web Intelligence 2005: 457-463 |
12 | EE | Gwen Salaün,
Pascal Poizat:
Interacting Extended State Diagrams.
Electr. Notes Theor. Comput. Sci. 115: 49-57 (2005) |
2004 |
11 | EE | Gwen Salaün,
Andrea Ferrara,
Antonella Chirichiello:
Negotiation Among Web Services Using LOTOS/CADP.
ECOWS 2004: 198-212 |
10 | EE | Gwen Salaün,
Lucas Bordeaux,
Marco Schaerf:
Describing and Reasoning on Web Services using Process Algebra.
ICWS 2004: 43- |
9 | EE | Lucas Bordeaux,
Gwen Salaün,
Daniela Berardi,
Massimo Mecella:
When are Two Web Services Compatible?
TES 2004: 15-28 |
8 | EE | Lucas Bordeaux,
Gwen Salaün:
Using Process Algebra for Web Services: Early Results and Perspectives.
TES 2004: 54-68 |
2003 |
7 | EE | Christian Attiogbé,
Pascal Poizat,
Gwen Salaün:
Integration of Formal Datatypes within State Diagrams.
FASE 2003: 341-355 |
6 | EE | Gwen Salaün,
Christian Attiogbé:
Formalising an Integrated Language in PVS.
ICFEM 2003: 187-205 |
5 | 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 |
4 | EE | Gwen Salaün,
Michel Allemand,
Christian Attiogbé:
A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example.
COMPSAC 2002: 385-392 |
3 | EE | Gwen Salaün,
Michel Allemand,
Christian Attiogbé:
Specification of an Access Control System with a Formalism Combining CCS and CASL.
IPDPS 2002 |
2 | EE | Gwen Salaün,
Michel Allemand,
Christian Attiogbé:
Foundations for a Combination of Heterogeneous Specification Components.
Electr. Notes Theor. Comput. Sci. 66(4): (2002) |
2001 |
1 | EE | Gwen Salaün,
Michel Allemand,
Christian Attiogbé:
Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language.
APSEC 2001: 299- |