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
1332015
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
672018
Types for coordinating secure behavioural variations
P Degano, GL Ferrari, L Galletta, G Mezzetti
Coordination Models and Languages: 14th International Conference …, 2012
212012
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
Computer Information Systems and Industrial Management: 11th IFIP TC 8 …, 2012
122012
Typing context-dependent behavioural variations
P Degano, GL Ferrari, L Galletta, G Mezzetti
PLACES 2012, 69, 2012
102012
On quantitative security policies
P Degano, GL Ferrari, G Mezzetti
International Conference on Parallel Computing Technologies, 23-39, 2011
102011
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
82016
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
62013
Towards nominal context-free model-checking
P Degano, GL Ferrari, G Mezzetti
International Conference on Implementation and Application of Automata, 109-121, 2013
42013
Regular and context-free nominal traces
P Degano, GL Ferrari, G Mezzetti
Acta Informatica 54, 399-433, 2017
22017
Safe adaptation through implicit effect coercion
D Basile, L Galletta, G Mezzetti
Programming Languages with Applications to Biology and Security: Essays …, 2015
12015
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 für 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