On Quantitative Security Policies. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Gianluca Mezzetti (PaCT, 2011)

Formalising Security in Ubiquitous and Cloud Scenarios. - Chiara Bodei; Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta; Gianluca Mezzetti (CISIM, 2012)

Types for Coordinating Secure Behavioural Variations. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta; Gianluca Mezzetti (COORDINATION, 2012)

Nominal Automata for Resource Usage Control. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Gianluca Mezzetti (CIAA, 2012)

Typing Context-Dependent Behavioural Variation - Pierpaolo Degano; Gian-Luigi Ferrari 002; Letterio Galletta; Gianluca Mezzetti (PLACES, 2012)

Towards Nominal Context-Free Model-Checking. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Gianluca Mezzetti (CIAA, 2013)

Security in Pervasive Applications: A Survey. - Chiara Bodei; Pierpaolo Degano; Letterio Galletta; Gianluca Mezzetti; Gianluigi Ferrari 002 (Eur. J. Law Technol., 2013)

Nominal Context-Free Behaviour. - Gianluca Mezzetti (2014)

Safe Adaptation Through Implicit Effect Coercion. - Davide Basile 001; Letterio Galletta; Gianluca Mezzetti (Programming Languages with Applications to Biology and Security, 2015)

Systematic execution of Android test suites in adverse conditions. - Christoffer Quist Adamsen; Gianluca Mezzetti; Anders Møller (ISSTA, 2015)

Type unsoundness in practice: an empirical study of Dart. - Gianluca Mezzetti; Anders Møller; Fabio Strocco (DLS, 2016)

Analyzing test completeness for dynamic languages. - Christoffer Quist Adamsen; Gianluca Mezzetti; Anders Møller (ISSTA, 2016)

Foreword to the Thematic Track: Quality Aspects in Verification and Validation. - Gianluca Mezzetti (QUATIC, 2016)

Regular and context-free nominal traces. - Pierpaolo Degano; Gian-Luigi Ferrari 002; Gianluca Mezzetti (Acta Informatica, 2017)

Type Regression Testing to Detect Breaking Changes in Node.js Libraries. - Gianluca Mezzetti; Anders Møller; Martin Toldam Torp (ECOOP, 2018)

Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact). - Gianluca Mezzetti; Anders Møller; Martin Toldam Torp (Dagstuhl Artifacts Ser., 2018)