Wolfgang J. Paul
7 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.
A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof
Mikhail Kovalev and others (2014) · Springer International Publishing
Automated Verification of a Small Hypervisor
Eyad Alkassar and others (2010) · Lecture notes in computer science · Springer Science+Business Media
Proving the correctness of client/server software
Eyad Alkassar and others (2009) · Sadhana · Springer Science and Business Media LLC
Putting it all together – Formal verification of the VAMP
Sven Beyer and others (2006) · International Journal on Software Tools for Technology Transfer · Springer Science+Business Media
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
Computer Architecture: Complexity and Correctness
Silvia Melitta Mueller and others (2000) · Springer Nature