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

  1. Stochastic Analysis of BPMN with Time in Rewriting Logic. Francisco Durán, Camilo Rocha, Gwen Salaün. Science of Computer Programming, Elsevier. To appear.
  2. Automated Verification of Automata Communicating via FIFO and Bag Buffers. Lakhdar Akroun, Gwen Salaün. Formal Methods in System Design, 52(3):260-276, Springer, 2018.
  3. Asynchronous Synthesis Techniques for Coordinating Autonomic Managers in the Cloud. Rim Abid, Gwen Salaün, Noel De Palma. Science of Computer Programming, 146:87-103, Elsevier, 2017.
  4. 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.
  5. 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.
  6. 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.
  7. Robust and Reliable Reconfiguration of Cloud Applications. Francisco Durán, Gwen Salaün. Journal of Systems and Software, 122:524-537, Elsevier, 2016.
  8. 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.


  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. Symbolic Specification and Verification of Data-aware BPMN Processes using Rewriting Modulo SMT. Francisco Duran, Camilo Rocha, Gwen Salaün. In Proc. of WRLA'18, LNCS, Springer, April 2018, Thessaloniki, Greece. To appear.
  2. Resilience of Stateful IoT Applications in a Dynamic Fog Environment. Umar Ozeer, Xavier Etchevers, Loic Letondeur, Francois-Gael Ottogalli, Gwen Salaün, Jean-Marc Vincent. In Proc. of MobiQuitous'18, ACM, November 2018, New York, USA. To appear.
  3. Counterexample Simplification for Liveness Property Violation. Gianluca Barbon, Vincent Leroy, Gwen Salaün. In Proc. of SEFM'18, LNCS 10886, Springer, pages 173-188, June 2018, Toulouse, France.
  4. Automated Analysis of Industrial Workflow-based Models. Mario Cortes Cornax, Ajay Krishna, Adrian Mos, Gwen Salaün. In Proc. of SAC'18, ACM Press, pages 120-127, April 2018, Pau, France.
  5. VBPMN: Automated Verification of BPMN Processes. Ajay Krishna, Pascal Poizat, Gwen Salaün. In Proc. of IFM'17, LNCS 10510, Springer, pages 323-331, September 2017, Torino, Italy.
  6. 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.
  7. Debugging of Concurrent Systems using Counterexample Analysis. Gianluca Barbon, Vincent Leroy, Gwen Salaün. In Proc. of FSEN'17, LNCS 10522, Springer, pages 20-34, April 2017, Tehran, Iran.
  8. 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.