Mark A. Hillebrand
5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Automated Verification of a Small Hypervisor
Eyad Alkassar and others (2010) · Lecture notes in computer science · Springer Science+Business Media
The Verisoft Approach to Systems Verification
Eyad Alkassar and others (2008) · Verified Software: Theories, Tools, Experiments · Springer Berlin Heidelberg
On the Verification of Memory Management Mechanisms
Iakov Dalinger and others (2005) · Lecture notes in computer science · Springer Science+Business Media
On the Correctness of Operating System Kernels
Mauro Gargano and others (2005) · Lecture notes in computer science · Springer Science+Business Media
Dealing with I/O devices in the context of pervasive system verification
Mark A. Hillebrand and others (2005) · Proceedings, IEEE International Conference on Computer Design/Proceedings - IEEE International Conference on Computer Design · Institute of Electrical and Electronics Engineers