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

  1. Models and analysis for user-driven reconfiguration of rule-based IoT applications. Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün. Internet of Things, 19, Elsevier, 2022.
  2. Design and Deployment of Expressive and Correct Web of Things Applications. Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün. ACM Transactions on Internet of Things, 3(1): 1-30, 2022.
  3. Resource provisioning strategies for BPMN processes: Specification and analysis using Maude. Francisco Durán, Camilo Rocha, Gwen Salaün. J. Log. Algebraic Methods Program., 123, Elsevier, 2021.
  4. Quantifying the Similarity of Non-bisimilar Labelled Transition Systems. Gwen Salaün. Science of Computer Programming, 202, Elsevier, 2021.
  5. Debugging of Behavioural Models using Counterexample Analysis. Gianluca Barbon, Vincent Leroy, Gwen Salaün. IEEE Transactions on Software Engineering, 47(6): 1184-1197, 2021.
  6. F3ARIoT: A Frame- work for Autonomic Resilience of IoT Applications in the Fog. Umar Ozeer, Loic Letondeur, Gwen Salaün, Francois-Gael Ottogalli, Jean-Marc Vincent. Internet of Things Journal, 12, Elsevier, 2020.
  7. A Rewriting Logic Approach to Resource Allocation Analysis in Business Process Models. Francisco Durán, Camilo Rocha, Gwen Salaün. Science of Computer Programming, 183, Elsevier, 2019.
  8. Checking Business Process Evolution. Ajay Krishna, Pascal Poizat, Gwen Salaün. Science of Computer Programming, 170: 1-26, Elsevier, 2019.


  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. Probabilistic Model Checking of BPMN Processes at Runtime. Ylies Falcone, Gwen Salaün, Ahang Zuo. In Proc. of IFM'22, LNCS 13274, Springer, pages 191-208, June 2022, Lugano, Switzerland.
  2. From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. Francisco Duran, Ylies Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo. In Proc. of WRLA'22, LNCS 13252, Springer, pages 3-21, April 2022, Munchen, Germany.
  3. Counting Bugs in Behavioural Models using Counterexample Analysis. Irman Faqrizal, Gwen Salaün. In Proc. of FORMALISE'22, ACM, pages 12-22, May 2022, Pittsburgh, USA.
  4. Runtime Enforcement with Reordering, Healing, and Suppression. Ylies Falcone, Gwen Salaün. In Proc. of SEFM'21, LNCS 13085, Springer, pages 47-65, December 2021, Virtual Event.
  5. Business Process Models for Analysis of Industrial IoT Applications. Ajay Krishna, Gwen Salaün. In Proc. of IoT'21, ACM, November 2021, St Gallen, Switzerland.
  6. Semi-automated Modelling of Optimized BPMN Processes. Ylies Falcone, Gwen Salaün, Ahang Zuo. In Proc. of SCC'21, IEEE, pages 425-430, September 2021, Virtual Event.
  7. Consistent Substitution of Object in Rule-based IoT Applications. Gwen Salaün. In Proc. of COMPSAC'21, IEEE, pages 1040-1048, July 2021, Virtual Event.
  8. R-MOZART: A Reconfiguration Tool for WebThings Applications. Francisco Duran, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün. In Proc. of ICSE'21, ACM/IEEE, pages 41-44, May 2021, Virtual Event.