| 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 | 117 | 2016 |
| 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 | 15 | 2015 |
| Debugging of concurrent systems using counterexample analysis G Barbon, V Leroy, G Salaün Fundamentals of Software Engineering: 7th International Conference, FSEN …, 2017 | 12 | 2017 |
| 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 | 12 | 2016 |
| Debugging of behavioural models using counterexample analysis G Barbon, V Leroy, G Salaün IEEE Transactions on Software Engineering 47 (6), 1184-1197, 2019 | 11 | 2019 |
| Counterexample simplification for liveness property violation G Barbon, V Leroy, G Salaün Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018 | 10 | 2018 |
| 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 | 9 | 2019 |
| Visual debugging of behavioural models G Barbon, V Leroy, G Salaün, E Yah 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 4 | 2019 |
| 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 | | |
Gwen SalaünUniversité Grenoble Alpes, LIG, Inria在 inria.fr 的电子邮件经过验证
