Search the dblp DataBase

Publications of Author

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