We stand with Ukraine  

Daiva Naudziuniene

According to our database1, Daiva Naudziuniene authored at least 5 papers between 2011 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
JaVerT: JavaScript verification toolchain.
[BibTeX]
[DOI]
José Fragoso Santos
,
Petar Maksimovic
,
Daiva Naudziuniene
,
Thomas Wood
,
Philippa Gardner
Proc. ACM Program. Lang., 2018

2017
An infrastructure for tractable verification of JavaScript programs.
[BibTeX]
[DOI]
Daiva Naudziuniene
PhD thesis, 2017

Towards Logic-Based Verification of JavaScript Programs.
[BibTeX]
[DOI]
José Fragoso Santos
,
Philippa Gardner
,
Petar Maksimovic
,
Daiva Naudziuniene
Proceedings of the Automated Deduction - CADE 26, 2017

2014
A trusted mechanised JavaScript specification.
[BibTeX]
[DOI]
Martin Bodin
,
Arthur Charguéraud
,
Daniele Filaretti
,
Philippa Gardner
,
Sergio Maffeis
,
Daiva Naudziuniene
,
Alan Schmitt
,
Gareth Smith
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2011
jStar-eclipse: an IDE for automated verification of Java programs.
[BibTeX]
[DOI]
Daiva Naudziuniene
,
Matko Botincan
,
Dino Distefano
,
Mike Dodds
,
Radu Grigore
,
Matthew J. Parkinson
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011


  Loading...