Year 2013

Books and Journals

D. Christmann, R. Gotzhein, M. Krämer, M. Winkler
Journal on Concurrency and Computation: Practice and Experience, Vol. 25, Issue 2, Feb 2013, pp. 218-233. doi: 10.1002/cpe.2819


A. Igel, R. Gotzhein
The Fifth International Conference on Advances in System Simulation (SIMUL 2013), Venice, Italiy

T. Kuhn, T. Forster, T. Braun, R. Gotzhein
In: MemoCODE 2013: Eleventh ACM-IEEE International Conference on Formal Methods and Models for Codesign, Portland, Oregon, USA, Oct. 18-20, 2013. Proceedings.

T. Braun, R. Gotzhein, T. Kuhn
In: : ICCSIT 2013: 6th International Conference on Computer Science and Information Technology, Paris, France, Dec. 20-21, 2013. (Accepted Paper)

D. Christmann, T. Braun, R. Gotzhein
In: Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed (Eds.): SDL 2013: Model-Driven Dependability Engineering - 16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings. Springer 2013, 239-257

T. Braun, D. Christmann, R. Gotzhein, A. Igel, T. Kuhn, T. Forster
In: J. Parker, M. Manda (Eds.): MS 2013: Modelling and Simulation - 24th IASTED International Conference, Banff, Canada, July 17-19, 2013. Proceedings. ACTA Press, 802-044


M. Krämer
Dissertation, Fachbereich Informatik, Technische Universität Kaiserslautern, 2013

Master thesis

M. Engel
Masterarbeit, Fachbereich Informatik, Technische Universität Kaiserslautern, 2013

Project thesis

C. Kramer
Angeleitete Forschung - Projektbericht


Go to the contact details of the person in charge of this page

This page in german. Diese Seite auf deutsch.