Gianluca Mezzetti

16 papers A 3B 1C 4Misc 1Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2018 J jnl
Type Regression Testing to Detect Breaking Changes in Node.js Libraries (Artifact).
Dagstuhl Artifacts Ser.
Gianluca Mezzetti, Anders Møller, Martin Toldam Torp
2018 A conf
Type Regression Testing to Detect Breaking Changes in Node.js Libraries.
ECOOP
Gianluca Mezzetti, Anders Møller, Martin Toldam Torp
2017 J jnl
Regular and context-free nominal traces.
Acta Informatica
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
2016 A conf
Analyzing test completeness for dynamic languages.
ISSTA
Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
2016 Misc conf
Foreword to the Thematic Track: Quality Aspects in Verification and Validation.
QUATIC
Gianluca Mezzetti
2016 C conf
Type unsoundness in practice: an empirical study of Dart.
DLS
Gianluca Mezzetti, Anders Møller, Fabio Strocco
2015 — conf
Safe Adaptation Through Implicit Effect Coercion.
Programming Languages with Applications to Biology and Security
Davide Basile, Letterio Galletta, Gianluca Mezzetti
2015 A conf
Systematic execution of Android test suites in adverse conditions.
ISSTA
Christoffer Quist Adamsen, Gianluca Mezzetti, Anders Møller
2014 — —
Nominal Context-Free Behaviour.
Gianluca Mezzetti
2013 J jnl
Security in Pervasive Applications: A Survey.
Eur. J. Law Technol.
Chiara Bodei, Pierpaolo Degano, Letterio Galletta, Gianluca Mezzetti, Gianluigi Ferrari
2013 C conf
Towards Nominal Context-Free Model-Checking.
CIAA
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
2012 — conf
Formalising Security in Ubiquitous and Cloud Scenarios.
CISIM
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2012 C conf
Nominal Automata for Resource Usage Control.
CIAA
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti
2012 C conf
Types for Coordinating Secure Behavioural Variations.
COORDINATION
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2012 — conf
Typing Context-Dependent Behavioural Variation
PLACES
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta, Gianluca Mezzetti
2011 B conf
On Quantitative Security Policies.
PaCT
Pierpaolo Degano, Gian-Luigi Ferrari, Gianluca Mezzetti