Gianluca Mezzetti

According to our database1, Gianluca Mezzetti
  • authored at least 13 papers between 2011 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Regular and context-free nominal traces.
Acta Inf., 2017

2016
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

2015
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

2013
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

2012
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

2011
On Quantitative Security Policies.
Proceedings of the Parallel Computing Technologies - 11th International Conference, 2011


  Loading...