Andrey Shadrin

Publication Activity (10 Years)

Years Active: 2009-2012
Publications (10 Years): 0

Top Topics

Formal Verification

Operating System

Specification Language

Virtual Machine

Top Venues

Saarland University (PHD)

Education History

Saarland University

PHD

Publications

Sabine Schmaltz, Andrey Shadrin
Integrated Semantics of Intermediate-Language C and Macro-Assembler for Pervasive Formal Verification of Operating Systems and Hypervisors from VerisoftXT. VSTTE (2012)
Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin
Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification. SEFM (2012)
Erik Endres, Christian A. Müller, Andrey Shadrin, Sergey Tverdyshev
Towards the Formal Verification of a Distributed Real-Time Automotive System. NASA Formal Methods (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)