Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Henning Zabel
2010 – today
- 2010
[b1]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- [c13]Marcio F. da S. Oliveira, Henning Zabel, Wolfgang Müller: Assertion-based verification of RTOS properties. DATE 2010: 630-633
- [c12]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
- [c11]Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi: Task Migration for Fault-Tolerant FlexRay Networks. DIPES/BICC 2010: 55-65
- [c10]Markus Becker, Henning Zabel, Wolfgang Müller: A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. DIPES/BICC 2010: 145-156
2000 – 2009
- 2009
- [c9]Henning Zabel, Wolfgang Müller: Increased accuracy through noise injection in abstract RTOS simulation. DATE 2009: 1632-1637
- [c8]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
- 2008
- [c7]Henning Zabel, Wolfgang Müller: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. DIPES 2008: 181-190
- [c6]Henning Zabel, Wolfgang Müller: Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. MBMV 2008: 31-39
- 2007
- [c5]Henning Zabel, Achim Rettberg, Alexander Krupp: Approach for a Formal Verification of a Bit-serial Pipelined Architecture. IESS 2007: 47-56
- 2006
- [c4]Henning Zabel, Achim Rettberg: Prototyping an Ambient Light System - A Case Study. DIPES 2006: 55-64
- [c3]Stefan Lietsch, Henning Zabel, Martin Eikermann, Veit Wittenberg, Jan Berssenbrügge: Light Simulation in a Distributed Driving Simulator. ISVC (1) 2006: 343-352
- 2001
- [c2]Wolfgang Müller, Arne Meyer, Henning Zabel: A Language for the Rapid Prototyping of Mobile Evolving Agents. HICSS 2001
- 2000
- [c1]Wolfgang Müller, Arne Meyer, Henning Zabel: A Visual Framework for the Scripting of Parallel Agents. VL 2000: 77-78
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-12-02 21:50 CET by the dblp team