Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Gwen Salaün
2010 – today
- 2013
[j22]Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma, Xavier Etchevers, Olivier Gruber: An experience report on the verification of autonomic protocols in the cloud. ISSE 9(2): 105-117 (2013)- [c45]Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noel De Palma: Verification of a Dynamic Management Protocol for Cloud Applications. ATVA 2013: 178-192
- [c44]Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont: VerChor: A Framework for Verifying Choreographies. FASE 2013: 226-230
- [c43]Radu Mateescu, Gwen Salaün: PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. TACAS 2013: 192-198
- [e5]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
- 2012
- [j21]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)
- [j20]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)
- [j19]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)
- [j18]Carlos Canal, Javier Cámara, Gwen Salaün: Structural reconfiguration of systems under behavioral adaptation. Sci. Comput. Program. 78(1): 46-64 (2012)
- [j17]Gwen Salaün, Tevfik Bultan, Nima Roohi: Realizability of Choreographies Using Process Algebra Encodings. IEEE T. Services Computing 5(3): 290-304 (2012)
- [j16]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)
- [c42]Matthias Güdemann, Gwen Salaün, Meriem Ouederni: Counterexample Guided Synthesis of Monitors for Realizability Enforcement. ATVA 2012: 238-253
- [c41]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
- [c40]Pascal Poizat, Gwen Salaün: Checking the realizability of BPMN 2.0 choreographies. SAC 2012: 1927-1934
- 2011
- [c39]Meriem Ouederni, Gwen Salaün, Ernesto Pimentel: Client Update: A Solution for Service Evolution. IEEE SCC 2011: 394-401
- [c38]Gregor Gößler, Gwen Salaün: Realizability of Choreographies for Services Interacting Asynchronously. FACS 2011: 151-167
- [c37]Fabienne Boyer, Olivier Gruber, Gwen Salaün: Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP. FM 2011: 103-117
- [c36]Meriem Ouederni, Gwen Salaün, Ernesto Pimentel: Measuring the compatibility of service interaction protocols. SAC 2011: 1560-1567
- [c35]Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel De Palma, Gwen Salaün: Automated Configuration of Legacy Applications in the Cloud. UCC 2011: 170-177
- [e4]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
- 2010
- [j15]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)
- [j14]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)
- [j13]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)
- [c34]Meriem Ouederni, Gwen Salaün, Ernesto Pimentel: Quantifying Service Compatibility: A Step beyond the Boolean Approaches. ICSOC 2010: 619-626
- [c33]
- [c32]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
- [c31]Meriem Ouederni, Gwen Salaün: Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability. WCSI 2010: 57-70
- [c30]Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal: Handling Data-Based Concurrency in Context-Aware Service Protocols. FOCLASA 2010: 62-77
- [c29]Gwen Salaün: Analysis and Verification of Service Interaction Protocols - A Brief Survey. TAV-WEB 2010: 75-86
- [e3]Mohammad Reza Mousavi, Gwen Salaün (Eds.): Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures. EPTCS 30, 2010
- [e2]Gwen Salaün, Xiang Fu, Sylvain Hallé (Eds.): Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software. EPTCS 35, 2010
- [e1]Javier Cámara, Carlos Canal, Gwen Salaün (Eds.): Proceedings International Workshop on Component and Service Interoperability. EPTCS 37, 2010
2000 – 2009
- 2009
- [j12]Francisco Durán, Meriem Ouederni, Gwen Salaün: Checking Protocol Compatibility using Maude. Electr. Notes Theor. Comput. Sci. 255: 65-81 (2009)
- [j11]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)
- [j10]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)
- [c28]Javier Cámara, Carlos Canal, Gwen Salaün: Behavioural self-adaptation of services in ubiquitous computing environments. SEAMS 2009: 28-37
- [c27]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
- [c26]Gwen Salaün, Tevfik Bultan: Realizability of Choreographies Using Process Algebra Encodings. IFM 2009: 167-182
- [c25]Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni: Interactive Specification and Verification of Behavioural Adaptation Contracts. QSIC 2009: 65-75
- 2008
- [j9]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)
- [j8]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)
- [j7]Javier Cámara, Gwen Salaün, Carlos Canal: Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. J. UCS 14(13): 2182-2211 (2008)
- [j6]Carlos Canal, Pascal Poizat, Gwen Salaün: Model-Based Adaptation of Behavioral Mismatching Components. IEEE Trans. Software Eng. 34(4): 546-563 (2008)
- [c24]Javier Cámara, Gwen Salaün, Carlos Canal: Clint: A Composition Language Interpreter (Tool Paper). FASE 2008: 423-427
- [c23]Radu Mateescu, Pascal Poizat, Gwen Salaün: Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC 2008: 84-99
- [c22]Gwen Salaün: Generation of Service Wrapper Protocols from Choreography Specifications. SEFM 2008: 313-322
- 2007
- [j5]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)
- [j4]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)
- [j3]Antonella Chirichiello, Gwen Salaün: Encoding process algebraic descriptions of web services into BPEL. Web Intelligence and Agent Systems 5(4): 419-434 (2007)
- [c21]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
- [c20]Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel: Context-Based Adaptation of Component Behavioural Interfaces. COORDINATION 2007: 305-323
- [c19]
- [c18]Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee: Translating FSP into LOTOS and Networks of Automata. IFM 2007: 558-578
- [c17]Radu Mateescu, Pascal Poizat, Gwen Salaün: Behavioral adaptation of component compositions based on process algebra encodings. ASE 2007: 385-388
- [c16]Javier Cámara, Gwen Salaün, Carlos Canal: Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM 2007: 381-390
- 2006
- [c15]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
- [c14]Pascal Poizat, Jean-Claude Royer, Gwen Salaün: Bounded Analysis and Decomposition for Behavioural Descriptions of Components. FMOODS 2006: 33-47
- [c13]Carlos Canal, Pascal Poizat, Gwen Salaün: Synchronizing Behavioural Mismatch in Software Composition. FMOODS 2006: 63-77
- 2005
- [j2]Gwen Salaün, Pascal Poizat: Interacting Extended State Diagrams. Electr. Notes Theor. Comput. Sci. 115: 49-57 (2005)
- [c12]Gwen Salaün, Wendelin Serwe: Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. IFM 2005: 287-306
- [c11]Antonella Chirichiello, Gwen Salaün: Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. Web Intelligence 2005: 457-463
- 2004
- [c10]Gwen Salaün, Andrea Ferrara, Antonella Chirichiello: Negotiation Among Web Services Using LOTOS/CADP. ECOWS 2004: 198-212
- [c9]Gwen Salaün, Lucas Bordeaux, Marco Schaerf: Describing and Reasoning on Web Services using Process Algebra. ICWS 2004: 43-
- [c8]Lucas Bordeaux, Gwen Salaün, Daniela Berardi, Massimo Mecella: When are Two Web Services Compatible? TES 2004: 15-28
- [c7]Lucas Bordeaux, Gwen Salaün: Using Process Algebra for Web Services: Early Results and Perspectives. TES 2004: 54-68
- 2003
- [c6]Christian Attiogbé, Pascal Poizat, Gwen Salaün: Integration of Formal Datatypes within State Diagrams. FASE 2003: 341-355
- [c5]
- [c4]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
- [j1]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)
- [c3]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
- [c2]Gwen Salaün, Michel Allemand, Christian Attiogbé: Specification of an Access Control System with a Formalism Combining CCS and CASL. IPDPS 2002
- 2001
- [c1]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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 10:58 CEST by the dblp team