Analyzing System Behavior: How the Operating System Can Help. - Alexander Schmidt 001; Michael Schöbel (GI Jahrestagung (2), 2007)

KStruct: preserving consistency through C annotations. - Alexander Schmidt 001; Martin von Löwis; Andreas Polze (PLOS@SOSP, 2009)

NTrace: Function Boundary Tracing for Windows on IA-32. - Johannes Passing; Alexander Schmidt 001; Martin von Löwis; Andreas Polze (WCRE, 2009)

Operating System Support for Monitoring Parallel Software Systems. - Alexander Schmidt 001 (AlgoSyn, 2010)

KAdvice: infering synchronization patterns from an existing codebase. - Alexander Schmidt 001; Andreas Polze (RSSE@ICSE, 2010)

Teaching operating systems: windows kernel projects. - Alexander Schmidt 001; Andreas Polze; Dave Probert (SIGCSE, 2010)

Predictable Communication for Mobile Systems. - Uwe Hentschel; Alexander Schmidt 001; Andreas Polze (ISORC, 2011)

KStruct: ein Ansatz zur Analyse und Beschreibung von Nebenläufigkeit in Betriebssystemen. - Alexander Schmidt 001 (Cuvillier, 2012)