Stephan Zeisset

According to our database, Stephan Zeisset authored at least 2 papers between 1996 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Fast and Generalized Polynomial Time Memory Consistency Verification.

Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

1996

A New Approach to Distributed Memory Management in the Mach Microkernel.

Stephan Zeisset, Stefan Tritscher, Martin Mairandres

Proceedings of the USENIX Annual Technical Conference, 1996