Philip Homburg

Publication Activity (10 Years)

Years Active: 1995-2013
Publications (10 Years): 0

Top Topics

Concurrent Systems

Software Design

Formal Specification

Top Venues

NASA Formal Methods

Publications

Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, Henri E. Bal
From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. NASA Formal Methods (2013)
Georgios Portokalidis, Philip Homburg, Kostas Anagnostakis, Herbert Bos
Paranoid Android: versatile protection for smartphones. ACSAC (2010)
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
Fault isolation for device drivers. DSN (2009)
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability). PRDC (2008)
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
Roadmap to a Failure-Resilient Operating System. login Usenix Mag. 32 (1) (2007)
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
Failure Resilience for Device Drivers. DSN (2007)
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
Construction of a Highly Dependable Operating System. EDCC (2006)
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
Reorganizing UNIX for Reliability. Asia-Pacific Computer Systems Architecture Conference (2006)
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
MINIX 3: a highly reliable, self-repairing operating system. ACM SIGOPS Oper. Syst. Rev. 40 (3) (2006)
Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum
Modular System Programming in MINIX 3. login Usenix Mag. 31 (2) (2006)
Jussipekka Leiwo, Christoph Hänle, Philip Homburg, Andrew S. Tanenbaum
Disallowing Unauthorized State Changes of Distributed Shared Objects. SEC (2000)
Maarten van Steen, Philip Homburg, Andrew S. Tanenbaum
Globe: a wide area distributed system. IEEE Concurr. 7 (1) (1999)
Jussipekka Leiwo, Christoph Hänle, Philip Homburg, Chandana Gamage, Andrew S. Tanenbaum
A Security Design for a Wide-Area Distributed System. ICISC (1999)
Maarten van Steen, Franz J. Hauck, Philip Homburg, Andrew S. Tanenbaum
Locating objects in wide-area systems. IEEE Commun. Mag. 36 (1) (1998)
Philip Homburg, Maarten van Steen, Andrew S. Tanenbaum
An architecture for a wide area distributed system. ACM SIGOPS European Workshop (1996)
Leendert van Doorn, Philip Homburg, Andrew S. Tanenbaum
Paramecium: an extensible object-based kernel. HotOS (1995)