Yulia Demyanova

According to our database, Yulia Demyanova authored at least 3 papers between 2013 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Empirical software metrics for benchmarking of verification tools.

Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger

Formal Methods Syst. Des., 2017

Systematic Predicate Abstraction Using Variable Roles.

Yulia Demyanova, Philipp Rümmer, Florian Zuleger

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

2013

On the concept of variable roles and its use in software analysis.

Yulia Demyanova, Helmut Veith, Florian Zuleger

Proceedings of the Formal Methods in Computer-Aided Design, 2013