Gianluca Barbon

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 7

Top Topics

Concurrent Systems

Model Validation

Quantitative Analysis

Top Venues

ICSE (Companion Volume)

Grenoble Alpes University, France (PHD)

Education History

Grenoble Alpes University, France

PHD

Publications

Gianluca Barbon, Vincent Leroy, Gwen Salaün
Debugging of Behavioural Models using Counterexample Analysis. IEEE Trans. Software Eng. 47 (6) (2021)
Gianluca Barbon, Vincent Leroy, Gwen Salaün
Debugging of Behavioural Models with CLEAR. TACAS (1) (2019)
Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah
Visual debugging of behavioural models. ICSE (Companion Volume) (2019)
Gianluca Barbon, Vincent Leroy, Gwen Salaün
Counterexample Simplification for Liveness Property Violation. SEFM (2018)
Gianluca Barbon, Vincent Leroy, Gwen Salaün
Debugging of Concurrent Systems Using Counterexample Analysis. FSEN (2017)
Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo
DAPA: Degradation-Aware Privacy Analysis of Android Apps. STM (2016)
Gianluca Barbon, Michael Margolis, Filippo Palumbo, Franco Raimondi, Nick Weldin
Taking Arduino to the Internet of Things: The ASIP programming model. Comput. Commun. (2016)
Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp
Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis. CISIM (2015)