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. VBPMN: Automated Verification of BPMN Processes. Ajay Krishna, Pascal Poizat, Gwen Salaün. In Proc. of IFM'17, LNCS, Springer, September 2017, Torino, Italy. To appear.
  2. Verifying Timed BPMN Processes using Maude. Francisco Duran, Gwen Salaün. In Proc. of COORDINATION'17, LNCS 10319, Springer, pages 219-236, June 2017, Neuchatel, Switzerland.
  3. 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.
  4. Compatibility Flooding: Measuring Interaction of Services Interfaces. Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün. In Proc. of SAC'17, ACM Press, pages 1334-1340, April 2017, Marrakech, Morocco.
  5. Checking Business Process Evolution. Pascal Poizat, Gwen Salaün, Ajay Krishna. In Proc. of FACS'16, LNCS 10231, Springer, pages 36-53, October 2016, Besancon, France.
  6. 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.
  7. 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.
  8. 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.