A New Approach to Distributed Memory Management in the Mach Microkernel. - Stephan Zeisset; Stefan Tritscher; Martin Mairandres (USENIX ATC, 1996)

Fast and Generalized Polynomial Time Memory Consistency Verification. - Amitabha Roy 002; Stephan Zeisset; Charles J. Fleckenstein; John C. Huang (CAV, 2006)