Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Kit: A Study in Operating System Verification.. IEEE Trans. Software Eng., 15 (11): 1382-1396 (1989)Connection policies and controlled interference., , und . CSFW, Seite 167-176. IEEE Computer Society, (1995)Toward Verified Execution Environments., , und . S&P, Seite 106-115. IEEE Computer Society, (1987)Mathematical Modeling and Analysis of an External Memory Manager., und . FME, Volume 1313 von Lecture Notes in Computer Science, Seite 237-257. Springer, (1997)A State-Based Approach to Non-Interference., und . CSFW, Seite 11-21. IEEE Computer Society, (1994)The Specification-Based Testing of a Trusted Kernel: MK++., , , und . ICFEM, Seite 151-160. IEEE Computer Society, (1997)Mechanically Checked Proofs of Kernel Specification., und . CAV, Volume 575 von Lecture Notes in Computer Science, Seite 70-82. Springer, (1991)