Dr. Jochen Hoenicke

email: Jochen.Hoenicke In July 2006 Jochen Hoenicke completed his PhD with the dissertation ``Combination of Processes, Data and Time'', which is available as Technical Report No. 9/06 of the Department of Computing Science at the University of Oldenburg. Since October 2006 Jochen Hoenicke is a member of the research group Software Engineering at the University of Freiburg.

 

Curriculum Vitae

9/1999	MSc in Informatics at the University of Oldenburg
10/1999 - 9/2006	Research Assistant in the Correct System Design Group
7/2006	defense of PhD

Projects

Kombination von Prozessen, Daten und Zeit

Publications

[HMO10]

J. Hoenicke, R. Meyer, and E.-R. Olderog. Kleene, rabin, and scott are available. In Paul Gastin and François Laroussinie, editors, CONCUR 2010 - Concurrency Theory (CONCUR), volume 6269 of Lecture Notes in Computer Science, pages 462-477. Springer, 2010.
[ bib | http ]

[HOP10]

J. Hoenicke, E.-R. Olderog, and A. Podelski. Fairness for dynamic control. In J. Esparza and R. Majumdar, editors, Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 6015 of Lecture Notes in Computer Science, pages 251-265. Springer-Verlag, 2010.
[ bib ]

[MFHR08]

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. ISSN 0934-5043 (Print) 1433-299X (Online).
[ bib | .pdf | Abstract ]

[HM05]

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 | .pdf | Abstract ]

[HO02b]

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 | Abstract ]

[HO02a]

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 | .pdf | Abstract ]

[Hoe01]

J. Hoenicke. Specification of Radio Based Railway Crossings with the Combination of CSP, OZ, and DC. FBT 2001, June 2001.
[ bib | .ps ]

Theses

[Hoe06]

Jochen Hoenicke. Combination of Processes, Data, and Time. PhD thesis, University of Oldenburg, July 2006.
[ bib | .pdf ]

[Hoe99]

Jochen Hoenicke. Graphische Spezifikationsspachen: Der Zusammenhang zwischen Constraint Diagrams und Real-Time Symbolic Timing Diagrams. Master's thesis, 1999.
[ bib ]