Follow
Gianluca Mezzetti
Gianluca Mezzetti
Computer Science Department, Aarhus University
Verified email at di.unipi.it - Homepage
Title
Cited by
Cited by
Year
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
1212015
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
592018
Types for coordinating secure behavioural variations
P Degano, GL Ferrari, L Galletta, G Mezzetti
International Conference on Coordination Languages and Models, 261-276, 2012
202012
Nominal Automata for Resource Usage Control
P Degano, GL Ferrari, G Mezzetti
CIAA 2012, 2012
172012
Formalising security in ubiquitous and cloud scenarios
C Bodei, P Degano, GL Ferrari, L Galletta, G Mezzetti
IFIP International Conference on Computer Information Systems and Industrial …, 2012
112012
On quantitative security policies
P Degano, GL Ferrari, G Mezzetti
International Conference on Parallel Computing Technologies, 23-39, 2011
112011
Typing context-dependent behavioural variations
P Degano, GL Ferrari, L Galletta, G Mezzetti
PLACES 2012, 69, 2012
102012
Analyzing test completeness for dynamic languages
CQ Adamsen, G Mezzetti, A Møller
Proceedings of the 25th International Symposium on Software Testing and …, 2016
7*2016
Type Unsoundness in Practice: An Empirical Study of Dart
G Mezzetti, A Møller, F Strocco
52016
Security in pervasive applications: a survey
C Bodei, P Degano, GL Ferrari, L Galletta, G Mezzetti
52013
Towards nominal context-free model-checking
P Degano, GL Ferrari, G Mezzetti
International Conference on Implementation and Application of Automata, 109-121, 2013
32013
Regular and context-free nominal traces
P Degano, GL Ferrari, G Mezzetti
Acta Informatica 54 (4), 399-433, 2017
22017
Safe Adaptation Through Implicit Effect Coercion
D Basile, L Galletta, G Mezzetti
Programming Languages with Applications to Biology and Security, 122-141, 2015
22015
Nominal Context-Free Behaviour
G Mezzetti
Ph. D. thesis, University of Pisa, 2014
12014
Type Regression Testing to Detect Breaking Changes in Node. js Libraries (Artifact)
G Mezzetti, A Møller, MT Torp
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 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
The system can't perform the operation now. Try again later.
Articles 1–18