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

SEAMS 2023	Committee Member in Program Committee within the Research Track-track
APSEC 2022	Author of Quantifying the Similarity of BPMN Processes within the Technical Track-track
SEAMS 2022	Committee Member in Program Committee within the SEAMS 2022-track
FormaliSE 2022	Author of Counting Bugs in Behavioural Models using Counterexample Analysis within the FormaliSE 2022-track Committee Member in Program Committee within the FormaliSE 2022-track
ICSE 2021	Author of R-MOZART: A Reconfiguration Tool for WebThings Applications within the DEMO - Demonstrations-track
FormaliSE 2021	Committee Member in Programme Committee within the FormaliSE 2021-track
SEAMS 2021	Author of Seamless Reconfiguration of Rule-based IoT Applications within the SEAMS 2021-track
FormaliSE 2020	PC Member in Program Committee within the FormaliSE 2020-track
ICSE 2019	Author of Visual Debugging of Behavioural Models within the Demonstrations-track Author of IoT Composer: Composition and Deployment of IoT Applications within the Demonstrations-track
FormaliSE 2019	Author of Rigorous Design and Deployment of IoT Applications within the FormaliSE 2019-track
TACAS 2019	Author of Debugging of Behavioural Models with CLEAR within the TACAS 2019-track