Author Info
Name
Affiliation
Papers
SABINE SCHMALTZ
Saarland University Computer Science Dept. Saarbrücken Germany
4
Collaborators
Citations 
PageRank 
21
80
3.63
Referers 
Referees 
References 
214
94
61
Search Limit
100214
Title
Citations
PageRank
Year
Theory of Multi Core Hypervisor Verification.120.722013
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
Invariants, Modularity, and Rights601.982009