jStar-eclipse: an IDE for automated verification of Java programs. - Daiva Naudziuniene; Matko Botincan; Dino Distefano; Mike Dodds; Radu Grigore; Matthew J. Parkinson (SIGSOFT FSE, 2011)

A trusted mechanised JavaScript specification. - Martin Bodin; Arthur Charguéraud; Daniele Filaretti; Philippa Gardner; Sergio Maffeis; Daiva Naudziuniene; Alan Schmitt; Gareth Smith (POPL, 2014)

Towards Logic-Based Verification of JavaScript Programs. - José Fragoso Santos; Philippa Gardner; Petar Maksimovic 001; Daiva Naudziuniene (CADE, 2017)

An infrastructure for tractable verification of JavaScript programs. - Daiva Naudziuniene (2017)

JaVerT: JavaScript verification toolchain. - José Fragoso Santos; Petar Maksimovic 001; Daiva Naudziuniene; Thomas Wood 001; Philippa Gardner (Proc. ACM Program. Lang., 2018)