Henning Zabel

14 papers A 2Unranked 11
YearRankTypeTitle / Venue / Authors
2010 — conf
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.
DIPES/BICC
Markus Becker, Henning Zabel, Wolfgang Müller
2010 A conf
Assertion-based verification of RTOS properties.
DATE
Marcio Ferreira da Silva Oliveira, Henning Zabel, Wolfgang Müller
2010 — conf
Task Migration for Fault-Tolerant FlexRay Networks.
DIPES/BICC
Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi
2010 — —
Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-Modellen.
Henning Zabel
2010 — conf
Verification of real-time properties for Hardware-dependent Software.
HLDVT
Wolfgang Müller, Marcio Ferreira da Silva Oliveira, Henning Zabel, Markus Becker
2009 A conf
Increased accuracy through noise injection in abstract RTOS simulation.
DATE
Henning Zabel, Wolfgang Müller
2009 — conf
Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme.
MBMV
Markus Becker, Henning Zabel, Wolfgang Müller, Ulrich Kiffmeier
2008 — conf
An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration.
DIPES
Henning Zabel, Wolfgang Müller
2008 — conf
Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC.
MBMV
Henning Zabel, Wolfgang Müller
2007 — conf
Approach for a Formal Verification of a Bit-serial Pipelined Architecture.
IESS
Henning Zabel, Achim Rettberg, Alexander Krupp
2006 — conf
Light Simulation in a Distributed Driving Simulator.
ISVC (1)
Stefan Lietsch, Henning Zabel, Martin Eikermann, Veit Wittenberg, Jan Berssenbrügge
2006 — conf
Prototyping an Ambient Light System - A Case Study.
DIPES
Henning Zabel, Achim Rettberg
2001 — conf
A Language for the Rapid Prototyping of Mobile Evolving Agents.
HICSS
Wolfgang Müller, Arne Meyer, Henning Zabel
2000 — conf
A Visual Framework for the Scripting of Parallel Agents.
VL
Wolfgang Müller, Arne Meyer, Henning Zabel