Elena Petrova

Publication Activity (10 Years)

Years Active: 2005-2017
Publications (10 Years): 1

Top Topics

Solar Radiation

Transmission Line

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Vladimir Goryunov, Stanislav Girshin, Evgenii Kuznetsov, Aleksandr Bigun, Elena Petrova, Alexey Lyashkov
Optimal Sizing of Capacitor Banks to Reduce Power Losses - With Accounting of Temperature Dependence of Bare Overhead Conductors. SMARTGREENS (2017)
Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova
Automated Verification of a Small Hypervisor. VSTTE (2010)
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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
Invariants, Modularity, and Rights. Ershov Memorial Conference (2009)
Dirk Leinenbach, Elena Petrova
Pervasive Compiler Verification - From Verified Programs to Verified Systems. Electron. Notes Theor. Comput. Sci. 217 (2008)
Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova
Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes. SEFM (2005)