Philip Homburg

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