 | 2009 |
|---|
| 7 |       | Henning Zabel,
Wolfgang Mueller:
Increased accuracy through noise injection in abstract RTOS simulation.
DATE 2009: 1632-1637 |
| 2008 |
|---|
| 6 | | Henning Zabel,
Wolfgang Müller:
An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration.
DIPES 2008: 181-190 |
| 2007 |
|---|
| 5 | | Henning Zabel,
Achim Rettberg,
Alexander Krupp:
Approach for a Formal Verification of a Bit-serial Pipelined Architecture.
IESS 2007: 47-56 |
| 2006 |
|---|
| 4 | | Henning Zabel,
Achim Rettberg:
Prototyping an Ambient Light System - A Case Study.
DIPES 2006: 55-64 |
| 3 | | Stefan Lietsch,
Henning Zabel,
Martin Eikermann,
Veit Wittenberg,
Jan Berssenbrügge:
Light Simulation in a Distributed Driving Simulator.
ISVC (1) 2006: 343-352 |
| 2001 |
|---|
| 2 | | Wolfgang Müller,
Arne Meyer,
Henning Zabel:
A Language for the Rapid Prototyping of Mobile Evolving Agents.
HICSS 2001 |
| 2000 |
|---|
| 1 | | Wolfgang Müller,
Arne Meyer,
Henning Zabel:
A Visual Framework for the Scripting of Parallel Agents.
VL 2000: 77-78 |
