Gwen Salaün

ORCID

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 63

Top Venues

Sci. Comput. Program.

SEFM

FACS

FormaliSE@ICSE

Publications

Irman Faqrizal, Tatiana Liakh, Midhun Xavier, Gwen Salaün, Valeriy Vyatkin
Probabilistic Model Checking for IEC 61499: A Manufacturing Application. ICIT (2024)
Irman Faqrizal, Quentin Nivon, Gwen Salaün
Automated Repair of Violated Eventually Properties in Concurrent Programs. FormaliSE@ICSE (2024)
Yliès Falcone, Gwen Salaün, Ahang Zuo
Probabilistic Runtime Enforcement of Executable BPMN Processes. FASE (2024)
Quentin Nivon, Gwen Salaün
Refactoring of Multi-instance BPMN Processes with Time and Resources. SEFM (2023)
Gwen Salaün
Editorial for FACS 2021 special section (SoSyM). Softw. Syst. Model. 22 (2) (2023)
Yliès Falcone, Irman Faqrizal, Gwen Salaün
Runtime Enforcement for IEC 61499 Applications. SEFM (2022)
Yliès Falcone, Gwen Salaün, Ahang Zuo
Probabilistic Model Checking of BPMN Processes at Runtime. IFM (2022)
Quentin Nivon, Gwen Salaün
Debugging of BPMN Processes Using Coloring Techniques. FACS (2022)
Irman Faqrizal, Gwen Salaün
Counting Bugs in Behavioural Models using Counterexample Analysis. FormaliSE@ICSE (2022)
Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
Models and analysis for user-driven reconfiguration of rule-based IoT applications. Internet Things 19 (2022)
Francisco Durán, Yliès Falcone, Camilo Rocha, Gwen Salaün, Ahang Zuo
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes. WRLA@ETAPS (2022)
Angel Contreras, Yliès Falcone, Gwen Salaün, Ahang Zuo
WEASY: A Tool for Modelling Optimised BPMN Processes. FACS (2022)
Francisco Durán, Gwen Salaün
Optimization of BPMN Processes via Automated Refactoring. ICSOC (2022)
Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
Design and Deployment of Expressive and Correct Web of Things Applications. ACM Trans. Internet Things 3 (1) (2022)
Irman Faqrizal, Gwen Salaün, Yliès Falcone
Probabilistic Analysis of Industrial IoT Applications. IOT (2022)
Gwen Salaün
Quantifying the Similarity of BPMN Processes. APSEC (2022)
Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
R-MOZART: A Reconfiguration Tool for WebThings Applications. ICSE (Companion Volume) (2021)
Ajay Krishna, Gwen Salaün
Business Process Models for Analysis of Industrial IoT Applications. IOT (2021)
Gwen Salaün
Quantifying the similarity of non-bisimilar labelled transition systems. Sci. Comput. Program. 202 (2021)
Gwen Salaün
Consistent Substitution of Object in Rule-based IoT Applications. COMPSAC (2021)
Yliès Falcone, Gwen Salaün
Runtime Enforcement with Reordering, Healing, and Suppression. SEFM (2021)
Gianluca Barbon, Vincent Leroy, Gwen Salaün
Debugging of Behavioural Models using Counterexample Analysis. IEEE Trans. Software Eng. 47 (6) (2021)
Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
Seamless Reconfiguration of Rule-based IoT Applications. SEAMS@ICSE (2021)
Peter Csaba Ölveczky, Gwen Salaün
Software engineering and formal methods: SEFM 2019 special section. Softw. Syst. Model. 20 (2) (2021)
Yliès Falcone, Gwen Salaün, Ahang Zuo
Semi-automated Modelling of Optimized BPMN Processes. SCC (2021)
Francisco Durán, Camilo Rocha, Gwen Salaün
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude. J. Log. Algebraic Methods Program. 123 (2021)
Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salaün
MOZART: Design and Deployment of Advanced IoT Applications. WWW (Companion Volume) (2020)
Umar Ozeer, Loïc Letondeur, Gwen Salaün, François-Gaël Ottogalli, Jean-Marc Vincent
ARIoT: A framework for autonomic resilience of IoT applications in the Fog. Internet Things 12 (2020)
Irman Faqrizal, Gwen Salaün
Clusters of Faulty States for Debugging Behavioural Models. APSEC (2020)
Francisco Durán, Camilo Rocha, Gwen Salaün
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude. WRLA@ETAPS (2020)
Umar Ozeer, Gwen Salaün, Loïc Letondeur, François-Gaël Ottogalli, Jean-Marc Vincent
Verification of a Failure Management Protocol for Stateful IoT Applications. FMICS (2020)
Gwen Salaün
Quantifying the Similarity of Non-bisimilar Labelled Transition Systems. SEFM Workshops (2019)
Ajay Krishna, Pascal Poizat, Gwen Salaün
Checking business process evolution. Sci. Comput. Program. 170 (2019)
Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
Rigorous design and deployment of IoT applications. FormaliSE@ICSE (2019)
Francisco Durán, Camilo Rocha, Gwen Salaün
A rewriting logic approach to resource allocation analysis in business process models. Sci. Comput. Program. 183 (2019)
Gianluca Barbon, Vincent Leroy, Gwen Salaün
Debugging of Behavioural Models with CLEAR. TACAS (1) (2019)
Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
IoT composer: composition and deployment of IoT applications. ICSE (Companion Volume) (2019)
Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah
Visual debugging of behavioural models. ICSE (Companion Volume) (2019)
Francisco Durán, Gwen Salaün, Ajay Krishna
Automated Composition, Analysis and Deployment of IoT Applications. TOOLS (2019)
Umar Ozeer, Loic Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent
Designing and Implementing Resilient IoT Applications in the Fog: A Smart Home Use Case. ICIN (2019)
Francisco Durán, Camilo Rocha, Gwen Salaün
Analysis of Resource Allocation of BPMN Processes. ICSOC (2019)
Gianluca Barbon, Vincent Leroy, Gwen Salaün
Counterexample Simplification for Liveness Property Violation. SEFM (2018)
Mario Cortes Cornax, Ajay Krishna, Adrian Mos, Gwen Salaün
Automated analysis of industrial workflow-based models. SAC (2018)
Francisco Durán, Camilo Rocha, Gwen Salaün
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. WRLA@ETAPS (2018)
Umar Ozeer, Xavier Etchevers, Loïc Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent
Resilience of Stateful IoT Applications in a Dynamic Fog Environment. MobiQuitous (2018)
Francisco Durán, Camilo Rocha, Gwen Salaün
Computing the Parallelism Degree of Timed BPMN Processes. STAF Workshops (2018)
Lakhdar Akroun, Gwen Salaün
Automated verification of automata communicating via FIFO and bag buffers. Formal Methods Syst. Des. 52 (3) (2018)
Francisco Durán, Camilo Rocha, Gwen Salaün
Stochastic analysis of BPMN with time in rewriting logic. Sci. Comput. Program. 168 (2018)
Carlos Canal, Gwen Salaün
Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems. Sci. Comput. Program. 168 (2018)
Ajay Krishna, Pascal Poizat, Gwen Salaün
VBPMN: Automated Verification of BPMN Processes (Tool Paper). IFM (2017)
Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün
Compatibility flooding: measuring interaction of services interfaces. SAC (2017)
Gianluca Barbon, Vincent Leroy, Gwen Salaün
Debugging of Concurrent Systems Using Counterexample Analysis. FSEN (2017)
Mercedes G. Merayo, Gwen Salaün
Preface: Special issue on software verification and testing. J. Syst. Softw. 132 (2017)
Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma
Reliable self-deployment of distributed cloud applications. Softw. Pract. Exp. 47 (1) (2017)
Rim Abid, Gwen Salaün, Noel De Palma
Asynchronous synthesis techniques for coordinating autonomic managers in the cloud. Sci. Comput. Program. 146 (2017)
Francisco Durán, Gwen Salaün
Verifying Timed BPMN Processes Using Maude. COORDINATION (2017)
Lakhdar Akroun, Gwen Salaün, Lina Ye
Automated Analysis of Asynchronously Communicating Systems. SPIN (2016)
Francisco Durán, Gwen Salaün
Robust and reliable reconfiguration of cloud applications. J. Syst. Softw. 122 (2016)
Rim Abid, Gwen Salaün, Noel De Palma
Formal design of dynamic reconfiguration protocol for cloud applications. Sci. Comput. Program. 117 (2016)
Carlos Canal, Gwen Salaün
Stability-Based Adaptation of Asynchronously Communicating Software. SEFM (2016)
Gwen Salaün, Mariëlle Stoelinga
Special issue on Software Verification and Testing (SAC-SVT'15). Sci. Comput. Program. 132 (2016)
Pascal Poizat, Gwen Salaün, Ajay Krishna
Checking Business Process Evolution. FACS (2016)
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Lina Ye
VerChor: A Framework for the Design and Verification of Choreographies. IEEE Trans. Serv. Comput. 9 (4) (2016)
Gwen Salaün, Lina Ye
Debugging Process Algebra Specifications. VMCAI (2015)
Rim Abid, Gwen Salaün, Noel De Palma, Soguy Mak Karé Gueye
Asynchronous Coordination of Stateful Autonomic Managers in the Cloud. FACS (2015)
Carlos Canal, Gwen Salaün
Model-Based Adaptation of Software Communicating via FIFO Buffers. FASE (2015)
Carlos Canal, Gwen Salaün
Adaptation of Asynchronously Communicating Software. ICSOC (2014)
Radu Mateescu, Gwen Salaün, Lina Ye
Quantifying the parallelism in BPMN processes using model checking. CBSE (2014)
Xavier Etchevers, Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noël De Palma
Reliable self-deployment of cloud applications. SAC (2014)
Meriem Ouederni, Gwen Salaün, Javier Cámara, Ernesto Pimentel
Comparator: A Tool for Quantifying Behavioural Compatibility. FASE (2014)
Mohammad Reza Mousavi, Gwen Salaün
Preface: Special section on foundations of coordination languages and software architectures (selected papers from FOCLASA'10). Sci. Comput. Program. 80 (2014)
Corina S. Pasareanu, Gwen Salaün
Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12). Sci. Comput. Program. 91 (2014)
Gwen Salaün, Bernhard Schätz
Preface: Special section on formal methods for industrial critical systems (Selected papers from FMICS'11). Sci. Comput. Program. 80 (2014)
Francisco Durán, Gwen Salaün
Robust reconfiguration of cloud applications. CBSE (2014)
Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont
VerChor: A Framework for Verifying Choreographies. FASE (2013)
Gwen Salaün, Fabienne Boyer, Thierry Coupaye, Noel De Palma, Xavier Etchevers, Olivier Gruber
An experience report on the verification of autonomic protocols in the cloud. Innov. Syst. Softw. Eng. 9 (2) (2013)
Rim Abid, Gwen Salaün, Francesco Bongiovanni, Noel De Palma
Verification of a Dynamic Management Protocol for Cloud Applications. ATVA (2013)
Meriem Ouederni, Gwen Salaün, Tevfik Bultan
Compatibility Checking for Asynchronously Communicating Software. FACS (2013)
Radu Mateescu, Gwen Salaün
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. TACAS (2013)
Carlos Canal, Javier Cámara, Gwen Salaün
Structural reconfiguration of systems under behavioral adaptation. Sci. Comput. Program. 78 (1) (2012)
Pascal Poizat, Gwen Salaün
Checking the realizability of BPMN 2.0 choreographies. SAC (2012)
Francisco Durán, Meriem Ouederni, Gwen Salaün
A generic framework for n-protocol compatibility checking. Sci. Comput. Program. 77 (7-8) (2012)
Radu Mateescu, Pascal Poizat, Gwen Salaün
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. IEEE Trans. Software Eng. 38 (4) (2012)
Gwen Salaün, Xavier Etchevers, Noel De Palma, Fabienne Boyer, Thierry Coupaye
Verification of a self-configuration protocol for distributed applications in the cloud. SAC (2012)
Gwen Salaün, Tevfik Bultan, Nima Roohi
Realizability of Choreographies Using Process Algebra Encodings. IEEE Trans. Serv. Comput. 5 (3) (2012)
Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni
Interactive specification and verification of behavioral adaptation contracts. Inf. Softw. Technol. 54 (7) (2012)
Gwen Salaün, Marjan Sirjani
Preface: Special issue on Foundations of Coordination Languages and Software Architectures (selected papers from FOCLASA'09). Sci. Comput. Program. 77 (7-8) (2012)
Matthias Güdemann, Gwen Salaün, Meriem Ouederni
Counterexample Guided Synthesis of Monitors for Realizability Enforcement. ATVA (2012)
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
Measuring the compatibility of service interaction protocols. SAC (2011)
Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel De Palma, Gwen Salaün
Automated Configuration of Legacy Applications in the Cloud. UCC (2011)
Fabienne Boyer, Olivier Gruber, Gwen Salaün
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS NT and CADP. FM (2011)
Nima Roohi, Gwen Salaün
Realizability and Dynamic Reconfiguration of Chor Specifications. Informatica (Slovenia) 35 (1) (2011)
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
Client Update: A Solution for Service Evolution. IEEE SCC (2011)
Gregor Gößler, Gwen Salaün
Realizability of Choreographies for Services Interacting Asynchronously. FACS (2011)
Javier Cubo, Ernesto Pimentel, Gwen Salaün, Carlos Canal
Handling Data-Based Concurrency in Context-Aware Service Protocols FOCLASA (2010)
Radu Mateescu, Gwen Salaün
Translating Pi-Calculus into LOTOS NT. IFM (2010)
Gwen Salaün
Analysis and Verification of Service Interaction Protocols - A Brief Survey TAV-WEB (2010)
Javier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel
A Case Study in Model-Based Adaptation of Web Services. ISoLA (2) (2010)
Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. Electron. Notes Theor. Comput. Sci. 263 (2010)
Meriem Ouederni, Gwen Salaün, Ernesto Pimentel
Quantifying Service Compatibility: A Step beyond the Boolean Approaches. ICSOC (2010)

Gwen Salaün.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gwen Salaün