BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × Hungary
1 × India
1 × Ireland
1 × Poland
1 × South Africa
1 × South Korea
1 × Taiwan
1 × The Netherlands
1 × USA
3 × France
3 × Italy
3 × United Kingdom
Collaborated with:
R.Mateescu P.Poizat C.Canal J.Cámara L.Ye F.Boyer M.Ouederni E.Pimentel F.Durán T.Bultan W.Serwe X.Etchevers T.Coupaye N.D.Palma O.Gruber C.Attiogbé M.Güdemann A.Dumont J.Kramer F.Lang J.Magee J.A.Martín J.Cubo
Talks about:
process (6) algebra (5) choreographi (4) protocol (4) composit (4) model (4) adapt (4) loto (4) translat (3) servic (3)

♀ Person: Gwen Salaün

DBLP DBLP: Sala=uuml=n:Gwen

Facilitated 2 volumes:

SEFM 2014Ed
CBSE 2013PrCo

Contributed to:

FASE 20152015
VMCAI 20152015
CBSE 20142014
FASE 20142014
SAC 20142014
FASE 20132013
TACAS 20132013
SAC 20122012
FM 20112011
SAC 20112011
IFM 20102010
ICSE 20092009
IFM 20092009
FASE 20082008
SEFM 20082008
ASE 20072007
IFM 20072007
SEFM 20072007
IFM 20052005
FASE 20032003

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.