2007 |
9 | EE | Michael Hohmuth:
Introduction.
Operating Systems Review 41(4): 1-2 (2007) |
2005 |
8 | EE | Hermann Härtig,
Michael Hohmuth,
Norman Feske,
Christian Helmuth,
Adam Lackorzynski,
Frank Mehnert,
Michael Peter:
The Nizza secure-system architecture.
CollaborateCom 2005 |
2004 |
7 | EE | Michael Hohmuth,
Michael Peter,
Hermann Härtig,
Jonathan S. Shapiro:
Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors.
ACM SIGOPS European Workshop 2004: 22 |
2002 |
6 | EE | Michael Hohmuth,
Hendrik Tews,
Shane G. Stephens:
Applying source-code verification to a microkernel: the VFiasco project.
ACM SIGOPS European Workshop 2002: 165-169 |
5 | EE | Frank Mehnert,
Michael Hohmuth,
Hermann Härtig:
Cost and Benefit of Separate Address Spaces in Real-Time Operating Systems.
IEEE Real-Time Systems Symposium 2002: 124-133 |
2001 |
4 | EE | Michael Hohmuth,
Hermann Härtig:
Pragmatic Nonblocking Synchronization for Real-Time Systems.
USENIX Annual Technical Conference, General Track 2001: 217-230 |
1998 |
3 | EE | Hermann Härtig,
Robert Baumgartl,
Martin Borriss,
Claude-Joachim Hamann,
Michael Hohmuth,
Frank Mehnert,
Lars Reuther,
Sebastian Schönberg,
Jean Wolter:
DROPS: OS support for distributed multimedia applications.
ACM SIGOPS European Workshop 1998: 203-209 |
1997 |
2 | EE | Jochen Liedtke,
Hermann Härtig,
Michael Hohmuth:
OS-Controlled Cache Predictability for Real-Time Systems.
IEEE Real Time Technology and Applications Symposium 1997: 213- |
1 | | Hermann Härtig,
Michael Hohmuth,
Jochen Liedtke,
Sebastian Schönberg,
Jean Wolter:
The Performance of µKernel-Based Systems.
SOSP 1997: 66-77 |