Elena Petrova

According to our database, Elena Petrova authored at least 6 papers between 2005 and 2017.

Collaborative distances:

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

2017

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

Proceedings of the SMARTGREENS 2017, 2017

2010

Automated Verification of a Small Hypervisor.

Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova

Proceedings of the Verified Software: Theories, 2010

2009

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, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev

Proceedings of the Perspectives of Systems Informatics, 2009

2008

Pervasive Compiler Verification - From Verified Programs to Verified Systems.

Dirk Leinenbach, Elena Petrova

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

2007

Verification of the C0 compiler implementation on the source code level.

Elena Petrova

PhD thesis, 2007

2005

Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.

Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005