Dr. Jochen Hoenicke

E-Mail: Jochen.Hoenicke Jochen Hoenicke promovierte im Juli 2006 in der Abteilung Entwicklung korrekter Systeme mit der Dissertation ``Combination of Processes, Data and Time'', die als Bericht Nummer 9/06 des Fachbereichs Department für Informatik erhältlich ist. Seit Oktober 2006 ist Jochen Hoenicke Mitarbeiter in der Abteilung Software Engineering an der Universität Freiburg.

 

Curriculum Vitae

9/1999	Informatik-Diplom an der Universität Oldenburg
10/1999 - 9/2006	Wissenschaftlicher Mitarbeiter in der Abteilung Entwicklung korrekter Systeme
7/2006	Promotion

Projekte

Kombination von Prozessen, Daten und Zeit

Publikationen

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

Abschlussarbeiten

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