Gwen Salaün

VerChor: A Framework for the Design and Verification of Choreographies

Matthias Güdemann, Pascal Poizat, Gwen Salaün et al. · IEEE Transactions on Services Computing · 2015 · 42 citations · Full text

Computing, Computer Science, Systems Engineering +7

Resilience of Stateful IoT Applications in a Dynamic Fog Environment

Umar Ozeer, Xavier Etchevers, Loïc Letondeur et al. · 2018 · 40 citations · Full text

Computing, Computer Engineering, Computer Systems +17

Robust and reliable reconfiguration of cloud applications

Francisco Durán, Gwen Salaün · Journal of Systems and Software · 2015 · 29 citations · Full text

Computing, Cloud Computing, Computer Engineering +14

Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development

Antonella Chirichiello, Gwen Salaün · 2005 · 29 citations

Computing, Computer Science, Information Systems +13

A generic framework for <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" display="inline" overflow="scroll"><mml:mi>n</mml:mi></mml:math>-protocol compatibility checking

Francisco Durán, Meriem Ouederni, Gwen Salaün · Science of Computer Programming · 2011 · 24 citations

Computing, Computer Science, Security Protocols +3