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 27.1
edited by Maximilian Kasperowski
on 2025/03/19 15:57
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.als
1 +XWiki.mka
Content
... ... @@ -1,4 +1,4 @@
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.
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.
2 2  
3 3  ### PhD Theses (Dissertationen)
4 4  
... ... @@ -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 A. Lee (UC Berkeley)
20 +Examiners: Reinhard v. Hanxleden, Willi Hasselbring (CAU), Edward 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,8 +29,6 @@
29 29  
30 30  ### Master Theses
31 31  
32 -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))
33 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
34 34  1. Max Riepe, _Group Model Order for Sugiyama Layouts_, March 2024 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mwr-mt.pdf))
35 35  Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
36 36  1. Felix Jöhnk, _Structure-Based Editing for SCCharts_, May 2023 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/fej-mt.pdf))
... ... @@ -84,7 +84,7 @@
84 84  1. Stanislav Nasin, _From SCL to Esterel_, October 2015
85 85  Advisors: [Christian Motika](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cm), [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
86 86  1. Lennart Langenhop, _Embedded Security Analysis for an Engine Control Unit Architecture_, March 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/lla-mt.pdf))
87 -Advisor: Reinhard v. Hanxleden
85 +Advisor: Reinhard von Hanxleden
88 88  1. Karsten Rathlev, _From Esterel to SCL_, March 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/krat-mt.pdf))
89 89  Advisors: Steven Smyth, Christian Motika
90 90  1. Nis Wechselberg, _Model Railway 4.0 – A Demonstrator for Interactive Timing Analysis_, March 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/nbw-mt.pdf))
... ... @@ -102,22 +102,6 @@
102 102  
103 103  ### Bachelor Theses
104 104  
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 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
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 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
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
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 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten), Momin Ali
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))
114 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
115 -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))
116 -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)
117 -1. Simon Jürgensen, _Remote Control for Rail Vehicles_, March 2025 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/sij-bt.pdf))
118 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
119 -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))
120 -Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz)
121 121  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))
122 122  Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
123 123  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))
... ... @@ -146,7 +146,7 @@
146 146  Advisor:  [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold)
147 147  1. Till Kurzenberger, _Ein Proxy-View-Ansatz zur Navigation hierarchischer Diagramme_, September 2022 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/tik-bt.pdf))
148 148  Advisor:  [Maximilian Kasperowski](https://www.rtsys.informatik.uni-kiel.de/en/team/maximilian-kasperowski),  [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz)
149 -1. Sven Korfmann, _Stress Based Knot-Graph Layout,_ September 2022
131 +1. Sven Korfmann: _Stress Based Knot-Graph Layout,_ September 2022
150 150  Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
151 151  1. Max Riepe, _Model Order and Cycle Breaking in SCCharts,_ March 2022 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mwr-bt.pdf))
152 152  Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
... ... @@ -155,7 +155,7 @@
155 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))
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 -Advisor: [Reinhard v. Hanxleden](https://www.rtsys.informatik.uni-kiel.de/en/team/rvh)
140 +Advisor: [Reinhard von Hanxleden](https://www.rtsys.informatik.uni-kiel.de/en/team/rvh)
159 159  1. Niklas Carstensen, _Interactive Tree Layout_, September 2020 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/carstensen-bt.pdf))
160 160  Advisor: [Sören Domrös](http://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
161 161  1. Jette Petzold, _Intentional Layout in Sprotty Diagrams: Defining User Interaction_, September 2019 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/jet-bt.pdf))
... ... @@ -318,11 +318,11 @@
318 318  1. Sascha Gädtke, _Hardware/Software Co-Design für einen Reaktiven Prozessor_, May 2007 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/sga-dt.pdf))
319 319  Advisor: Claus Traulsen
320 320  1. Marco Heyden, _Ein allgemein einsetzbares Kommunikationsprotokoll für die Vernetzung von SONAR Systemen mit Schwerpunkten Massendatenversand und Systemparametrierung auf Basis der CORBA Implementierung TAO_, April 2007
321 -Advisors: Reinhard v. Hanxleden, Frank Ritters, Sven Rohde ([L-3 Communications ELAC Nautik GmbH](http://www.elac-nautik.de/), Kiel)
303 +Advisors: Reinhard v. Hanxleden; Frank Ritters, Sven Rohde ([L-3 Communications ELAC Nautik GmbH](http://www.elac-nautik.de/), Kiel)
322 322  1. Oliver Wulf, _Consistency of Statecharts_, April 2007
323 323  Advisors: Reinhard v. Hanxleden, Steffen Prochnow, Carsten Ziegenbein ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
324 324  1. André Ohlhoff, _Consistent Refinement of Sequence Diagrams in the UML 2.0_, November 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/aoh-dt.pdf))
325 -Advisors: Reinhard v. Hanxleden, Carsten Ziegenbein, Björn Lüdemann ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
307 +Advisors: Reinhard v. Hanxleden; Carsten Ziegenbein, Björn Lüdemann ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
326 326  1. Ken Bell, _Überprüfung Syntaktischer Robustheit von Statecharts auf der Basis von OCL_, November 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/kbe-dt.pdf))
327 327  Advisor: Steffen Prochnow
328 328  1. Gunnar Schaefer, _Statechart Style Checking_, June 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/gsc-dt.pdf))
... ... @@ -347,7 +347,7 @@
347 347  Advisor: Steffen Prochnow
348 348  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))
349 349  Advisor: Steffen Prochnow
350 -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))
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))
351 351  Advisors: Jan Lukoschus, Jörn Rennhack ([Airbus Deutschland GmbH](http://www.airbus.com/en/worldwide/airbus_in_germany.html), Hamburg)
352 352  1. Thomas Pyrlik, _Entwurf und Realisation eines OPC-Clients zur Steuerung redundanter PROFIBUS OPC-Server mit Fehlerüberwachung der PROFIBUS Peripherie_, December 2004
353 353  Advisors: Reinhard v. Hanxleden, Jochen Logemann ([Vossloh Information Technologies GmbH](http://www.vit.vossloh.com/), Kiel)
Einverstaendniserklaerung.doc
Author
... ... @@ -1,1 +1,0 @@
1 -XWiki.nre
Size
... ... @@ -1,1 +1,0 @@
1 -29.0 KB
Content
XWiki.XWikiRights[1]
Allow/Deny
... ... @@ -1,1 +1,0 @@
1 -Allow
Groups
... ... @@ -1,1 +1,0 @@
1 -XWiki.LDAPUsers
Levels
... ... @@ -1,1 +1,0 @@
1 -view
XWiki.XWikiRights[2]
Allow/Deny
... ... @@ -1,1 +1,0 @@
1 -Allow
Groups
... ... @@ -1,1 +1,0 @@
1 -XWiki.rtsys-group
Levels
... ... @@ -1,1 +1,0 @@
1 -view
XWiki.XWikiRights[3]
Allow/Deny
... ... @@ -1,1 +1,0 @@
1 -Allow
Groups
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiAdminGroup
Levels
... ... @@ -1,1 +1,0 @@
1 -view
XWiki.XWikiRights[4]
Allow/Deny
... ... @@ -1,1 +1,0 @@
1 -Allow
Groups
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiAllGroup
Levels
... ... @@ -1,1 +1,0 @@
1 -view