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 
Other 

Links

On csauthors.net:

Bibliography

2018
JaVerT: JavaScript verification toolchain.
Proc. ACM Program. Lang., 2018

2017
An infrastructure for tractable verification of JavaScript programs.
PhD thesis, 2017

Towards Logic-Based Verification of JavaScript Programs.
Proceedings of the Automated Deduction - CADE 26, 2017

2014
A trusted mechanised JavaScript specification.
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.
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...