According to our database1, Gianluca Mezzetti
Legend:Book In proceedings Article PhD thesis Other
Regular and context-free nominal traces.
Acta Inf., 2017
Foreword to the Thematic Track: Quality Aspects in Verification and Validation.
Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016
Analyzing test completeness for dynamic languages.
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016
Type unsoundness in practice: an empirical study of Dart.
Proceedings of the 12th Symposium on Dynamic Languages, 2016
Systematic execution of Android test suites in adverse conditions.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Safe Adaptation Through Implicit Effect Coercion.
Proceedings of the Programming Languages with Applications to Biology and Security, 2015
Security in Pervasive Applications: A Survey.
European Journal of Law and Technology, 2013
Towards Nominal Context-Free Model-Checking.
Proceedings of the Implementation and Application of Automata, 2013
Typing Context-Dependent Behavioural Variation
Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012
Nominal Automata for Resource Usage Control.
Proceedings of the Implementation and Application of Automata, 2012
Types for Coordinating Secure Behavioural Variations.
Proceedings of the Coordination Models and Languages - 14th International Conference, 2012
Formalising Security in Ubiquitous and Cloud Scenarios.
Proceedings of the Computer Information Systems and Industrial Management, 2012
On Quantitative Security Policies.
Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011