| 2007 |
|---|
| 13 | EE | Dieter Zöbel,
Christian Weyand:
Augmenting sensitivity analysis for embedded applications by program level derivation of process parameters.
SIES 2007: 17-24 |
| 2006 |
|---|
| 12 | EE | Dieter Zöbel,
Elisabeth Balcerak,
Thorsten Weidenfeller:
Minimum Parking Maneuvers for Articulated Vehicles with One-Axle Trailers.
ICARCV 2006: 1-6 |
| 2005 |
|---|
| 11 | EE | Dieter Zöbel,
David Polock,
Andreas van Arkel:
Testing for the Conformance of Real-time Protocols Implemented by Operating Systems.
Electr. Notes Theor. Comput. Sci. 133: 315-332 (2005) |
| 10 | EE | Dieter Zöbel,
David Polock:
Priority Inheritance Revisited. Towards the conformance of real-time protocols.
Technique et Science Informatiques 24(8): 939-961 (2005) |
| 2004 |
|---|
| 9 | EE | Elisabeth Balcerak,
Jacek Schikora,
Philipp Wojke,
Dieter Zöbel:
Maneuver-based assistance for backing up articulated vehicles.
RAM 2004: 1066-1071 |
| 2003 |
|---|
| 8 | EE | Dieter Zöbel:
Trajectory segmentation for the autonomous control of backward motion for truck and trailer.
IEEE Transactions on Intelligent Transportation Systems 4(2): 59-66 (2003) |
| 2000 |
|---|
| 7 | | Dieter Zöbel,
Elisabeth Balcerak:
Präzise Fahrmanöver für Fahrzeuge im Gespann.
AMS 2000: 148-156 |
| 6 | EE | David Polock,
Dieter Zöbel:
Conformance testing of priority inheritance protocols.
RTCSA 2000: 404-408 |
| 1997 |
|---|
| 5 | | Wolfgang Albrecht,
Dieter Zöbel:
Integrating Fixed Priority and Static Scheduling for External Consistency.
RTDB 1997: 89-104 |
| 1988 |
|---|
| 4 | | Dieter Zöbel:
Normalform-Transformationen für CSP-Programme.
Inform., Forsch. Entwickl. 3(2): 64-76 (1988) |
| 3 | | Dieter Zöbel,
Christoph Koch:
Resolution techniques and Complexity Results with Deadlocks: A Classifying and Annotated Bibliography.
Operating Systems Review 22(1): 52-72 (1988) |
| 1987 |
|---|
| 2 | | Dieter Zöbel:
Transformations for Communication Fairness in CSP.
Inf. Process. Lett. 25(3): 195-198 (1987) |
| 1983 |
|---|
| 1 | | Dieter Zöbel:
The Deadlock Problem: A Classifying Bibliography.
Operating Systems Review 17(4): 6-15 (1983) |
