This paper gives a high-level introduction to the topic of formal, interactive, machine-
checked software verification in general, and the verification of operating systems code in …

With the widespread adoption of multicore architectures, multiprocessors are now a
standard deployment platform for (soft) real-time applications. This dissertation addresses …

Ethernet, the most widely used commodity network, increasingly moves toward switches as
implementation technology thus replacing buses. This allows to use traffic shaping …

Multicore platforms are predicted to become significantly larger in the coming years. Given
that real-time workloads will inevitably be deployed on such platforms, the scalability of the …

In the domain of multiprocessor real-time systems, there has been a wealth of recent work
on scheduling, but relatively little work on the equally-important topic of synchronization …

Ongoing research is discussed on the development of operating-system support for
enabling mixed-criticality workloads to be supported on multicore platforms. This work is …

An error that occurs in a microkernel operating system service can potentially result in state
corruption and service failure. A simple restart of the failed service is not always the best …

Malware such as Trojan horses and spyware remain to be persistent security threats that
exploit the overly complex graphical user interfaces of today's commodity operating systems …

Sichere Anwendungen sind ohne ein sicheres Betriebssystem unmöglich. Wir zeigen auf,
wie bestehende Sicherheitsmechanismen wie kryptographische Protokolle oder Smartcards …

Microkernels are an intriguing technology for operating systems research in general and for
real-time systems in particular. To gain experience and to explore new ground, the OS …