Andrey Shadrin

According to our database, Andrey Shadrin authored at least 5 papers between 2009 and 2012.

Collaborative distances:

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

2012

Mixed low- and high level programming language semantics and automated verification of a small hypervisor.

Andrey Shadrin

PhD thesis, 2012

Integrated Semantics of Intermediate-Language C and Macro-Assembler for Pervasive Formal Verification of Operating Systems and Hypervisors from VerisoftXT.

Sabine Schmaltz, Andrey Shadrin

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification.

Wolfgang J. Paul, Sabine Schmaltz, Andrey Shadrin

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2010

Towards the Formal Verification of a Distributed Real-Time Automotive System.

Erik Endres, Christian Müller, Andrey Shadrin, Sergey Tverdyshev

Proceedings of the Second NASA Formal Methods Symposium, 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