 | 2009 |
|---|
| 6 |       | Jochen Hoenicke,
K. Rustan M. Leino,
Andreas Podelski,
Martin Schäf,
Thomas Wies:
It's Doomed; We Can Prove It.
FM 2009: 338-353 |
| 5 | | Matthias Heizmann,
Jochen Hoenicke,
Andreas Podelski:
Refinement of Trace Abstraction.
SAS 2009: 69-85 |
| 2008 |
|---|
| 4 | | 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 | | Jochen Hoenicke,
Patrick Maier:
Model-Checking of Specifications Integrating Processes, Data and Time.
FM 2005: 465-480 |
| 2002 |
|---|
| 2 | | 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) |
