Gwen Salaün

	2009
38		Javier Cámara, José Antonio Martín, Gwen Salaün, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel: ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. ICSE 2009: 627-630
37		Gwen Salaün, Tevfik Bultan: Realizability of Choreographies Using Process Algebra Encodings. IFM 2009: 167-182
36		Nima Roohi, Gwen Salaün, Seyyed-Hassan Mirian-Hosseinabadi: Analyzing Chor Specifications by Translation into FSP. Electr. Notes Theor. Comput. Sci. 255: 159-176 (2009)
35		Francisco Durán, Meriem Ouederni, Gwen Salaün: Checking Protocol Compatibility using Maude. Electr. Notes Theor. Comput. Sci. 255: 65-81 (2009)
34		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		Javier Cámara, Gwen Salaün, Carlos Canal: Clint: A Composition Language Interpreter (Tool Paper). FASE 2008: 423-427
32		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		Gwen Salaün: Generation of Service Wrapper Protocols from Choreography Specifications. SEFM 2008: 313-322
30		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		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		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		Radu Mateescu, Pascal Poizat, Gwen Salaün: Behavioral adaptation of component compositions based on process algebra encodings. ASE 2007: 385-388
25		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		Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel: Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323
23		Pascal Poizat, Gwen Salaün: Adaptation of Open Component-Based Systems. FMOODS 2007: 141-156
22		Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee: Translating FSP into LOTOS and Networks of Automata. IFM 2007: 558-578
21		Javier Cámara, Gwen Salaün, Carlos Canal: Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM 2007: 381-390
20		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		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		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		Pascal Poizat, Jean-Claude Royer, Gwen Salaün: Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS 2006: 33-47
15		Carlos Canal, Pascal Poizat, Gwen Salaün: Synchronizing Behavioural Mismatch in Software Composition. FMOODS 2006: 63-77
	2005
14		Gwen Salaün, Wendelin Serwe: Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. IFM 2005: 287-306
13		Antonella Chirichiello, Gwen Salaün: Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. Web Intelligence 2005: 457-463
12		Gwen Salaün, Pascal Poizat: Interacting Extended State Diagrams. Electr. Notes Theor. Comput. Sci. 115: 49-57 (2005)
	2004
11		Gwen Salaün, Andrea Ferrara, Antonella Chirichiello: Negotiation Among Web Services Using LOTOS/CADP. ECOWS 2004: 198-212
10		Gwen Salaün, Lucas Bordeaux, Marco Schaerf: Describing and Reasoning on Web Services using Process Algebra. ICWS 2004: 43-
9		Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella: When are Two Web Services Compatible? TES 2004: 15-28
8		Lucas Bordeaux, Gwen Salaün: Using Process Algebra for Web Services: Early Results and Perspectives. TES 2004: 54-68
	2003
7		Christian Attiogbé, Pascal Poizat, Gwen Salaün: Integration of Formal Datatypes within State Diagrams. FASE 2003: 341-355
6		Gwen Salaün, Christian Attiogbé: Formalising an Integrated Language in PVS. ICFEM 2003: 187-205
5		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		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		Gwen Salaün, Michel Allemand, Christian Attiogbé: Specification of an Access Control System with a Formalism Combining CCS and CASL. IPDPS 2002
2		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		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-

Coauthor Index

1	Michel Allemand	[1] [2] [3] [4]
2	Christian Attiogbé	[1] [2] [3] [4] [5] [6] [7] [19]
3	Daniela Berardi	[9]
4	Lucas Bordeaux	[8] [9] [10]
5	Tevfik Bultan	[37]
6	Javier Cámara	[21] [24] [27] [30] [33] [38]
7	Carlos Canal (Carlos Canal Velasco)	[15] [17] [21] [24] [27] [28] [29] [30] [33] [38]
8	Antonella Chirichiello	[11] [13] [18]
9	Javier Cubo	[24] [29] [38]
10	Francisco Durán	[35]
11	Andrea Ferrara	[11]
12	Hubert Garavel	[34]
13	Jeff Kramer	[22]
14	Frédéric Lang	[22]
15	Jeff Magee (Jeff N. Magee)	[22]
16	José Antonio Martín	[38]
17	Radu Mateescu	[26] [32]
18	Massimo Mecella	[9]
19	Seyyed-Hassan Mirian-Hosseinabadi	[36]
20	Meriem Ouederni	[35] [38]
21	Ernesto Pimentel	[24] [29] [38]
22	Pascal Poizat	[5] [7] [12] [15] [16] [17] [19] [20] [23] [26] [28] [29] [32]
23	Nima Roohi	[36]
24	Jean-Claude Royer	[16]
25	Marco Schaerf	[10]
26	Wendelin Serwe	[14] [25] [34]
27	Yvain Thonnart	[25]
28	Massimo Tivoli	[20]
29	Pascal Vivet	[25]

Colors in the list of coauthors