♀ Person: Gwen Salaün

DBLP: Sala=uuml=n:Gwen

Facilitated 2 volumes:

Ed

PrCo

Contributed to:

2015

2015

2014

2014

2014

2013

2013

2012

2011

2011

2010

2009

2009

2008

2008

2007

2007

2007

2005

2003

Wrote 22 papers:

FASE-2015-CanalS #adaptation #communication #modelling

Model-Based Adaptation of Software Communicating via FIFO Buffers (CC, GS), pp. 252–266.

VMCAI-2015-SalaunY #algebra #debugging #process #specification

Debugging Process Algebra Specifications (GS, LY), pp. 245–262.

CBSE-2014-DuranS #configuration management #robust

Robust reconfiguration of cloud applications (FD, GS), pp. 179–184.

CBSE-2014-MateescuSY #model checking #parallel #process #using

Quantifying the parallelism in BPMN processes using model checking (RM, GS, LY), pp. 159–168.

FASE-2014-OuederniSCP #behaviour #named

Comparator: A Tool for Quantifying Behavioural Compatibility (MO, GS, JC, EP), pp. 306–309.

SAC-2014-EtcheversSBCP #reliability #self

Reliable self-deployment of cloud applications (XE, GS, FB, TC, NDP), pp. 1331–1338.

FASE-2013-GudemannPSD #framework #named #verification

VerChor: A Framework for Verifying Choreographies (MG, PP, GS, AD), pp. 226–230.

TACAS-2013-MateescuS #model checking #model transformation #named #π-calculus

PIC2LNT: Model Transformation for Model Checking an Applied π-Calculus (RM, GS), pp. 192–198.

SAC-2012-PoizatS

Checking the realizability of BPMN 2.0 choreographies (PP, GS), pp. 1927–1934.

SAC-2012-SalaunEPBC #distributed #in the cloud #protocol #self #verification

Verification of a self-configuration protocol for distributed applications in the cloud (GS, XE, NDP, FB, TC), pp. 1278–1283.

FM-2011-BoyerGS #configuration management #protocol #specification #verification

Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP (FB, OG, GS), pp. 103–117.

SAC-2011-OuederniSP #interactive #protocol

Measuring the compatibility of service interaction protocols (MO, GS, EP), pp. 1560–1567.

IFM-2010-MateescuS #π-calculus

Translating π-Calculus into LOTOS NT (RM, GS), pp. 229–244.

ICSE-2009-CamaraMSCOCP #adaptation #automation #composition #named #web #web service

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services (JC, JAM, GS, JC, MO, CC, EP), pp. 627–630.

IFM-2009-SalaunB #algebra #encoding #process #using

Realizability of Choreographies Using Process Algebra Encodings (GS, TB), pp. 167–182.

FASE-2008-CamaraSC #composition #interpreter #named

Clint: A Composition Language Interpreter (JC, GS, CC), pp. 423–427.

SEFM-2008-Salaun #generative #protocol #specification

Generation of Service Wrapper Protocols from Choreography Specifications (GS), pp. 313–322.

ASE-2007-MateescuPS #adaptation #algebra #behaviour #component #composition #encoding #process

Behavioral adaptation of component compositions based on process algebra encodings (RM, PP, GS), pp. 385–388.

IFM-2007-SalaunKLM #automaton #network

Translating FSP into LOTOS and Networks of Automata (GS, JK, FL, JM), pp. 558–578.

SEFM-2007-CamaraSC #adaptation #behaviour #composition #runtime #transaction

Run-time Composition and Adaptation of Mismatching Behavioural Transactions (JC, GS, CC), pp. 381–390.

IFM-2005-SalaunS #algebra #hardware #process #standard

Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (GS, WS), pp. 287–306.

FASE-2003-AttiogbePS #data type #diagrams #integration

Integration of Formal Datatypes within State Diagrams (CA, PP, GS), pp. 341–355.