Gwen Salaün -

Registered user since Mon 6 May 2019

Name:Gwen Salaün

Country:France

Affiliation:University of Grenoble Alpes

Personal website: http://convecs.inria.fr/people/Gwen.Salaun/

Contributions

2025

ESEC/FSE

Author of GIVUP: Automated Generation and Verification of Textual Process Descriptions within the Demonstrations-track

FormaliSE

2024

FormaliSE

Author of Automated Repair of Violated Eventually Properties in Concurrent Programs within the FormaliSE 2024-track

2023

International Conference on Software Engineering for Adaptive and Self-Managing Systems

Committee Member in Program Committee within the Research Track-track

2022

APSEC

Author of Quantifying the Similarity of BPMN Processes within the Technical Track-track

International Conference on Software Engineering for Adaptive and Self-Managing Systems

Committee Member in Program Committee within the SEAMS 2022-track

FormaliSE

2021

ICSE

Author of R-MOZART: A Reconfiguration Tool for WebThings Applications within the DEMO - Demonstrations-track

FormaliSE

Committee Member in Programme Committee within the FormaliSE 2021-track

International Conference on Software Engineering for Adaptive and Self-Managing Systems

Author of Seamless Reconfiguration of Rule-based IoT Applications within the SEAMS 2021-track

2020

FormaliSE

PC Member in Program Committee within the FormaliSE 2020-track

2019

ICSE

FormaliSE

Author of Rigorous Design and Deployment of IoT Applications within the FormaliSE 2019-track

TACAS

Author of Debugging of Behavioural Models with CLEAR within the TACAS 2019-track