Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis. - Gianluca Barbon; Agostino Cortesi; Pietro Ferrara 001; Marco Pistoia; Omer Tripp (CISIM, 2015)

DAPA: Degradation-Aware Privacy Analysis of Android Apps. - Gianluca Barbon; Agostino Cortesi; Pietro Ferrara 001; Enrico Steffinlongo (STM, 2016)

Taking Arduino to the Internet of Things: The ASIP programming model. - Gianluca Barbon; Michael Margolis; Filippo Palumbo; Franco Raimondi; Nick Weldin (Comput. Commun., 2016)

Debugging of Concurrent Systems Using Counterexample Analysis. - Gianluca Barbon; Vincent Leroy 001; Gwen Salaün (FSEN, 2017)

Counterexample Simplification for Liveness Property Violation. - Gianluca Barbon; Vincent Leroy 001; Gwen Salaün (SEFM, 2018)

Debugging of Behavioural Models using Counterexample Analysis. (Débogage de modèles comportementaux par analyse de contre-exemple). - Gianluca Barbon (2018)

Visual debugging of behavioural models. - Gianluca Barbon; Vincent Leroy 001; Gwen Salaün; Emmanuel Yah (ICSE (Companion Volume), 2019)

Debugging of Behavioural Models with CLEAR. - Gianluca Barbon; Vincent Leroy 001; Gwen Salaün (TACAS (1), 2019)

Debugging of Behavioural Models using Counterexample Analysis. - Gianluca Barbon; Vincent Leroy 001; Gwen Salaün (IEEE Trans. Software Eng., 2021)