| 2026 | COMPSAC | Scalable Blockchain-Based Healthcare Consent Management with Automated Compliance Verification. | Suraj Gupta, Frdric Lang, Umar Ozeer, Gwen Salan |
| 2025 | CoopIS | Incremental Synchronization of BPMN Models and Documentations by Leveraging Structural Algorithms and LLMs. | David Cremer, Benjamin Dalmas, Quentin Nivon, Gwen Salan |
| 2024 | ETFA | Guided Evolution of IEC 61499 Applications. | Irman Faqrizal, Gwen Salan, Ylis Falcone |
| 2024 | FASE | Probabilistic Runtime Enforcement of Executable BPMN Processes. | Ylis Falcone, Gwen Salan, Ahang Zuo |
| 2024 | ICSOC | Automated Generation of BPMN Processes from Textual Requirements. | Quentin Nivon, Gwen Salan |
| 2024 | QRS | Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics. | Ylis Falcone, Gwen Salan, Ahang Zuo |
| 2024 | QRS | Semi-Automated Refactoring of BPMN Processes. | Quentin Nivon, Gwen Salan |
| 2023 | SEFM | Refactoring of Multi-instance BPMN Processes with Time and Resources. | Quentin Nivon, Gwen Salan |
| 2022 | APSEC | Quantifying the Similarity of BPMN Processes. | Gwen Salan |
| 2022 | ICSOC | Optimization of BPMN Processes via Automated Refactoring. | Francisco Durn, Gwen Salan |
| 2022 | IFM | Probabilistic Model Checking of BPMN Processes at Runtime. | Ylis Falcone, Gwen Salan, Ahang Zuo |
| 2022 | SEFM | Runtime Enforcement for IEC 61499 Applications. | Ylis Falcone, Irman Faqrizal, Gwen Salan |
| 2021 | COMPSAC | Consistent Substitution of Object in Rule-based IoT Applications. | Gwen Salan |
| 2021 | ICSE | R-MOZART: A Reconfiguration Tool for WebThings Applications. | Francisco Durn, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salan |
| 2021 | SEAMS | Seamless Reconfiguration of Rule-based IoT Applications. | Francisco Durn, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salan |
| 2021 | SEFM | Runtime Enforcement with Reordering, Healing, and Suppression. | Ylis Falcone, Gwen Salan |
| 2020 | APSEC | Clusters of Faulty States for Debugging Behavioural Models. | Irman Faqrizal, Gwen Salan |
| 2020 | FMICS | Verification of a Failure Management Protocol for Stateful IoT Applications. | Umar Ozeer, Gwen Salan, Loc Letondeur, Franois-Gal Ottogalli, Jean-Marc Vincent |
| 2020 | WWW | MOZART: Design and Deployment of Advanced IoT Applications. | Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salan |
| 2019 | ICIN | Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case. | Umar Ozeer, Loic Letondeur, Franois-Gal Ottogalli, Gwen Salan, Jean-Marc Vincent |
| 2019 | ICSE | Rigorous design and deployment of IoT applications. | Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salan |
| 2019 | ICSE | IoT composer: composition and deployment of IoT applications. | Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salan |
| 2019 | ICSE | Visual debugging of behavioural models. | Gianluca Barbon, Vincent Leroy, Gwen Salan, Emmanuel Yah |
| 2019 | ICSOC | Analysis of Resource Allocation of BPMN Processes. | Francisco Durn, Camilo Rocha, Gwen Salan |
| 2019 | SEFM | Quantifying the Similarity of Non-bisimilar Labelled Transition Systems. | Gwen Salan |
| 2019 | TACAS | Debugging of Behavioural Models with CLEAR. | Gianluca Barbon, Vincent Leroy, Gwen Salan |
| 2018 | Mobiquitous | Resilience of Stateful IoT Applications in a Dynamic Fog Environment. | Umar Ozeer, Xavier Etchevers, Loc Letondeur, Franois-Gal Ottogalli, Gwen Salan, Jean-Marc Vincent |
| 2018 | SAC | Automated analysis of industrial workflow-based models. | Mario Cortes Cornax, Ajay Krishna, Adrian Mos, Gwen Salan |
| 2018 | SEFM | Counterexample Simplification for Liveness Property Violation. | Gianluca Barbon, Vincent Leroy, Gwen Salan |
| 2017 | Coordination | Verifying Timed BPMN Processes Using Maude. | Francisco Durn, Gwen Salan |
| 2017 | IFM | VBPMN: Automated Verification of BPMN Processes (Tool Paper). | Ajay Krishna, Pascal Poizat, Gwen Salan |
| 2017 | SAC | Compatibility flooding: measuring interaction of services interfaces. | Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salan |
| 2016 | SEFM | Stability-Based Adaptation of Asynchronously Communicating Software. | Carlos Canal, Gwen Salan |
| 2015 | FASE | Model-Based Adaptation of Software Communicating via FIFO Buffers. | Carlos Canal, Gwen Salan |
| 2015 | VMCAI | Debugging Process Algebra Specifications. | Gwen Salan, Lina Ye |
| 2014 | FASE | Comparator: A Tool for Quantifying Behavioural Compatibility. | Meriem Ouederni, Gwen Salan, Javier Cmara, Ernesto Pimentel |
| 2014 | ICSOC | Adaptation of Asynchronously Communicating Software. | Carlos Canal, Gwen Salan |
| 2014 | SAC | Reliable self-deployment of cloud applications. | Xavier Etchevers, Gwen Salan, Fabienne Boyer, Thierry Coupaye, Nol De Palma |
| 2013 | ATVA | Verification of a Dynamic Management Protocol for Cloud Applications. | Rim Abid, Gwen Salan, Francesco Bongiovanni, Noel De Palma |
| 2013 | FASE | VerChor: A Framework for Verifying Choreographies. | Matthias Gdemann, Pascal Poizat, Gwen Salan, Alexandre Dumont |
| 2013 | TACAS | PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. | Radu Mateescu, Gwen Salan |
| 2012 | ATVA | Counterexample Guided Synthesis of Monitors for Realizability Enforcement. | Matthias Gdemann, Gwen Salan, Meriem Ouederni |
| 2012 | SAC | Checking the realizability of BPMN 2.0 choreographies. | Pascal Poizat, Gwen Salan |
| 2012 | SAC | Verification of a self-configuration protocol for distributed applications in the cloud. | Gwen Salan, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye |
| 2011 | FM | Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP. | Fabienne Boyer, Olivier Gruber, Gwen Salan |
| 2011 | SAC | Measuring the compatibility of service interaction protocols. | Meriem Ouederni, Gwen Salan, Ernesto Pimentel |
| 2011 | UCC | Automated Configuration of Legacy Applications in the Cloud. | Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel De Palma, Gwen Salan |
| 2010 | ICSOC | Quantifying Service Compatibility: A Step beyond the Boolean Approaches. | Meriem Ouederni, Gwen Salan, Ernesto Pimentel |
| 2010 | IFM | Translating Pi-Calculus into LOTOS NT. | Radu Mateescu, Gwen Salan |
| 2010 | ISoLA | A Case Study in Model-Based Adaptation of Web Services. | Javier Cmara, Jos Antonio Martn, Gwen Salan, Carlos Canal, Ernesto Pimentel |
| 2009 | ICSE | Behavioural self-adaptation of services in ubiquitous computing environments. | Javier Cmara, Carlos Canal, Gwen Salan |
| 2009 | ICSE | ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. | Javier Cmara, Jos Antonio Martn, Gwen Salan, Javier Cubo, Meriem Ouederni, Carlos Canal, Ernesto Pimentel |
| 2009 | IFM | Realizability of Choreographies Using Process Algebra Encodings. | Gwen Salan, Tevfik Bultan |
| 2008 | FASE | Clint: A Composition Language Interpreter (Tool Paper). | Javier Cmara, Gwen Salan, Carlos Canal |
| 2008 | ICSOC | Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. | Radu Mateescu, Pascal Poizat, Gwen Salan |
| 2008 | SEFM | Generation of Service Wrapper Protocols from Choreography Specifications. | Gwen Salan |
| 2007 | Coordination | Context-Based Adaptation of Component Behavioural Interfaces. | Javier Cubo, Gwen Salan, Javier Cmara, Carlos Canal, Ernesto Pimentel |
| 2007 | IFM | Translating FSP into LOTOS and Networks of Automata. | Gwen Salan, Jeff Kramer, Frdric Lang, Jeff Magee |
| 2007 | SEFM | Run-time Composition and Adaptation of Mismatching Behavioural Transactions. | Javier Cmara, Gwen Salan, Carlos Canal |
| 2005 | IFM | Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. | Gwen Salan, Wendelin Serwe |
| 2004 | ICWS | Describing and Reasoning on Web Services using Process Algebra. | Gwen Salan, Lucas Bordeaux, Marco Schaerf |
| 2003 | FASE | Integration of Formal Datatypes within State Diagrams. | J. Christian Attiogb, Pascal Poizat, Gwen Salan |
| 2003 | ICFEM | Formalising an Integrated Language in PVS. | Gwen Salan, J. Christian Attiogb |
| 2002 | COMPSAC | A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. | Gwen Salan, Michel Allemand, J. Christian Attiogb |
| 2001 | APSEC | Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. | Gwen Salan, Michel Allemand, J. Christian Attiogb |