dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Henning Zabel (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcio F. da S. Oliveira, Henning Zabel, Wolfgang Müller: Assertion-based verification of RTOS properties. DATE 2010: 630-633
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Becker, Henning Zabel, Wolfgang Müller: A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. DIPES/BICC 2010: 145-156
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi: Task Migration for Fault-Tolerant FlexRay Networks. DIPES/BICC 2010: 55-65
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Müller, Marcio F. da S. Oliveira, Henning Zabel, Markus Becker: Verification of real-time properties for Hardware-dependent Software. HLDVT 2010: 154-159
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Zabel, Wolfgang Müller: Increased accuracy through noise injection in abstract RTOS simulation. DATE 2009: 1632-1637
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Becker, Henning Zabel, Wolfgang Müller, Ulrich Kiffmeier: Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. MBMV 2009: 167-176
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Zabel, Wolfgang Müller: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. DIPES 2008: 181-190
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHenning Zabel, Wolfgang Müller: Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. MBMV 2008: 31-39
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Müller, Arne Meyer, Henning Zabel: A Language for the Rapid Prototyping of Mobile Evolving Agents. HICSS 2001
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Müller, Arne Meyer, Henning Zabel: A Visual Framework for the Scripting of Parallel Agents. VL 2000: 77-78

Selection of 10 from 14 records - Henning Zabel has 14 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page