| Systematic execution of android test suites in adverse conditions CQ Adamsen, G Mezzetti, A Møller Proceedings of the 2015 International Symposium on Software Testing and …, 2015 | 138 | 2015 |
| Type regression testing to detect breaking changes in Node. js libraries G Mezzetti, A Møller, MT Torp 32nd european conference on object-oriented programming (ECOOP 2018), 2018 | 72 | 2018 |
| Types for coordinating secure behavioural variations P Degano, GL Ferrari, L Galletta, G Mezzetti Coordination Models and Languages: 14th International Conference …, 2012 | 21 | 2012 |
| Nominal Automata for Resource Usage Control P Degano, GL Ferrari, G Mezzetti CIAA 2012, 2012 | 17 | 2012 |
| Formalising security in ubiquitous and cloud scenarios C Bodei, P Degano, GL Ferrari, L Galletta, G Mezzetti Computer Information Systems and Industrial Management: 11th IFIP TC 8 …, 2012 | 12 | 2012 |
| On quantitative security policies P Degano, GL Ferrari, G Mezzetti International Conference on Parallel Computing Technologies, 23-39, 2011 | 11 | 2011 |
| Typing context-dependent behavioural variations P Degano, GL Ferrari, L Galletta, G Mezzetti PLACES 2012, 69, 2012 | 10 | 2012 |
| Analyzing test completeness for dynamic languages CQ Adamsen, G Mezzetti, A Møller Proceedings of the 25th International Symposium on Software Testing and …, 2016 | 8* | 2016 |
| Type Unsoundness in Practice: An Empirical Study of Dart G Mezzetti, A Møller, F Strocco | 8 | 2016 |
| Security in pervasive applications: a survey C Bodei, P Degano, GL Ferrari, L Galletta, G Mezzetti European Journal of Law and Technology 4 (2), 2013 | 6 | 2013 |
| Towards nominal context-free model-checking P Degano, GL Ferrari, G Mezzetti International Conference on Implementation and Application of Automata, 109-121, 2013 | 4 | 2013 |
| Regular and context-free nominal traces P Degano, GL Ferrari, G Mezzetti Acta Informatica 54, 399-433, 2017 | 2 | 2017 |
| Type Regression Testing to Detect Breaking Changes in Node. js Libraries (Artifact) G Mezzetti, A Møller, MT Torp Schloss-Dagstuhl-Leibniz Zentrum für Informatik, 2018 | 1 | 2018 |
| Safe adaptation through implicit effect coercion D Basile, L Galletta, G Mezzetti Programming Languages with Applications to Biology and Security: Essays …, 2015 | 1 | 2015 |
| Nominal Context-Free Behaviour G Mezzetti Ph. D. thesis, University of Pisa, 2014 | 1 | 2014 |
| 32nd European Conference on Object-Oriented Programming (ECOOP 2018) R Mogk, L Baumgärtner, G Salvaneschi, B Freisleben, M Mezini, H Inoue, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
| Foreword to the Thematic Track: Quality Aspects in Verification and Validation G Mezzetti 2016 10th International Conference on the Quality of Information and …, 2016 | | 2016 |
| Conserved sequences in ortologues CYP51 promoters G Mezzetti, G Checcucci, BE Maserti, R Del Carratore | | |
| Adaptation and Security: expressivity, models, reasoning, enforcement G Mezzetti | | |
Anders MøllerProfessor, Aarhus University在 cs.au.dk 的电子邮件经过验证
