On the concept of variable roles and its use in software analysis. - Yulia Demyanova; Helmut Veith; Florian Zuleger (FMCAD, 2013)

Systematic Predicate Abstraction Using Variable Roles. - Yulia Demyanova; Philipp Rümmer; Florian Zuleger (NFM, 2017)

Empirical software metrics for benchmarking of verification tools. - Yulia Demyanova; Thomas Pani; Helmut Veith; Florian Zuleger (Formal Methods Syst. Des., 2017)