Gianluca Barbon
Gianluca Barbon
Eurotech
E-mail megerősítve itt: eurotech.com
Cím
Hivatkozott rá
Hivatkozott rá
Év
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
802016
Privacy analysis of android apps: implicit flows and quantitative analysis
G Barbon, A Cortesi, P Ferrara, M Pistoia, O Tripp
IFIP International Conference on Computer Information Systems and Industrial …, 2015
122015
Debugging of concurrent systems using counterexample analysis
G Barbon, V Leroy, G Salaün
International Conference on Fundamentals of Software Engineering, 20-34, 2017
92017
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
72016
Counterexample simplification for liveness property violation
G Barbon, V Leroy, G Salaün
International Conference on Software Engineering and Formal Methods, 173-188, 2018
42018
Debugging of Behavioural Models using Counterexample Analysis
G Barbon, V Leroy, G Salaun
IEEE Transactions on Software Engineering, 2019
12019
Visual debugging of behavioural models
G Barbon, V Leroy, G Salaün, E Yah
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
2019
Debugging of Behavioural Models with CLEAR
G Barbon, V Leroy, G Salaün
International Conference on Tools and Algorithms for the Construction and …, 2019
2019
Débogage de modèles comportementaux par analyse de contre-exemple
G Barbon
Grenoble Alpes, 2018
2018
A Quantitative Datacentric Approach to Differential Confidentiality Analysis
G Barbon
Università Ca'Foscari Venezia, 2015
2015
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–10