Skip to Content

Changes for page Completed Theses

Last modified by Maximilian Kasperowski on 2026/02/25 14:29
From version 45.1
edited by Alexander Schulz-Rosengarten
on 2025/10/06 12:15
Change comment: There is no comment for this version
To version 57.1
edited by Maximilian Kasperowski
on 2026/02/25 14:29
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.als
1 +XWiki.mka
Syntax
... ... @@ -1,1 +1,1 @@
1 -markdown+github 1.0
1 +GitHub-Flavored CommonMark 1.0
Content
... ... @@ -2,6 +2,8 @@
2 2  
3 3  ### PhD Theses (Dissertationen)
4 4  
5 +1. Sören Domrös, _Model Order - Reconciling Automatic Layout and User Intentions_, Disputation: 4 July 2025  ([KCSS](https://macau.uni-kiel.de/receive/macau_mods_00006344) 2025/3)
6 +Examiners: Reinhard v. Hanxleden, Partha Roop (University of Auckland, Auckland)
5 5  1. Alexander Schulz-Rosengarten, _Language Design for Reactive Systems - On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts_, Disputation: 24 November 2023  ([KCSS](https://macau.uni-kiel.de/receive/macau_mods_00004363) 2024/1)
6 6  Examiners: Reinhard v. Hanxleden, Edward A. Lee (University of California, Berkeley), Michael Mendler (Otto-Friedrich-Universität Bamberg)
7 7  1. Steven Smyth, _Interactive Model-Based Compilation - A Modeller-Based Development Approach_, Disputation: 7 December 2020  ([KCSS](https://www.uni-kiel.de/journals/receive/jportal_jparticle_00000374) 2021/1)
... ... @@ -102,12 +102,16 @@
102 102  
103 103  ### Bachelor Theses
104 104  
107 +1. Finn-Lasse Ludewig, _Kantengebundene Proxys zur Verbesserung der Navigation in Graphen_, September 2025 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/fll-bt.pdf))
108 +Advisors: [Maximilian Kasperowski](https://www.uni-kiel.de/de/person/kasperowski-maximilian-55899), Niklas Rentz
109 +1. Henri Paul Heyden, _Visual Editing of the Model Railway DSL_, September 2025 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/heh-bt.pdf))
110 +Advisors: [Maximilian Kasperowski](https://www.uni-kiel.de/de/person/kasperowski-maximilian-55899), Niklas Rentz
105 105  1. Nike Pulow, _Multi-Platform Testing Framework for Autonomous Train Operation_, September 2025 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/nip-bt.pdf))
106 106  Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
107 107  1. Sara Rolfs, _Analysis of Train Operation Concepts for Single-Track Railways_, September 2025 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/sro-bt.pdf))
108 108  Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
109 109  1. Lena Harnack, _Ctrl+F for Diagrams: Textual Search for Diagramming Frameworks_, September 2025 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/lha-bt.pdf))
110 -Advisors: Maximilian Kasperowski, Niklas Rentz
116 +Advisors: [Maximilian Kasperowski](https://www.uni-kiel.de/de/person/kasperowski-maximilian-55899), Niklas Rentz
111 111  1. Lorenz Tiedemann, _AI-based Obstacle Detection for Autonomous Train Control using Image Recognition_, March 2025 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/lot-bt.pdf))
112 112  Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten), Momin Ali
113 113  1. Nig Rambow, _An End-User App for On-Demand Train Service_, March 2025 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/nra-bt.pdf))
... ... @@ -152,7 +152,7 @@
152 152  Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
153 153  1. Gavin Lüdemann, _Modular Code Generation for SCCharts_, September 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/glu-bt.pdf))
154 154  Advisors: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten), [Steven Smyth](http://www.rtsys.informatik.uni-kiel.de/en/team/ssm)
155 -1. Christoph Fricke, _Standalone Web Diagrams and Lightweight Plugins for Web-IDEs such as Visual Studio Code and Theia_, September 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/fricke-bt.pdf))
161 +1. Christoph Fricke, _Standalone Web Diagrams and Lightweight Plugins for Web-IDEs such as Visual Studio Code and Theia_, September 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/cfr-bt.pdf))
156 156  Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz)
157 157  1. Philip Raschkowski, _SCCharts for Game Development_, March 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/phr-bt.pdf))
158 158  Advisor: [Reinhard v. Hanxleden](https://www.rtsys.informatik.uni-kiel.de/en/team/rvh)
... ... @@ -263,7 +263,7 @@
263 263  Advisors: Steven Smyth, Insa Fuhrmann
264 264  1. Tibor Toepffer, _Schöne Kurven: Ebenenbasiertes Kantenrouting mit Splines_, November 2014 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/tit-dt.pdf))
265 265  Advisor: Christoph Daniel Schulze
266 -1. Steven Smyth, _Code Generation for Sequential Constructiveness_, July 2013_ _([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ssm-dt.pdf))
272 +1. Steven Smyth, _Code Generation for Sequential Constructiveness_, July 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ssm-dt.pdf))
267 267  Advisor: Christian Motika
268 268  1. Gregor Hoops, _Automatic Layout of UML Sequence Diagrams_, April 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/grh-dt.pdf))
269 269  Advisor: Christoph Daniel Schulze
... ... @@ -281,7 +281,7 @@
281 281  Advisor: Miro Spönemann
282 282  1. Christian Schneider, _Integrating Graphical and Textual Modeling_, February 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/chsch-dt.pdf))
283 283  Advisors: Hauke Fuhrmann, Miro Spönemann
284 -1. Joachim Bleidiessel, _A Domain Specific Language for Railway Control_
290 +1. Joachim Bleidiessel, _A Domain Specific Language for Railway Control_, December 2010
285 285  Advisor: Reinhard v. Hanxleden
286 286  1. Niclas Köser, _SyncCharts in C auf Multicore_, October 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/nks-dt.pdf))
287 287  Advisor: Reinhard v. Hanxleden
... ... @@ -301,7 +301,7 @@
301 301  Advisors: Hauke Fuhrmann, Reinhard v. Hanxleden
302 302  1. Falk Starke, _Executing Safe State Machines with the Kiel Esterel Processor_, January 2009 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/fast-dt.pdf))
303 303  Advisor: Claus Traulsen
304 -1. Arne Schipper, _Layout and Visual Comparison of Statecharts_, December 2008_ (_[pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ars-dt.pdf))
310 +1. Arne Schipper, _Layout and Visual Comparison of Statecharts_, December 2008 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ars-dt.pdf))
305 305  Advisor: Hauke Fuhrmann
306 306  1. Jonas Voelcker, _A quantitative analysis of Statechart aesthetics and Statechart development methods_, May 2008 ([pdf)](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/jovo-dt.pdf)
307 307  Advisor: Steffen Prochnow
... ... @@ -362,7 +362,7 @@
362 362  Advisor: Miro Spönemann
363 363  1. Stephan Knauer, _Environment Visualization_, March 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/skn-st.pdf))
364 364  Advisor: Hauke Fuhrmann
365 -1. Matthias Schmeling, _ThinKCharts - The Thin KIELER SyncCharts Editor_, September 2009_ _([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/schm-st.pdf))
371 +1. Matthias Schmeling, _ThinKCharts - The Thin KIELER SyncCharts Editor_, September 2009 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/schm-st.pdf))
366 366  Advisor: Hauke Fuhrmann
367 367  1. Christian Motika, _Modellbasierte Umgebungssimulation für verteilte Echtzeitsysteme mit flexiblem Schnittstellenkonzept - Fallstudie einer Bahn-Anlage_, October 2007 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/cmot-st.pdf))
368 368  Advisor: Hauke Fuhrmann