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 Veried 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 http://www-wjp.cs.uni-saarland.de/publikationen/Endres-NFM2010.pdf | | 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. | |
|