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

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

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 ]