A Visual Framework for the Scripting of Parallel Agents. - Wolfgang Müller 003; Arne Meyer; Henning Zabel (VL, 2000)

A Language for the Rapid Prototyping of Mobile Evolving Agents. - Wolfgang Müller 003; Arne Meyer; Henning Zabel (HICSS, 2001)

Prototyping an Ambient Light System - A Case Study. - Henning Zabel; Achim Rettberg (DIPES, 2006)

Light Simulation in a Distributed Driving Simulator. - Stefan Lietsch; Henning Zabel; Martin Eikermann; Veit Wittenberg; Jan Berssenbrügge (ISVC (1), 2006)

Approach for a Formal Verification of a Bit-serial Pipelined Architecture. - Henning Zabel; Achim Rettberg; Alexander Krupp (IESS, 2007)

An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. - Henning Zabel; Wolfgang Müller 003 (DIPES, 2008)

Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. - Henning Zabel; Wolfgang Müller 003 (MBMV, 2008)

Increased accuracy through noise injection in abstract RTOS simulation. - Henning Zabel; Wolfgang Müller 003 (DATE, 2009)

Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. - Markus Becker 001; Henning Zabel; Wolfgang Müller 003; Ulrich Kiffmeier (MBMV, 2009)

Assertion-based verification of RTOS properties. - Marcio Ferreira da Silva Oliveira; Henning Zabel; Wolfgang Müller 003 (DATE, 2010)

Verification of real-time properties for Hardware-dependent Software. - Wolfgang Müller 003; Marcio Ferreira da Silva Oliveira; Henning Zabel; Markus Becker 001 (HLDVT, 2010)

A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. - Markus Becker 001; Henning Zabel; Wolfgang Müller 003 (DIPES/BICC, 2010)

Task Migration for Fault-Tolerant FlexRay Networks. - Kay Klobedanz; Gilles B. Defo; Henning Zabel; Wolfgang Müller 003; Yuan Zhi (DIPES/BICC, 2010)

Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-Modellen. - Henning Zabel (Shaker, 2010)