Formal Framework for a Generic Combination of a Process Algebra with an Algebraic Specification Language. - Gwen Salaün; Michel Allemand; J. Christian Attiogbé (APSEC, 2001)

A Method to Combine any Process Algebra with an Algebraic Specification Language: the p-Calculus Example. - Gwen Salaün; Michel Allemand; J. Christian Attiogbé (COMPSAC, 2002)

Specification of an Access Control System with a Formalism Combining CCS and CASL. - Gwen Salaün; Michel Allemand; J. Christian Attiogbé (IPDPS, 2002)

Foundations for a Combination of Heterogeneous Specification Components. - Gwen Salaün; Michel Allemand; J. Christian Attiogbé (Formal Methods and Component Interaction @ ICALP, 2002)

Integration of Formal Datatypes within State Diagrams. - J. Christian Attiogbé; Pascal Poizat; Gwen Salaün (FASE, 2003)

Formalising an Integrated Language in PVS. - Gwen Salaün; J. Christian Attiogbé (ICFEM, 2003)

Specification of a Gas Station Using a Formalism Integrating Formal Datatypes within State Diagrams. - J. Christian Attiogbé; Pascal Poizat; Gwen Salaün (IPDPS, 2003)

Negotiation Among Web Services Using LOTOS/CADP. - Gwen Salaün; Andrea Ferrara; Antonella Chirichiello (ECOWS, 2004)

Using Process Algebra for Web Services: Early Results and Perspectives. - Lucas Bordeaux; Gwen Salaün (TES, 2004)

When are Two Web Services Compatible? - Lucas Bordeaux; Gwen Salaün; Daniela Berardi; Massimo Mecella (TES, 2004)

Interacting Extended State Diagrams. - Gwen Salaün; Pascal Poizat (SFEDL@ETAPS, 2004)

MIAOw: a Method to Integrate a Process Algebra with Formal Data. - Gwen Salaün; J. Christian Attiogbé (Informatica (Slovenia), 2004)

Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS. - Gwen Salaün; Wendelin Serwe (IFM, 2005)

Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. - Antonella Chirichiello; Gwen Salaün (Web Intelligence, 2005)

Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation. - Carlos Canal; Pascal Poizat; Gwen Salaün (CAL, 2006)

Synchronizing Behavioural Mismatch in Software Composition. - Carlos Canal; Pascal Poizat; Gwen Salaün (FMOODS, 2006)

Bounded Analysis and Decomposition for Behavioural Descriptions of Components. - Pascal Poizat; Jean-Claude Royer; Gwen Salaün (FMOODS, 2006)

An Adaptation-based Approach to Incrementally Build Component Systems. - Pascal Poizat; Gwen Salaün; Massimo Tivoli (FACS, 2006)

Describing and reasoning on Web Services using Process Algebra. - Gwen Salaün; Lucas Bordeaux; Marco Schaerf (Int. J. Bus. Process. Integr. Manag., 2006)

Formal Verification of CHP Specifications with CADP Illustration on an Asynchronous Network-on-Chip. - Gwen Salaün; Wendelin Serwe; Yvain Thonnart; Pascal Vivet (ASYNC, 2007)

Context-Based Adaptation of Component Behavioural Interfaces. - Javier Cubo; Gwen Salaün; Javier Cámara 001; Carlos Canal; Ernesto Pimentel 001 (COORDINATION, 2007)

Adaptation of Open Component-Based Systems. - Pascal Poizat; Gwen Salaün (FMOODS, 2007)

Translating FSP into LOTOS and Networks of Automata. - Gwen Salaün; Jeff Kramer; Frédéric Lang; Jeff Magee (IFM, 2007)

Behavioral adaptation of component compositions based on process algebra encodings. - Radu Mateescu 001; Pascal Poizat; Gwen Salaün (ASE, 2007)

Run-time Composition and Adaptation of Mismatching Behavioural Transactions. - Javier Cámara 001; Gwen Salaün; Carlos Canal (SEFM, 2007)

Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. - Javier Cámara 001; Carlos Canal; Gwen Salaün (FACS, 2007)

A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. - Javier Cubo; Gwen Salaün; Carlos Canal; Ernesto Pimentel 001; Pascal Poizat (FACS, 2007)

A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes. - J. Christian Attiogbé; Pascal Poizat; Gwen Salaün (IEEE Trans. Software Eng., 2007)

Encoding process algebraic descriptions of web services into BPEL. - Antonella Chirichiello; Gwen Salaün (Web Intell. Agent Syst., 2007)

Clint: A Composition Language Interpreter (Tool Paper). - Javier Cámara 001; Gwen Salaün; Carlos Canal (FASE, 2008)

Generation of Service Wrapper Protocols from Choreography Specifications. - Gwen Salaün (SEFM, 2008)

Composition and Run-time Adaptation of Mismatching Behavioural Interfaces. - Javier Cámara 001; Gwen Salaün; Carlos Canal (J. Univers. Comput. Sci., 2008)

Model-Based Adaptation of Behavioral Mismatching Components. - Carlos Canal; Pascal Poizat; Gwen Salaün (IEEE Trans. Software Eng., 2008)

Behavioural self-adaptation of services in ubiquitous computing environments. - Javier Cámara 001; Carlos Canal; Gwen Salaün (SEAMS, 2009)

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services. - Javier Cámara 001; José Antonio Martín; Gwen Salaün; Javier Cubo; Meriem Ouederni; Carlos Canal; Ernesto Pimentel 001 (ICSE, 2009)

Realizability of Choreographies Using Process Algebra Encodings. - Gwen Salaün; Tevfik Bultan (IFM, 2009)

Interactive Specification and Verification of Behavioural Adaptation Contracts. - Javier Cámara 001; Gwen Salaün; Carlos Canal; Meriem Ouederni (QSIC, 2009)

A formal model and composition language for context-aware service protocols. - Javier Cubo; Carlos Canal; Ernesto Pimentel 001; Gwen Salaün (CASTA@ESEC/SIGSOFT FSE, 2009)

A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. - Antonio Cansado; Carlos Canal; Gwen Salaün; Javier Cubo (FACS@FMWeek, 2009)

Checking Protocol Compatibility using Maude. - Francisco Durán 001; Meriem Ouederni; Gwen Salaün (FOCLASA, 2009)

Analyzing Chor Specifications by Translation into FSP. - Nima Roohi; Gwen Salaün; Seyed-Hassan Mirian-Hosseinabadi (FOCLASA, 2009)

On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. - Hubert Garavel; Gwen Salaün; Wendelin Serwe (Sci. Comput. Program., 2009)

Quantifying Service Compatibility: A Step beyond the Boolean Approaches. - Meriem Ouederni; Gwen Salaün; Ernesto Pimentel 001 (ICSOC, 2010)

Translating Pi-Calculus into LOTOS NT. - Radu Mateescu 001; Gwen Salaün (IFM, 2010)

A Case Study in Model-Based Adaptation of Web Services. - Javier Cámara 001; José Antonio Martín; Gwen Salaün; Carlos Canal; Ernesto Pimentel 001 (ISoLA (2), 2010)

Handling Data-Based Concurrency in Context-Aware Service Protocols - Javier Cubo; Ernesto Pimentel 001; Gwen Salaün; Carlos Canal (FOCLASA, 2010)

Analysis and Verification of Service Interaction Protocols - A Brief Survey - Gwen Salaün (TAV-WEB, 2010)

Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability - Meriem Ouederni; Gwen Salaün (WCSI, 2010)

Semi-Automatic Specification of Behavioural Service Adaptation Contracts. - Javier Cámara 001; José Antonio Martín; Gwen Salaün; Carlos Canal; Ernesto Pimentel 001 (FESCA@ETAPS, 2010)

Translating FSP into LOTOS and networks of automata. - Frédéric Lang; Gwen Salaün; Rémi Hérilier; Jeff Kramer; Jeff Magee (Formal Aspects Comput., 2010)

Client Update: A Solution for Service Evolution. - Meriem Ouederni; Gwen Salaün; Ernesto Pimentel 001 (IEEE SCC, 2011)

Realizability of Choreographies for Services Interacting Asynchronously. - Gregor Gößler; Gwen Salaün (FACS, 2011)

Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP. - Fabienne Boyer; Olivier Gruber; Gwen Salaün (FM, 2011)

Measuring the compatibility of service interaction protocols. - Meriem Ouederni; Gwen Salaün; Ernesto Pimentel 001 (SAC, 2011)

Automated Configuration of Legacy Applications in the Cloud. - Xavier Etchevers; Thierry Coupaye; Fabienne Boyer; Noel De Palma; Gwen Salaün (UCC, 2011)

Realizability and Dynamic Reconfiguration of Chor Specifications. - Nima Roohi; Gwen Salaün (Informatica (Slovenia), 2011)

Counterexample Guided Synthesis of Monitors for Realizability Enforcement. - Matthias Güdemann; Gwen Salaün; Meriem Ouederni (ATVA, 2012)

Checking the realizability of BPMN 2.0 choreographies. - Pascal Poizat; Gwen Salaün (SAC, 2012)

Verification of a self-configuration protocol for distributed applications in the cloud. - Gwen Salaün; Xavier Etchevers; Noel De Palma; Fabienne Boyer; Thierry Coupaye (SAC, 2012)

Interactive specification and verification of behavioral adaptation contracts. - Javier Cámara 001; Gwen Salaün; Carlos Canal; Meriem Ouederni (Inf. Softw. Technol., 2012)

Structural reconfiguration of systems under behavioral adaptation. - Carlos Canal; Javier Cámara 001; Gwen Salaün (Sci. Comput. Program., 2012)

A generic framework for n-protocol compatibility checking. - Francisco Durán 001; Meriem Ouederni; Gwen Salaün (Sci. Comput. Program., 2012)

Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09). - Gwen Salaün; Marjan Sirjani (Sci. Comput. Program., 2012)

Realizability of Choreographies Using Process Algebra Encodings. - Gwen Salaün; Tevfik Bultan; Nima Roohi (IEEE Trans. Serv. Comput., 2012)

Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. - Radu Mateescu 001; Pascal Poizat; Gwen Salaün (IEEE Trans. Software Eng., 2012)

Verification of a Dynamic Management Protocol for Cloud Applications. - Rim Abid; Gwen Salaün; Francesco Bongiovanni; Noel De Palma (ATVA, 2013)

Compatibility Checking for Asynchronously Communicating Software. - Meriem Ouederni; Gwen Salaün; Tevfik Bultan (FACS, 2013)

VerChor: A Framework for Verifying Choreographies. - Matthias Güdemann; Pascal Poizat; Gwen Salaün; Alexandre Dumont (FASE, 2013)

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. - Radu Mateescu 001; Gwen Salaün (TACAS, 2013)

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 (Innov. Syst. Softw. Eng., 2013)

Verification of a Self-configuration Protocol for Distributed Applications in the Cloud. - Gwen Salaün; Xavier Etchevers; Noel De Palma; Fabienne Boyer; Thierry Coupaye (Assurances for Self-Adaptive Systems, 2013)

Robust reconfiguration of cloud applications. - Francisco Durán 001; Gwen Salaün (CBSE, 2014)

Quantifying the parallelism in BPMN processes using model checking. - Radu Mateescu 001; Gwen Salaün; Lina Ye (CBSE, 2014)

Comparator: A Tool for Quantifying Behavioural Compatibility. - Meriem Ouederni; Gwen Salaün; Javier Cámara 001; Ernesto Pimentel 001 (FASE, 2014)

Adaptation of Asynchronously Communicating Software. - Carlos Canal; Gwen Salaün (ICSOC, 2014)

Reliable self-deployment of cloud applications. - Xavier Etchevers; Gwen Salaün; Fabienne Boyer; Thierry Coupaye; Noël De Palma (SAC, 2014)

Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10). - Mohammad Reza Mousavi 001; Gwen Salaün (Sci. Comput. Program., 2014)

Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12). - Corina S. Pasareanu; Gwen Salaün (Sci. Comput. Program., 2014)

Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11). - Gwen Salaün; Bernhard Schätz (Sci. Comput. Program., 2014)

Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. - Rim Abid; Gwen Salaün; Noel De Palma; Soguy Mak Karé Gueye (FACS, 2015)

Model-Based Adaptation of Software Communicating via FIFO Buffers. - Carlos Canal; Gwen Salaün (FASE, 2015)

Debugging Process Algebra Specifications. - Gwen Salaün; Lina Ye (VMCAI, 2015)

Stability-Based Adaptation of Asynchronously Communicating Software. - Carlos Canal; Gwen Salaün (SEFM, 2016)

Automated Analysis of Asynchronously Communicating Systems. - Lakhdar Akroun; Gwen Salaün; Lina Ye (SPIN, 2016)

Robust and reliable reconfiguration of cloud applications. - Francisco Durán 001; Gwen Salaün (J. Syst. Softw., 2016)

Formal design of dynamic reconfiguration protocol for cloud applications. - Rim Abid; Gwen Salaün; Noel De Palma (Sci. Comput. Program., 2016)

Special issue on Software Verification and Testing (SAC-SVT'15). - Gwen Salaün; Mariëlle Stoelinga (Sci. Comput. Program., 2016)

VerChor: A Framework for the Design and Verification of Choreographies. - Matthias Güdemann; Pascal Poizat; Gwen Salaün; Lina Ye (IEEE Trans. Serv. Comput., 2016)

Verifying Timed BPMN Processes Using Maude. - Francisco Durán 001; Gwen Salaün (COORDINATION, 2017)

Debugging of Concurrent Systems Using Counterexample Analysis. - Gianluca Barbon; Vincent Leroy 001; Gwen Salaün (FSEN, 2017)

VBPMN: Automated Verification of BPMN Processes (Tool Paper). - Ajay Krishna 001; Pascal Poizat; Gwen Salaün (IFM, 2017)

Compatibility flooding: measuring interaction of services interfaces. - Meriem Ouederni; Uli Fahrenberg; Axel Legay; Gwen Salaün (SAC, 2017)

Preface: Special issue on software verification and testing. - Mercedes G. Merayo; Gwen Salaün (J. Syst. Softw., 2017)

Asynchronous synthesis techniques for coordinating autonomic managers in the cloud. - Rim Abid; Gwen Salaün; Noel De Palma (Sci. Comput. Program., 2017)

Reliable self-deployment of distributed cloud applications. - Xavier Etchevers; Gwen Salaün; Fabienne Boyer; Thierry Coupaye; Noel De Palma (Softw. Pract. Exp., 2017)

Resilience of Stateful IoT Applications in a Dynamic Fog Environment. - Umar Ozeer; Xavier Etchevers; Loïc Letondeur; François-Gaël Ottogalli; Gwen Salaün; Jean-Marc Vincent (MobiQuitous, 2018)

Automated analysis of industrial workflow-based models. - Mario Cortes Cornax; Ajay Krishna 001; Adrian Mos; Gwen Salaün (SAC, 2018)

Counterexample Simplification for Liveness Property Violation. - Gianluca Barbon; Vincent Leroy 001; Gwen Salaün (SEFM, 2018)

Computing the Parallelism Degree of Timed BPMN Processes. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (STAF Workshops, 2018)

Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (WRLA@ETAPS, 2018)

Automated verification of automata communicating via FIFO and bag buffers. - Lakhdar Akroun; Gwen Salaün (Formal Methods Syst. Des., 2018)

Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems. - Carlos Canal; Gwen Salaün (Sci. Comput. Program., 2018)

Stochastic analysis of BPMN with time in rewriting logic. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (Sci. Comput. Program., 2018)

Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case. - Umar Ozeer; Loic Letondeur; François-Gaël Ottogalli; Gwen Salaün; Jean-Marc Vincent (ICIN, 2019)

Rigorous design and deployment of IoT applications. - Ajay Krishna 001; Michel Le Pallec; Radu Mateescu 001; Ludovic Noirie; Gwen Salaün (FormaliSE@ICSE, 2019)

IoT composer: composition and deployment of IoT applications. - Ajay Krishna 001; Michel Le Pallec; Radu Mateescu 001; Ludovic Noirie; Gwen Salaün (ICSE (Companion Volume), 2019)

Visual debugging of behavioural models. - Gianluca Barbon; Vincent Leroy 001; Gwen Salaün; Emmanuel Yah (ICSE (Companion Volume), 2019)

Analysis of Resource Allocation of BPMN Processes. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (ICSOC, 2019)

Debugging of Behavioural Models with CLEAR. - Gianluca Barbon; Vincent Leroy 001; Gwen Salaün (TACAS (1), 2019)

Automated Composition, Analysis and Deployment of IoT Applications. - Francisco Durán 001; Gwen Salaün; Ajay Krishna 001 (TOOLS, 2019)

A rewriting logic approach to resource allocation analysis in business process models. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (Sci. Comput. Program., 2019)

Checking business process evolution. - Ajay Krishna 001; Pascal Poizat; Gwen Salaün (Sci. Comput. Program., 2019)

Clusters of Faulty States for Debugging Behavioural Models. - Irman Faqrizal; Gwen Salaün (APSEC, 2020)

Verification of a Failure Management Protocol for Stateful IoT Applications. - Umar Ozeer; Gwen Salaün; Loïc Letondeur; François-Gaël Ottogalli; Jean-Marc Vincent (FMICS, 2020)

Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (WRLA@ETAPS, 2020)

MOZART: Design and Deployment of Advanced IoT Applications. - Ajay Krishna 001; Michel Le Pallec; Alejandro Martinez; Radu Mateescu 001; Gwen Salaün (WWW (Companion Volume), 2020)

F3ARIoT: A framework for autonomic resilience of IoT applications in the Fog. - Umar Ozeer; Loïc Letondeur; Gwen Salaün; François-Gaël Ottogalli; Jean-Marc Vincent (Internet Things, 2020)

Semi-automated Modelling of Optimized BPMN Processes. - Yliès Falcone; Gwen Salaün; Ahang Zuo (SCC, 2021)

Consistent Substitution of Object in Rule-based IoT Applications. - Gwen Salaün (COMPSAC, 2021)

R-MOZART: A Reconfiguration Tool for WebThings Applications. - Francisco Durán 001; Ajay Krishna 001; Michel Le Pallec; Radu Mateescu 001; Gwen Salaün (ICSE (Companion Volume), 2021)

Business Process Models for Analysis of Industrial IoT Applications. - Ajay Krishna 001; Gwen Salaün (IOT, 2021)

Seamless Reconfiguration of Rule-based IoT Applications. - Francisco Durán 001; Ajay Krishna 001; Michel Le Pallec; Radu Mateescu 001; Gwen Salaün (SEAMS@ICSE, 2021)

Runtime Enforcement with Reordering, Healing, and Suppression. - Yliès Falcone; Gwen Salaün (SEFM, 2021)

Resource provisioning strategies for BPMN processes: Specification and analysis using Maude. - Francisco Durán 001; Camilo Rocha; Gwen Salaün (J. Log. Algebraic Methods Program., 2021)

Quantifying the similarity of non-bisimilar labelled transition systems. - Gwen Salaün (Sci. Comput. Program., 2021)

Software engineering and formal methods: SEFM 2019 special section. - Peter Csaba Ölveczky; Gwen Salaün (Softw. Syst. Model., 2021)

Debugging of Behavioural Models using Counterexample Analysis. - Gianluca Barbon; Vincent Leroy 001; Gwen Salaün (IEEE Trans. Software Eng., 2021)

Quantifying the Similarity of BPMN Processes. - Gwen Salaün (APSEC, 2022)

WEASY: A Tool for Modelling Optimised BPMN Processes. - Angel Contreras; Yliès Falcone; Gwen Salaün; Ahang Zuo (FACS, 2022)

Debugging of BPMN Processes Using Coloring Techniques. - Quentin Nivon; Gwen Salaün (FACS, 2022)

Counting Bugs in Behavioural Models using Counterexample Analysis. - Irman Faqrizal; Gwen Salaün (FormaliSE@ICSE, 2022)

Optimization of BPMN Processes via Automated Refactoring. - Francisco Durán 001; Gwen Salaün (ICSOC, 2022)

Probabilistic Model Checking of BPMN Processes at Runtime. - Yliès Falcone; Gwen Salaün; Ahang Zuo (IFM, 2022)

Probabilistic Analysis of Industrial IoT Applications. - Irman Faqrizal; Gwen Salaün; Yliès Falcone (IOT, 2022)

Runtime Enforcement for IEC 61499 Applications. - Yliès Falcone; Irman Faqrizal; Gwen Salaün (SEFM, 2022)

From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. - Francisco Durán 001; Yliès Falcone; Camilo Rocha; Gwen Salaün; Ahang Zuo (WRLA@ETAPS, 2022)

Models and analysis for user-driven reconfiguration of rule-based IoT applications. - Francisco Durán 001; Ajay Krishna 001; Michel Le Pallec; Radu Mateescu 001; Gwen Salaün (Internet Things, 2022)

Design and Deployment of Expressive and Correct Web of Things Applications. - Ajay Krishna 001; Michel Le Pallec; Radu Mateescu 001; Gwen Salaün (ACM Trans. Internet Things, 2022)

Modelling and Verification of an Application for Managing Sensitive Health Data. - Almo Cuci; Umar Ozeer; Gwen Salaün (DataMod, 2023)

Refactoring of Multi-instance BPMN Processes with Time and Resources. - Quentin Nivon; Gwen Salaün (SEFM, 2023)

Editorial for FACS 2021 special section (SoSyM). - Gwen Salaün (Softw. Syst. Model., 2023)

Guided Evolution of IEC 61499 Applications. - Irman Faqrizal; Gwen Salaün; Yliès Falcone (ETFA, 2024)

Probabilistic Runtime Enforcement of Executable BPMN Processes. - Yliès Falcone; Gwen Salaün; Ahang Zuo (FASE, 2024)

Probabilistic Model Checking for IEC 61499: A Manufacturing Application. - Irman Faqrizal; Tatiana Liakh; Midhun Xavier; Gwen Salaün; Valeriy Vyatkin (ICIT, 2024)

Automated Repair of Violated Eventually Properties in Concurrent Programs. - Irman Faqrizal; Quentin Nivon; Gwen Salaün (FormaliSE@ICSE, 2024)

Automated Generation of BPMN Processes from Textual Requirements. - Quentin Nivon; Gwen Salaün (ICSOC (1), 2024)

Dynamic Resource Allocation for Executable BPMN Processes Leveraging Predictive Analytics. - Yliès Falcone; Gwen Salaün; Ahang Zuo (QRS, 2024)

Semi-Automated Refactoring of BPMN Processes. - Quentin Nivon; Gwen Salaün (QRS, 2024)

Adaptive Industrial Control Systems via IEC 61499 and Runtime Enforcement. - Irman Faqrizal; Gwen Salaün; Yliès Falcone (ACM Trans. Auton. Adapt. Syst., 2024)

GIVUP: Automated Generation and Verification of Textual Process Descriptions. - Quentin Nivon; Gwen Salaün; Frédéric Lang (SIGSOFT FSE Companion, 2025)