Segueix
Gianluca Barbon
Gianluca Barbon
Higeco
Correu electrònic verificat a higeco.com - Pàgina d'inici
Títol
Citada per
Citada per
Any
Taking Arduino to the Internet of Things: The ASIP programming model
G Barbon, M Margolis, F Palumbo, F Raimondi, N Weldin
Computer Communications 89, 128-140, 2016
1122016
Privacy analysis of android apps: implicit flows and quantitative analysis
G Barbon, A Cortesi, P Ferrara, M Pistoia, O Tripp
Computer Information Systems and Industrial Management: 14th IFIP TC 8 …, 2015
142015
Debugging of concurrent systems using counterexample analysis
G Barbon, V Leroy, G Salaün
Fundamentals of Software Engineering: 7th International Conference, FSEN …, 2017
132017
DAPA: degradation-aware privacy analysis of android apps
G Barbon, A Cortesi, P Ferrara, E Steffinlongo
International Workshop on Security and Trust Management, 32-46, 2016
122016
Debugging of behavioural models using counterexample analysis
G Barbon, V Leroy, G Salaün
IEEE Transactions on Software Engineering 47 (6), 1184-1197, 2019
102019
Counterexample simplification for liveness property violation
G Barbon, V Leroy, G Salaün
Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018
102018
Debugging of behavioural models with CLEAR
G Barbon, V Leroy, G Salaün
Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019
92019
Visual debugging of behavioural models
G Barbon, V Leroy, G Salaün, E Yah
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
42019
Débogage de modèles comportementaux par analyse de contre-exemple
G Barbon
Université Grenoble Alpes (ComUE), 2018
2018
A Quantitative Datacentric Approach to Differential Confidentiality Analysis
G Barbon
Università Ca'Foscari Venezia, 2015
2015
Middlesex University Research Repository
G Barbon, M Margolis, F Palumbo, F Raimondi, N Weldin
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–11