Yulia Demyanova
Address:
Yulia Demyanova
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria
Room: | HE 03 05 (how to get there) |
Phone: | +43 (1) 58801 – 184 808 |
Email: | demy@forsyte.at |
Web: | http://forsyte.at/~demyanova/ |
Publications
2017 | |
[5] | Empirical software metrics for benchmarking of verification tools Formal Methods in System Design, volume 50, number 2-3, pages 289–316, 2017. |
2016 | |
[4] | Empirical software metrics for benchmarking of verification tools Software Engineering 2016, Fachtagung des GI-Fachbereichs Softwaretechnik, 23.-26. Februar 2016, Wien, Österreich, pages 67–68, 2016. |
2015 | |
[3] | Empirical Software Metrics for Benchmarking of Verification Tools Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pages 561–579, July 2015. |
2013 | |
[2] | On the Concept of Variable Roles and its Use in Software Analysis ArXiv e-prints, volume abs/1305.6745, May 2013. |
[1] | On the Concept of Variable Roles and its Use in Software Analysis FMCAD, pages 226–229, 2013. |