OS-Controlled Cache Predictability for Real-Time Systems. - Jochen Liedtke; Hermann Härtig; Michael Hohmuth (IEEE Real Time Technology and Applications Symposium, 1997)

The Performance of µKernel-Based Systems. - Hermann Härtig; Michael Hohmuth; Jochen Liedtke; Sebastian Schönberg; Jean Wolter (SOSP, 1997)

DROPS: OS support for distributed multimedia applications. - Hermann Härtig; Robert Baumgartl; Martin Borriss; Claude-Joachim Hamann; Michael Hohmuth; Frank Mehnert; Lars Reuther; Sebastian Schönberg; Jean Wolter (ACM SIGOPS European Workshop, 1998)

Pragmatic Nonblocking Synchronization for Real-Time Systems. - Michael Hohmuth; Hermann Härtig (USENIX ATC, General Track, 2001)

Cost and Benefit of Separate Address Spaces in Real-Time Operating Systems. - Frank Mehnert; Michael Hohmuth; Hermann Härtig (RTSS, 2002)

Applying source-code verification to a microkernel: the VFiasco project. - Michael Hohmuth; Hendrik Tews; Shane G. Stephens (ACM SIGOPS European Workshop, 2002)

Pragmatische nichtblockierende Synchronisation für Echtzeitsysteme. - Michael Hohmuth (2002)

Reducing TCB size by using untrusted components: small kernels versus virtual-machine monitors. - Michael Hohmuth; Michael Peter; Hermann Härtig; Jonathan S. Shapiro (ACM SIGOPS European Workshop, 2004)

The Nizza secure-system architecture. - Hermann Härtig; Michael Hohmuth; Norman Feske; Christian Helmuth; Adam Lackorzynski; Frank Mehnert; Michael Peter (CollaborateCom, 2005)

Introduction. - Michael Hohmuth (ACM SIGOPS Oper. Syst. Rev., 2007)

Evaluation of AMD's advanced synchronization facility within a complete transactional memory stack. - Dave Christie; Jae-Woong Chung; Stephan Diestelhorst; Michael Hohmuth; Martin Pohlack; Christof Fetzer; Martin Nowack; Torvald Riegel; Pascal Felber; Patrick Marlier; Etienne Rivière (EuroSys, 2010)

ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory. - Jae-Woong Chung; Luke Yen; Stephan Diestelhorst; Martin Pohlack; Michael Hohmuth; David Christie; Dan Grossman (MICRO, 2010)

The Velox Transactional Memory Stack. - Yehuda Afek; Ulrich Drepper; Pascal Felber; Christof Fetzer; Vincent Gramoli; Michael Hohmuth; Etienne Rivière; Per Stenström; Osman S. Unsal; Walther Maldonado; Derin Harmanci; Patrick Marlier; et al. (IEEE Micro, 2010)