Author Info
Name
Affiliation
Papers
ANDREY SHADRIN
Saarland University Computer Science Dept. Saarbrücken Germany
4
Collaborators
Citations 
PageRank 
23
72
3.35
Referers 
Referees 
References 
189
74
41
Search Limit
100189
Title
Citations
PageRank
Year
Completing the automated verification of a small hypervisor - assembler code verification60.542012
Integrated semantics of intermediate-language c and macro-assembler for pervasive formal verification of operating systems and hypervisors from VerisoftXT20.392012
Towards the Formal Verification of a Distributed Real-Time Automotive System.40.442010
Invariants, Modularity, and Rights601.982009