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. |
