Henning Zabel

According to our database, Henning Zabel authored at least 14 papers between 2000 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2010

Techniken zur Simulation von eingebetteten Systemen mit abstrakten RTOS-Modellen.

Henning Zabel

PhD thesis, 2010

Task Migration for Fault-Tolerant FlexRay Networks.

Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.

Markus Becker, Henning Zabel, Wolfgang Müller

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Verification of real-time properties for Hardware-dependent Software.

Wolfgang Müller, Marcio F. da S. Oliveira, Henning Zabel, Markus Becker

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

Assertion-based verification of RTOS properties.

Marcio F. da S. Oliveira, Henning Zabel, Wolfgang Müller

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme.

Markus Becker, Henning Zabel, Wolfgang Müller, Ulrich Kiffmeier

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009

Increased accuracy through noise injection in abstract RTOS simulation.

Henning Zabel, Wolfgang Müller

Proceedings of the Design, Automation and Test in Europe, 2009

2008

Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC.

Henning Zabel, Wolfgang Müller

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008

An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration.

Henning Zabel, Wolfgang Müller

Proceedings of the Distributed Embedded Systems: Design, 2008

2007

Approach for a Formal Verification of a Bit-serial Pipelined Architecture.

Henning Zabel, Achim Rettberg, Alexander Krupp

Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

2006

Light Simulation in a Distributed Driving Simulator.

Stefan Lietsch, Henning Zabel, Martin Eikermann, Veit Wittenberg, Jan Berssenbrügge

Proceedings of the Advances in Visual Computing, Second International Symposium, 2006

Prototyping an Ambient Light System - A Case Study.

Henning Zabel, Achim Rettberg

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

2001

A Language for the Rapid Prototyping of Mobile Evolving Agents.

Wolfgang Müller, Arne Meyer, Henning Zabel

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

2000

A Visual Framework for the Scripting of Parallel Agents.

Wolfgang Müller, Arne Meyer, Henning Zabel

Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000