Accéder directement au contenu

Vincent Leroy

5
Documents

Publications

gianluca-barbon
Image document

Debugging of Behavioural Models using Counterexample Analysis

 Gianluca Barbon , Vincent Leroy , Gwen Salaün
IEEE Transactions on Software Engineering, 2021, 47 (6), pp.1184-1197. ⟨10.1109/TSE.2019.2915303⟩
Article dans une revue hal-02145610v1
Image document

Visual Debugging of Behavioural Models

 Gianluca Barbon , Vincent Leroy , Gwen Salaün , Emmanuel Yah
ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.107-110, ⟨10.1109/ICSE-Companion.2019.00050⟩
Communication dans un congrès hal-02145535v1
Image document

Debugging of Behavioural Models with CLEAR

 Gianluca Barbon , Vincent Leroy , Gwen Salaün
TACAS 2019 - 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2019, Prague, Czech Republic. pp.386-392, ⟨10.1007/978-3-030-17462-0_26⟩
Communication dans un congrès hal-02121180v1
Image document

Counterexample Simplification for Liveness Property Violation

 Gianluca Barbon , Vincent Leroy , Gwen Salaün
SEFM 2018 - 16th International Conference on Software Engineering and Formal Methods, Jun 2018, Toulouse, France. pp.173-188, ⟨10.1007/978-3-319-92970-5_11⟩
Communication dans un congrès hal-01818790v1
Image document

Debugging of Concurrent Systems using Counterexample Analysis

 Gianluca Barbon , Vincent Leroy , Gwen Salaün
7th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2017, Tehran, Iran. pp.20-34, ⟨10.1007/978-3-319-68972-2_2⟩
Communication dans un congrès hal-01533401v2