Gianluca Mezzetti

and

Acta Inf., 2017

2016

Foreword to the Thematic Track: Quality Aspects in Verification and Validation.

(DOI)

Proceedings of the 10th International Conference on the Quality of Information and Communications Technology, 2016

Analyzing test completeness for dynamic languages.

(DOI)

Christoffer Quist Adamsen

and

Anders Møller

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

Type unsoundness in practice: an empirical study of Dart.

(DOI)

Anders Møller

and

Fabio Strocco

Proceedings of the 12th Symposium on Dynamic Languages, 2016

2015

Systematic execution of Android test suites in adverse conditions.

(DOI)

Christoffer Quist Adamsen

and

Anders Møller

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Safe Adaptation Through Implicit Effect Coercion.

(DOI)

Davide Basile

and

Proceedings of the Programming Languages with Applications to Biology and Security, 2015

2013

Security in Pervasive Applications: A Survey.

(DOI)

Chiara Bodei

and

GianLuigi Ferrari

European Journal of Law and Technology, 2013

Towards Nominal Context-Free Model-Checking.

(DOI)

and

Proceedings of the Implementation and Application of Automata, 2013

2012

Typing Context-Dependent Behavioural Variation

(DOI)

and

Proceedings of the Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2012

Nominal Automata for Resource Usage Control.

(DOI)

and

Proceedings of the Implementation and Application of Automata, 2012

Types for Coordinating Secure Behavioural Variations.

(DOI)

and

Proceedings of the Coordination Models and Languages - 14th International Conference, 2012

Formalising Security in Ubiquitous and Cloud Scenarios.

(DOI)

Chiara Bodei

and

Proceedings of the Computer Information Systems and Industrial Management, 2012

2011

On Quantitative Security Policies.

(DOI)

and