| * | 2009 |
|---|
| 5 | EE | Matthias Heizmann,
Jochen Hoenicke,
Andreas Podelski:
Refinement of Trace Abstraction.
SAS 2009: 69-85 |
| 2008 |
|---|
| 4 | EE | Roland Meyer,
Johannes Faber,
Jochen Hoenicke,
Andrey Rybalchenko:
Model checking Duration Calculus: a practical approach.
Formal Asp. Comput. 20(4-5): 481-505 (2008) |
| 2005 |
|---|
| 3 | EE | Jochen Hoenicke,
Patrick Maier:
Model-Checking of Specifications Integrating Processes, Data and Time.
FM 2005: 465-480 |
| 2002 |
|---|
| 2 | EE | Jochen Hoenicke,
Ernst-Rüdiger Olderog:
Combining Specification Techniques for Processes, Data and Time.
IFM 2002: 245-266 |
| 1 | | Jochen Hoenicke,
Ernst-Rüdiger Olderog:
CSP-OZ-DC: A Combination of Specification Techniques for Processes, Data and Time.
Nord. J. Comput. 9(4): 301-334 (2002) |
