Please check dblp or Google Scholar for full lists of publications.

  1. Reliable Self-deployment of Distributed Cloud Applications. Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel de Palma. Software: Practice and Experience, 47(1):3-20, Wiley, 2017.
  2. Formal Design of Dynamic Reconfiguration Protocol for Cloud Applications. Rim Abid, Gwen Salaün, Noel De Palma. Science of Computer Programming, 117:1-16, Elsevier, 2016.
  3. VerChor: A Framework for the Design and Verification of Choreographies. Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye. IEEE Transactions on Services Computing, 9(4):647-660, 2016.
  4. Robust and Reliable Reconfiguration of Cloud Applications. Francisco Durán, Gwen Salaün. Journal of Systems and Software, 122:524-537, Elsevier, 2016.
  5. An Experience Report on the Verification of Autonomic Protocols in the Cloud. Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel de Palma, Xavier Etchevers, Olivier Gruber. Innovations in Systems and Software Engineering, Springer, 9(2):105-117, 2013.
  6. Realizability of Choreographies using Process Algebra Encodings. Gwen Salaün, Tevfik Bultan, Nima Roohi. IEEE Transactions on Services Computing, 5(3):290-304, 2012.
  7. Structural Reconfiguration of Components under Behavioral Adaptation. Carlos Canal, Javier Cámara, Gwen Salaün. Science of Computer Programming, 78(1):46-64, Elsevier, 2012.
  8. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. Radu Mateescu, Pascal Poizat, Gwen Salaün. IEEE Transactions on Software Engineering, 38(4):755-777, 2012.


  1. Verification of a Self-configuration Protocol for Distributed Applications in the Cloud. Gwen Salaün, Xavier Etchevers, Noel de Palma, Fabienne Boyer, Thierry Coupaye. In Assurances for Self-Adaptive Systems, LNCS 7740, Springer, pages 60-79, 2013.

  1. Verifying Timed BPMN Processes using Maude. Francisco Duran, Gwen Salaün. In Proc. of COORDINATION'17, LNCS, Springer, June 2017, Neuchatel, Switzerland. To appear.
  2. Debugging of Concurrent Systems using Counterexample Analysis. Gianluca Barbon, Vincent Leroy, Gwen Salaün. In Proc. of FSEN'17, LNCS, Springer, April 2017, Tehran, Iran. To appear.
  3. Compatibility Flooding: Measuring Interaction of Services Interfaces. Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün. In Proc. of SAC'17, ACM Press, April 2017, Marrakech, Morocco. To appear.
  4. Checking Business Process Evolution. Pascal Poizat, Gwen Salaün, Ajay Krishna. In Proc. of FACS'16, LNCS, Springer, October 2016, Besancon, France. To appear.
  5. Stability-based Adaptation of Asynchronously Communicating Software. Carlos Canal, Gwen Salaün. In Proc. of SEFM'16, LNCS 9763, Springer, pages 321-336, July 2016, Vienna, Austria.
  6. Automated Analysis of Asynchronously Communicating Systems. Lakhdar Akroun, Gwen Salaün, Lina Ye. In Proc. of SPIN'16, LNCS 9641, Springer, pages 1-18, April 2016, Eindhoven, The netherlands.
  7. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak-Kare Gueye. In Proc. of FACS'15, LNCS 9539, Springer, pages 48-65, October 2015, Rio de Janeiro, Brazil.
  8. Model-Based Adaptation of Software Communicating via FIFO Buffers. Carlos Canal, Gwen Salaün. In Proc. of FASE'15, LNCS 9033, Springer, pages 252-266, April 2015, London, France.