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: Sala=uuml=n:Gwen
Facilitated 2 volumes:
Contributed to:
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.