Gwen Salaün

Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont: VerChor: A Framework for Verifying Choreographies. FASE 2013: 226-230

Radu Mateescu, Gwen Salaün: PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. TACAS 2013: 192-198

Corina S. Pasareanu, Gwen Salaün (Eds.): Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7684, Springer 2013, isbn 978-3-642-35860-9

Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni: Interactive specification and verification of behavioral adaptation contracts. Information & Software Technology 54(7): 701-723 (2012)

Gwen Salaün, Marjan Sirjani: Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09). Sci. Comput. Program. 77(7-8): 777-778 (2012)

Francisco Durán, Meriem Ouederni, Gwen Salaün: A generic framework for n-protocol compatibility checking. Sci. Comput. Program. 77(7-8): 870-886 (2012)

Carlos Canal, Javier Cámara, Gwen Salaün: Structural reconfiguration of systems under behavioral adaptation. Sci. Comput. Program. 78(1): 46-64 (2012)

Gwen Salaün, Tevfik Bultan, Nima Roohi: Realizability of Choreographies Using Process Algebra Encodings. IEEE T. Services Computing 5(3): 290-304 (2012)

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)

Matthias Güdemann, Gwen Salaün, Meriem Ouederni: Counterexample Guided Synthesis of Monitors for Realizability Enforcement. ATVA 2012: 238-253

Gwen Salaün, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye: Verification of a self-configuration protocol for distributed applications in the cloud. SAC 2012: 1278-1283

Pascal Poizat, Gwen Salaün: Checking the realizability of BPMN 2.0 choreographies. SAC 2012: 1927-1934

Meriem Ouederni, Gwen Salaün, Ernesto Pimentel: Client Update: A Solution for Service Evolution. IEEE SCC 2011: 394-401

Gregor Gößler, Gwen Salaün: Realizability of Choreographies for Services Interacting Asynchronously. FACS 2011: 151-167

Fabienne Boyer, Olivier Gruber, Gwen Salaün: Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP. FM 2011: 103-117

Meriem Ouederni, Gwen Salaün, Ernesto Pimentel: Measuring the compatibility of service interaction protocols. SAC 2011: 1560-1567

Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel De Palma, Gwen Salaün: Automated Configuration of Legacy Applications in the Cloud. UCC 2011: 170-177

Gwen Salaün, Bernhard Schätz (Eds.): Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings. Lecture Notes in Computer Science 6959, Springer 2011, isbn 978-3-642-24430-8

Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo: A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. Electr. Notes Theor. Comput. Sci. 263: 95-110 (2010)

Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel: Semi-Automatic Specification of Behavioural Service Adaptation Contracts. Electr. Notes Theor. Comput. Sci. 264(1): 19-34 (2010)

Frédéric Lang, Gwen Salaün, Rémi Hérilier, Jeff Kramer, Jeff Magee: Translating FSP into LOTOS and networks of automata. Formal Asp. Comput. 22(6): 681-711 (2010)

Meriem Ouederni, Gwen Salaün, Ernesto Pimentel: Quantifying Service Compatibility: A Step beyond the Boolean Approaches. ICSOC 2010: 619-626

Radu Mateescu, Gwen Salaün: Translating Pi-Calculus into LOTOS NT. IFM 2010: 229-244

Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel: A Case Study in Model-Based Adaptation of Web Services. ISoLA (2) 2010: 112-126

Meriem Ouederni, Gwen Salaün: Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability. WCSI 2010: 57-70

Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal: Handling Data-Based Concurrency in Context-Aware Service Protocols. FOCLASA 2010: 62-77

Gwen Salaün: Analysis and Verification of Service Interaction Protocols - A Brief Survey. TAV-WEB 2010: 75-86

Mohammad Reza Mousavi, Gwen Salaün (Eds.): Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures. EPTCS 30, 2010

Gwen Salaün, Xiang Fu, Sylvain Hallé (Eds.): Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software. EPTCS 35, 2010

Javier Cámara, Carlos Canal, Gwen Salaün (Eds.): Proceedings International Workshop on Component and Service Interoperability. EPTCS 37, 2010

Francisco Durán, Meriem Ouederni, Gwen Salaün: Checking Protocol Compatibility using Maude. Electr. Notes Theor. Comput. Sci. 255: 65-81 (2009)

Nima Roohi, Gwen Salaün, Seyed-Hassan Mirian-Hosseinabadi: Analyzing Chor Specifications by Translation into FSP. Electr. Notes Theor. Comput. Sci. 255: 159-176 (2009)

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)

Javier Cámara, Carlos Canal, Gwen Salaün: Behavioural self-adaptation of services in ubiquitous computing environments. SEAMS 2009: 28-37

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

Gwen Salaün, Tevfik Bultan: Realizability of Choreographies Using Process Algebra Encodings. IFM 2009: 167-182

Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni: Interactive Specification and Verification of Behavioural Adaptation Contracts. QSIC 2009: 65-75

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)

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)

Javier Cámara, Gwen Salaün, Carlos Canal: Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J. UCS 14(13): 2182-2211 (2008)

Carlos Canal, Pascal Poizat, Gwen Salaün: Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. 34(4): 546-563 (2008)

Javier Cámara, Gwen Salaün, Carlos Canal: Clint: A Composition Language Interpreter (Tool Paper). FASE 2008: 423-427

Radu Mateescu, Pascal Poizat, Gwen Salaün: Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC 2008: 84-99

Gwen Salaün: Generation of Service Wrapper Protocols from Choreography Specifications. SEFM 2008: 313-322

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)

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)

Antonella Chirichiello, Gwen Salaün: Encoding process algebraic descriptions of web services into BPEL. Web Intelligence and Agent Systems 5(4): 419-434 (2007)

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

Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel: Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323

Pascal Poizat, Gwen Salaün: Adaptation of Open Component-Based Systems. FMOODS 2007: 141-156

Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee: Translating FSP into LOTOS and Networks of Automata. IFM 2007: 558-578

Radu Mateescu, Pascal Poizat, Gwen Salaün: Behavioral adaptation of component compositions based on process algebra encodings. ASE 2007: 385-388

Javier Cámara, Gwen Salaün, Carlos Canal: Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM 2007: 381-390

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

Pascal Poizat, Jean-Claude Royer, Gwen Salaün: Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS 2006: 33-47

Carlos Canal, Pascal Poizat, Gwen Salaün: Synchronizing Behavioural Mismatch in Software Composition. FMOODS 2006: 63-77

Gwen Salaün, Pascal Poizat: Interacting Extended State Diagrams. Electr. Notes Theor. Comput. Sci. 115: 49-57 (2005)

Gwen Salaün, Wendelin Serwe: Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. IFM 2005: 287-306

Antonella Chirichiello, Gwen Salaün: Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. Web Intelligence 2005: 457-463

Gwen Salaün, Andrea Ferrara, Antonella Chirichiello: Negotiation Among Web Services Using LOTOS/CADP. ECOWS 2004: 198-212

Gwen Salaün, Lucas Bordeaux, Marco Schaerf: Describing and Reasoning on Web Services using Process Algebra. ICWS 2004: 43-

Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella: When are Two Web Services Compatible? TES 2004: 15-28

Lucas Bordeaux, Gwen Salaün: Using Process Algebra for Web Services: Early Results and Perspectives. TES 2004: 54-68

Christian Attiogbé, Pascal Poizat, Gwen Salaün: Integration of Formal Datatypes within State Diagrams. FASE 2003: 341-355

Gwen Salaün, Christian Attiogbé: Formalising an Integrated Language in PVS. ICFEM 2003: 187-205

Christian Attiogbé, Pascal Poizat, Gwen Salaün: Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. IPDPS 2003: 240

Gwen Salaün, Michel Allemand, Christian Attiogbé: Foundations for a Combination of Heterogeneous Specification Components. Electr. Notes Theor. Comput. Sci. 66(4): 114-133 (2002)

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

Gwen Salaün, Michel Allemand, Christian Attiogbé: Specification of an Access Control System with a Formalism Combining CCS and CASL. IPDPS 2002

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-