Skip to Content

Changes for page Completed Theses

Last modified by Maximilian Kasperowski on 2026/02/25 14:29
From version 27.4
edited by Maximilian Kasperowski
on 2025/03/20 07:41
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
Syntax
... ... @@ -1,1 +1,1 @@
1 -markdown+github 1.0
1 +GitHub-Flavored CommonMark 1.0
Content
... ... @@ -1,7 +1,9 @@
1 -Anmerkung für Autoren von Abschlussarbeiten: diese Webseite ist eine Möglichkeit, Ihre Arbeiten elektronisch zu veröffentlichen. Eine solche Veröffentlichung setzt Ihr [Einverständnis](https://www.rtsys.informatik.uni-kiel.de/en/files/Einverstaendniserklaerung.doc) voraus.
1 +Anmerkung für Autoren von Abschlussarbeiten: diese Webseite ist eine Möglichkeit, Ihre Arbeiten elektronisch zu veröffentlichen. Eine solche Veröffentlichung setzt Ihr [[Einverständnis|attach:Einverstaendniserklaerung.doc]] voraus.
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)
... ... @@ -17,7 +17,7 @@
17 17  1. Miro Spönemann, _Graph Layout Support for Model-Driven Engineering_, Disputation: 9 February 2015 ([KCSS](http://www.informatik.uni-kiel.de/kcss/2015-02/) 2015/2)
18 18  Examiners: Reinhard v. Hanxleden, Petra Mutzel (Universität Dortmund)
19 19  1. Hauke Fuhrmann, _On the Pragmatics of Graphical Modeling_, Disputation: 5 May 2011 ([KCSS](http://www.informatik.uni-kiel.de/kcss/2011_01) 2011/1)
20 -Examiners: Reinhard v. Hanxleden, Willi Hasselbring (CAU), Edward Lee (UC Berkeley)
22 +Examiners: Reinhard v. Hanxleden, Willi Hasselbring (CAU), Edward A. Lee (UC Berkeley)
21 21  1. Claus Traulsen, _Reactive Processing for Synchronous Languages and its Worst Case Reaction Time Analysis_, Disputation: 26 February 2010 ([pdf](http://eldiss.uni-kiel.de/macau/accept.htm?http://eldiss.uni-kiel.de/macau/servlets/MCRFileNodeServlet/dissertation_derivate_00003253/ClausTraulsen.pdf?hosts=))
22 22  Examiners: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg)
23 23  1. Steffen Prochnow, _Efficient Development of Complex Statecharts_, Disputation: 3 July 2008 ([pdf](http://eldiss.uni-kiel.de/macau/servlets/MCRFileNodeServlet/dissertation_derivate_00002698/dissertation-prochnow.pdf))
... ... @@ -29,6 +29,8 @@
29 29  
30 30  ### Master Theses
31 31  
34 +1. Kevin Ebsen, _A Digital Twin for Single-Track Transfer Traffic_, April 2025 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/keb-mt.pdf))
35 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
32 32  1. Max Riepe, _Group Model Order for Sugiyama Layouts_, March 2024 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mwr-mt.pdf))
33 33  Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
34 34  1. Felix Jöhnk, _Structure-Based Editing for SCCharts_, May 2023 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/fej-mt.pdf))
... ... @@ -100,6 +100,26 @@
100 100  
101 101  ### Bachelor Theses
102 102  
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
111 +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))
112 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
113 +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))
114 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
115 +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))
116 +Advisors: [Maximilian Kasperowski](https://www.uni-kiel.de/de/person/kasperowski-maximilian-55899), Niklas Rentz
117 +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))
118 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten), Momin Ali
119 +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))
120 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
121 +1. Rasmus Janssen, _An Autonomous Train Controller with Risk Analysis using System-Theoretic Process Analysis_, March 2025 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/raj-bt.pdf))
122 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten), [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold)
123 +1. Simon Jürgensen, _Remote Control for Rail Vehicles_, March 2025 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/sij-bt.pdf))
124 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
125 +1. Malte Mannott, _An Architecture Comparison Framework for Software Project Visualization_, March 2025 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mam-bt.pdf))
126 +Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz)
103 103  1. Jean-Pierre Runge, _Umsetzung eines stresswertbasierten Knotenlayout-Algorithmus für den Eclipse Layout Kernel,_ September 2024 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/jpr-bt.pdf))
104 104  Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
105 105  1. Tokessa Hamann, _Safety Analysis of the Steam Boiler in SCCharts_, September 2024 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/toh-bt.pdf))
... ... @@ -134,7 +134,7 @@
134 134  Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
135 135  1. Gavin Lüdemann, _Modular Code Generation for SCCharts_, September 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/glu-bt.pdf))
136 136  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)
137 -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))
138 138  Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz)
139 139  1. Philip Raschkowski, _SCCharts for Game Development_, March 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/phr-bt.pdf))
140 140  Advisor: [Reinhard v. Hanxleden](https://www.rtsys.informatik.uni-kiel.de/en/team/rvh)
... ... @@ -245,7 +245,7 @@
245 245  Advisors: Steven Smyth, Insa Fuhrmann
246 246  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))
247 247  Advisor: Christoph Daniel Schulze
248 -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))
249 249  Advisor: Christian Motika
250 250  1. Gregor Hoops, _Automatic Layout of UML Sequence Diagrams_, April 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/grh-dt.pdf))
251 251  Advisor: Christoph Daniel Schulze
... ... @@ -263,7 +263,7 @@
263 263  Advisor: Miro Spönemann
264 264  1. Christian Schneider, _Integrating Graphical and Textual Modeling_, February 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/chsch-dt.pdf))
265 265  Advisors: Hauke Fuhrmann, Miro Spönemann
266 -1. Joachim Bleidiessel, _A Domain Specific Language for Railway Control_
290 +1. Joachim Bleidiessel, _A Domain Specific Language for Railway Control_, December 2010
267 267  Advisor: Reinhard v. Hanxleden
268 268  1. Niclas Köser, _SyncCharts in C auf Multicore_, October 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/nks-dt.pdf))
269 269  Advisor: Reinhard v. Hanxleden
... ... @@ -283,7 +283,7 @@
283 283  Advisors: Hauke Fuhrmann, Reinhard v. Hanxleden
284 284  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))
285 285  Advisor: Claus Traulsen
286 -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))
287 287  Advisor: Hauke Fuhrmann
288 288  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)
289 289  Advisor: Steffen Prochnow
... ... @@ -329,7 +329,7 @@
329 329  Advisor: Steffen Prochnow
330 330  1. Tobias Kloss, _Automatisches Layout von Statecharts unter Verwendung von Graph Viz_, May 2005 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/tkl-dt.pdf))
331 331  Advisor: Steffen Prochnow
332 -1. Hauke Fuhrmann, _Model-Based Design of Distributet Time-Triggered Architectures_, April 2005 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/haf-dt.pdf))
356 +1. Hauke Fuhrmann, _Model-Based Design of Distributed Time-Triggered Architectures_, April 2005 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/haf-dt.pdf))
333 333  Advisors: Jan Lukoschus, Jörn Rennhack ([Airbus Deutschland GmbH](http://www.airbus.com/en/worldwide/airbus_in_germany.html), Hamburg)
334 334  1. Thomas Pyrlik, _Entwurf und Realisation eines OPC-Clients zur Steuerung redundanter PROFIBUS OPC-Server mit Fehlerüberwachung der PROFIBUS Peripherie_, December 2004
335 335  Advisors: Reinhard v. Hanxleden, Jochen Logemann ([Vossloh Information Technologies GmbH](http://www.vit.vossloh.com/), Kiel)
... ... @@ -344,7 +344,7 @@
344 344  Advisor: Miro Spönemann
345 345  1. Stephan Knauer, _Environment Visualization_, March 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/skn-st.pdf))
346 346  Advisor: Hauke Fuhrmann
347 -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))
348 348  Advisor: Hauke Fuhrmann
349 349  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))
350 350  Advisor: Hauke Fuhrmann
Einverstaendniserklaerung.doc
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.nre
Size
... ... @@ -1,0 +1,1 @@
1 +29.0 KB
Content
XWiki.XWikiRights[1]
Allow/Deny
... ... @@ -1,0 +1,1 @@
1 +Allow
Groups
... ... @@ -1,0 +1,1 @@
1 +XWiki.LDAPUsers
Levels
... ... @@ -1,0 +1,1 @@
1 +view
XWiki.XWikiRights[2]
Allow/Deny
... ... @@ -1,0 +1,1 @@
1 +Allow
Groups
... ... @@ -1,0 +1,1 @@
1 +XWiki.rtsys-group
Levels
... ... @@ -1,0 +1,1 @@
1 +view
XWiki.XWikiRights[3]
Allow/Deny
... ... @@ -1,0 +1,1 @@
1 +Allow
Groups
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiAdminGroup
Levels
... ... @@ -1,0 +1,1 @@
1 +view
XWiki.XWikiRights[4]
Allow/Deny
... ... @@ -1,0 +1,1 @@
1 +Allow
Groups
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiAllGroup
Levels
... ... @@ -1,0 +1,1 @@
1 +view