Institut für Rechnerarchitektur
und Parallelrechner
Dr. Andrey Shadrin
Universität des Saarlandes   Gebäude E1 3
FR 6.2 Informatik   Raum 319
Postfach 151150   Tel: +49 (0)681 302-4129
D-66041 Saarbrücken   Fax: +49 (0)681 302-4290
Germany   eMail:
1983 Geboren in Almaty (Kasachstan)
2000 Abitur am Gymnasium mit der Ausrichtung Math-Phys in Almaty (Kasachstan)
2000 - 2005 Studium der Informatik an der Staatlichen Technischen Universitat in Khabarovsk (Russland)
2003 - 2006 Studium der Informatik an der Universität des Saarlandes
2005 Ingenieur-Programmier (Russland)
2006 Master of Science
Private Homepage
Shadrin, Andrey   BibTeX
Mixed Low- and High Level Programming Languages Semantics.Automated Verification of a Small Hypervisor: Putting It All Together..
Dissertation, Saarland University, Saarbrücken, 2012.
Schmaltz, Sabine and Shadrin, Andrey EE BibTeX
Integrated Semantics of Intermediate-Language C and Macro-Assembler for Pervasive Formal Verification of Operating Systems and Hypervisors from VerisoftXT .
In Joshi, Rajeev and Müller, Peter and Podelski, Andreas, editors, 4th International Conference on Veri ed Software: Theories, Tools, and Experiments, VSTTE'12,
Philadelphia, USA
volume 7152 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2012.
Paul, Wolfgang and Schmaltz, Sabine and Shadrin, Andrey EE BibTeX
Completing the Automated Verification of a Small Hypervisor – Assembler Code Verification.
In George Eleftherakis and Mike Hinchey and Mike Holcombe , editors, 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5 (Software Engineering and Formal Methods),
volume 7504 of Lecture Notes in Computer Science, pages 188-202, Springer Berlin Heidelberg, 2012.
Endres, E. and Muller, C. and Shadrin, A. and Tverdyshev, S.   EE BibTeX
Towards the Formal Verification of a Distributed Real-Time Automotive System.
In Cesar Munoz, editors, Second NASA Formal Methods Symposium NFM 2010,
pages 212-217, NASA, 2010.
unpublished, available at
Cohen, E. and Alkassar, E. and Boyarinov, V. and Dahlweid, M. and Degenbaev, U. and Hillebrand, M. and Langenstein, B. and Leinenbach, D. and Moskal, M. and Obua, S. and Paul, W. and Pentchev, H. and Petrova, E. and Santen, T. and Schirmer, N. and Schmaltz, S. and Schulte, W. and Shadrin, A. and Tobies, S. and Tsyban, A. and Tverdyshev, S. EE BibTeX
Invariants, Modularity, and Rights.
In Amir Pnueli and Irina Virbitskaite and Andrei Voronkov, editors, Perspectives of Systems Informatics (PSI 2009),
Novosibirsk, Russia
volume 5947 of Lecture Notes in Computer Science, pages 43--55, Springer, 2009.
Tverdyshev, S. and Shadrin, A.   EE BibTeX
Formal Verification of Gate-Level Computer Systems (short paper).
In Kristin Yvonne Rozier, editors, LFM 2008,
NASA Scientific and Technical Information (STI), pages 56-58, NASA, 2008.
Shadrin, Andrey   BibTeX
Design and Implementation of the Portmapper and RPC Primitives in the Context of the SOS.
Diplomarbeit, Saarland University, 2006.