Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. - Dirk Leinenbach; Wolfgang J. Paul; Elena Petrova (SEFM, 2005)

Verification of the C0 compiler implementation on the source code level. - Elena Petrova (2007)

Pervasive Compiler Verification - From Verified Programs to Verified Systems. - Dirk Leinenbach; Elena Petrova (SSV, 2008)

Invariants, Modularity, and Rights. - Ernie Cohen; Eyad Alkassar; Vladimir Boyarinov; Markus Dahlweid; Ulan Degenbaev; Mark A. Hillebrand; Bruno Langenstein; Dirk Leinenbach; Michal Moskal; Steven Obua; Wolfgang J. Paul; Hristo Pentchev; et al. (Ershov Memorial Conference, 2009)

Automated Verification of a Small Hypervisor. - Eyad Alkassar; Mark A. Hillebrand; Wolfgang J. Paul; Elena Petrova (VSTTE, 2010)

Optimal Sizing of Capacitor Banks to Reduce Power Losses - With Accounting of Temperature Dependence of Bare Overhead Conductors. - Vladimir Goryunov; Stanislav Girshin; Evgenii Kuznetsov; Aleksandr Bigun; Elena Petrova; Alexey Lyashkov (SMARTGREENS, 2017)