Philip Homburg

According to our database, Philip Homburg authored at least 16 papers between 1995 and 2013.

Collaborative distances:

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

2013

From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.

Daniela Remenska, Jeff Templon, Tim A. C. Willemse, Philip Homburg, Kees Verstoep, Adrian Casajus Ramo, Henri E. Bal

Proceedings of the NASA Formal Methods, 2013

2010

Paranoid Android: versatile protection for smartphones.

Georgios Portokalidis, Philip Homburg, Kostas Anagnostakis, Herbert Bos

Proceedings of the Twenty-Sixth Annual Computer Security Applications Conference, 2010

2009

Fault isolation for device drivers.

Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum

Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, 2009

2008

Countering IPC Threats in Multiserver Operating Systems (A Fundamental Requirement for Dependability).

Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum

Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

2007

Roadmap to a Failure-Resilient Operating System.

Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum

login Usenix Mag., 2007

Failure Resilience for Device Drivers.

Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum

Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007

2006

Modular System Programming in MINIX 3.

Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum

login Usenix Mag., 2006

MINIX 3: a highly reliable, self-repairing operating system.

Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum

ACM SIGOPS Oper. Syst. Rev., 2006

Construction of a Highly Dependable Operating System.

Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum

Proceedings of the Sixth European Dependable Computing Conference, 2006

Reorganizing UNIX for Reliability.

Jorrit N. Herder, Herbert Bos, Ben Gras, Philip Homburg, Andrew S. Tanenbaum

Proceedings of the Advances in Computer Systems Architecture, 11th Asia-Pacific Conference, 2006

2000

Disallowing Unauthorized State Changes of Distributed Shared Objects.

Jussipekka Leiwo, Christoph Hänle, Philip Homburg, Andrew S. Tanenbaum

Proceedings of the Information Security for Global Information Infrastructures, 2000

1999

Globe: a wide area distributed system.

Maarten van Steen, Philip Homburg, Andrew S. Tanenbaum

IEEE Concurr., 1999

A Security Design for a Wide-Area Distributed System.

Jussipekka Leiwo, Christoph Hänle, Philip Homburg, Chandana Gamage, Andrew S. Tanenbaum

Proceedings of the Information Security and Cryptology, 1999

1998

Locating objects in wide-area systems.

Maarten van Steen, Franz J. Hauck, Philip Homburg, Andrew S. Tanenbaum

IEEE Commun. Mag., 1998

1996

An architecture for a wide area distributed system.

Philip Homburg, Maarten van Steen, Andrew S. Tanenbaum

Proceedings of the 7th ACM SIGOPS European Workshop: Systems Support for Worldwide Applications, 1996

1995

Paramecium: an extensible object-based kernel.

Leendert van Doorn, Philip Homburg, Andrew S. Tanenbaum

Proceedings of the Fifth Workshop on Hot Topics in Operating Systems, 1995