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

Construction of a Highly Dependable Operating System., , , , und . EDCC, Seite 3-12. IEEE Computer Society, (2006)Fault isolation for device drivers., , , , und . DSN, Seite 33-42. IEEE Computer Society, (2009)Disallowing Unauthorized State Changes of Distributed Shared Objects., , , und . SEC, Volume 175 von IFIP Conference Proceedings, Seite 381-390. Kluwer, (2000)Paranoid Android: versatile protection for smartphones., , , und . ACSAC, Seite 347-356. ACM, (2010)Reorganizing UNIX for Reliability., , , , und . Asia-Pacific Computer Systems Architecture Conference, Volume 4186 von Lecture Notes in Computer Science, Seite 81-94. Springer, (2006)Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability)., , , , und . PRDC, Seite 112-121. IEEE Computer Society, (2008)From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems., , , , , , und . NASA Formal Methods, Volume 7871 von Lecture Notes in Computer Science, Seite 244-260. Springer, (2013)A Security Design for a Wide-Area Distributed System., , , , und . ICISC, Volume 1787 von Lecture Notes in Computer Science, Seite 236-256. Springer, (1999)Failure Resilience for Device Drivers., , , , und . DSN, Seite 41-50. IEEE Computer Society, (2007)Paramecium: an extensible object-based kernel., , und . HotOS, Seite 86-89. IEEE Computer Society, (1995)