Henning Zabel

Publication Activity (10 Years)

Years Active: 2000-2010
Publications (10 Years): 0

University of Paderborn, Germany (PHD)

Education History

University of Paderborn, Germany

PHD

Publications

Markus Becker, Henning Zabel, Wolfgang Müller
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. DIPES/BICC (2010)
Wolfgang Müller, Marcio F. da S. Oliveira, Henning Zabel, Markus Becker
Verification of real-time properties for Hardware-dependent Software. HLDVT (2010)
Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi
Task Migration for Fault-Tolerant FlexRay Networks. DIPES/BICC (2010)
Marcio F. da S. Oliveira, Henning Zabel, Wolfgang Müller
Assertion-based verification of RTOS properties. DATE (2010)
Henning Zabel, Wolfgang Müller
Increased accuracy through noise injection in abstract RTOS simulation. DATE (2009)
Markus Becker, Henning Zabel, Wolfgang Müller, Ulrich Kiffmeier
Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. MBMV (2009)
Henning Zabel, Wolfgang Müller
An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. DIPES (2008)
Henning Zabel, Wolfgang Müller
Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. MBMV (2008)
Henning Zabel, Achim Rettberg, Alexander Krupp
Approach for a Formal Verification of a Bit-serial Pipelined Architecture. IESS (2007)
Stefan Lietsch, Henning Zabel, Martin Eikermann, Veit Wittenberg, Jan Berssenbrügge
Light Simulation in a Distributed Driving Simulator. ISVC (1) (2006)
Henning Zabel, Achim Rettberg
Prototyping an Ambient Light System - A Case Study. DIPES (2006)
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)

Henning Zabel.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Henning Zabel