Author Info
Name
Affiliation
Papers
MARK A. HILLEBRAND
German Research Center for Artificial Intelligence (DFKI), Saarbrücken, Germany 66041
12
Collaborators
Citations 
PageRank 
29
200
15.17
Referers 
Referees 
References 
395
277
194
Search Limit
100395
Title
Citations
PageRank
Year
Automated verification of a small hypervisor271.112010
Balancing the Load171.462009
Invariants, Modularity, and Rights601.982009
Formal Verification of a Reader-Writer Lock Implementation in C81.112009
Formal Verification of Gate-Level Computer Systems80.732009
The Verisoft Approach to Systems Verification264.292008
Formal Functional Verification of Device Drivers110.802008
Formal Device and Programming Model for a Serial Interface110.812007
On the architecture of system verification environments60.552007
Dealing with I/O Devices in the Context of Pervasive System Verification211.282005
How to Half Wire Lengths in the Layout of Cyclic Shifters50.712001
NAS Integer Sort on Multi-threaded Shared Memory Machines00.341998