Henning Zabel

Henning Zabel: Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-Modellen. University of Paderborn 2010, isbn 978-3-8322-9092-4, pp. 1-199

Marcio F. da S. Oliveira, Henning Zabel, Wolfgang Müller: Assertion-based verification of RTOS properties. DATE 2010: 630-633

Wolfgang Müller, Marcio F. da S. Oliveira, Henning Zabel, Markus Becker: Verification of real-time properties for Hardware-dependent Software. HLDVT 2010: 154-159

Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi: Task Migration for Fault-Tolerant FlexRay Networks. DIPES/BICC 2010: 55-65

Markus Becker, Henning Zabel, Wolfgang Müller: A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. DIPES/BICC 2010: 145-156

Henning Zabel, Wolfgang Müller: Increased accuracy through noise injection in abstract RTOS simulation. DATE 2009: 1632-1637

Markus Becker, Henning Zabel, Wolfgang Müller, Ulrich Kiffmeier: Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. MBMV 2009: 167-176

Henning Zabel, Wolfgang Müller: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. DIPES 2008: 181-190

Henning Zabel, Wolfgang Müller: Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. MBMV 2008: 31-39

Henning Zabel, Achim Rettberg, Alexander Krupp: Approach for a Formal Verification of a Bit-serial Pipelined Architecture. IESS 2007: 47-56

Henning Zabel, Achim Rettberg: Prototyping an Ambient Light System - A Case Study. DIPES 2006: 55-64

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

Wolfgang Müller, Arne Meyer, Henning Zabel: A Language for the Rapid Prototyping of Mobile Evolving Agents. HICSS 2001

Wolfgang Müller, Arne Meyer, Henning Zabel: A Visual Framework for the Scripting of Parallel Agents. VL 2000: 77-78