Gianluca Barbon

According to our database, Gianluca Barbon authored at least 9 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Debugging of Behavioural Models using Counterexample Analysis.

Gianluca Barbon, Vincent Leroy, Gwen Salaün

IEEE Trans. Software Eng., 2021

2019

Debugging of Behavioural Models with CLEAR.

Gianluca Barbon, Vincent Leroy, Gwen Salaün

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Visual debugging of behavioural models.

Gianluca Barbon, Vincent Leroy, Gwen Salaün, Emmanuel Yah

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

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

Gianluca Barbon

PhD thesis, 2018

Counterexample Simplification for Liveness Property Violation.

Gianluca Barbon, Vincent Leroy, Gwen Salaün

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017

Debugging of Concurrent Systems Using Counterexample Analysis.

Gianluca Barbon, Vincent Leroy, Gwen Salaün

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

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

DAPA: Degradation-Aware Privacy Analysis of Android Apps.

Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Enrico Steffinlongo

Proceedings of the Security and Trust Management - 12th International Workshop, 2016

2015

Privacy Analysis of Android Apps: Implicit Flows and Quantitative Analysis.

Gianluca Barbon, Agostino Cortesi, Pietro Ferrara, Marco Pistoia, Omer Tripp

Proceedings of the Computer Information Systems and Industrial Management, 2015