Yulia Demyanova

Publication Activity (10 Years)

Years Active: 2013-2017
Publications (10 Years): 3

Top Topics

Feature Ranking

Development Effort

Software Metrics

Threshold Values

Top Venues

Formal Methods Syst. Des.

Publications

Yulia Demyanova, Philipp Rümmer, Florian Zuleger
Systematic Predicate Abstraction Using Variable Roles. NFM (2017)
Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Empirical software metrics for benchmarking of verification tools. Formal Methods Syst. Des. 50 (2-3) (2017)
Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Empirical software metrics for benchmarking of verification tools. Software Engineering (2016)
Yulia Demyanova, Thomas Pani, Helmut Veith, Florian Zuleger
Empirical Software Metrics for Benchmarking of Verification Tools. CAV (1) (2015)
Yulia Demyanova, Helmut Veith, Florian Zuleger
On the concept of variable roles and its use in software analysis. FMCAD (2013)
Yulia Demyanova, Helmut Veith, Florian Zuleger
On the Concept of Variable Roles and its Use in Software Analysis CoRR (2013)