Coordinates
building, room
052-00-020
+49 761 203 8243 (phone)
+49 761 203 8242 (fax)
Research Interests
program verification, invariant generation for sequential and concurrent programs, interpolation in SMT; timed automata, duration calculus, model-checking.
Projects
Publications
- J. Hoenicke, E.-R. Olderog, and A. Podelski.
Fairness for dynamic control.
In TACAS 2010, LNCS. Springer, 2010.
[ bib ] - M. Heizmann, J. Hoenicke, and A. Podelski.
Nested interpolants.
In POPL 10, pages 471-482. ACM, 2010.
[ bib | doi ] - J. Hoenicke, K.R.M. Leino, A. Podelski, M. Schäf, and T. Wies.
It's doomed; we can prove it.
In FM 2009, number 5850 in LNCS, pages 338-353. Springer,
2009.
[ bib | doi ] - M. Heizmann, J. Hoenicke, and A. Podelski.
Refinement of trace abstraction.
In Static Analysis Symposium (SAS 2009), number 5673 in LNCS,
pages 69-85. Springer, 2009.
[ bib | doi ] - R. Meyer, J. Faber, J. Hoenicke, and A. Rybalchenko. Model checking Duration Calculus: a practical approach. Formal Aspects of Computing, 20(4-5):481-505, July 2008.
[ bib | doi ] - Jochen Hoenicke. Combination of Processes, Data, and Time. PhD thesis, University of Oldenburg, July 2006.
[ bib | .pdf ] - Jochen Hoenicke and Patrick Maier. Model-checking of
specifications integrating processes, data and time. In J.S.
Fitzgerald, I.J. Hayes, and A. Tarlecki, editors, FM 2005, volume 3582 of LNCS, pages 465-480. Springer, 2005.
[ bib | doi | .pdf ] - J. Hoenicke and E.-R. Olderog. CSP-OZ-DC: A combination of specification techniques for processes, data and time. Nordic Journal of Computing, 9(4):301-334, 2002. appeared March 2003.
[ bib ] - J. Hoenicke and E.-R. Olderog. Combining Specification Techniques
for Processes Data and Time. In M. Butler, L. Petre, and K. Sere,
editors, Integrated Formal Methods, volume 2335 of Lecture Notes in Computer Science, pages 245-266. Springer-Verlag, May 2002.
[ bib | doi | .pdf ] - J. Hoenicke. Specification of Radio Based Railway Crossings with the Combination of CSP, OZ, and DC. FBT 2001, June 2001. [ bib | .pdf ]