Changes for page Completed Theses
Last modified by Maximilian Kasperowski on 2026/02/25 14:29
To version 57.1
edited by Maximilian Kasperowski
on 2026/02/25 14:29
on 2026/02/25 14:29
Change comment:
There is no comment for this version
Summary
-
Page properties (3 modified, 0 added, 0 removed)
-
Attachments (0 modified, 1 added, 0 removed)
-
Objects (0 modified, 4 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. nre1 +XWiki.mka - Syntax
-
... ... @@ -1,1 +1,1 @@ 1 - markdown+github1.01 +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) ... ... @@ -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,24 @@ 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) 103 103 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)) 104 104 Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz) 105 105 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)) ... ... @@ -136,7 +136,7 @@ 136 136 Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros) 137 137 1. Gavin Lüdemann, _Modular Code Generation for SCCharts_, September 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/glu-bt.pdf)) 138 138 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) 139 -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)) 140 140 Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz) 141 141 1. Philip Raschkowski, _SCCharts for Game Development_, March 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/phr-bt.pdf)) 142 142 Advisor: [Reinhard v. Hanxleden](https://www.rtsys.informatik.uni-kiel.de/en/team/rvh) ... ... @@ -247,7 +247,7 @@ 247 247 Advisors: Steven Smyth, Insa Fuhrmann 248 248 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)) 249 249 Advisor: Christoph Daniel Schulze 250 -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)) 251 251 Advisor: Christian Motika 252 252 1. Gregor Hoops, _Automatic Layout of UML Sequence Diagrams_, April 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/grh-dt.pdf)) 253 253 Advisor: Christoph Daniel Schulze ... ... @@ -265,7 +265,7 @@ 265 265 Advisor: Miro Spönemann 266 266 1. Christian Schneider, _Integrating Graphical and Textual Modeling_, February 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/chsch-dt.pdf)) 267 267 Advisors: Hauke Fuhrmann, Miro Spönemann 268 -1. Joachim Bleidiessel, _A Domain Specific Language for Railway Control_ 290 +1. Joachim Bleidiessel, _A Domain Specific Language for Railway Control_, December 2010 269 269 Advisor: Reinhard v. Hanxleden 270 270 1. Niclas Köser, _SyncCharts in C auf Multicore_, October 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/nks-dt.pdf)) 271 271 Advisor: Reinhard v. Hanxleden ... ... @@ -285,7 +285,7 @@ 285 285 Advisors: Hauke Fuhrmann, Reinhard v. Hanxleden 286 286 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)) 287 287 Advisor: Claus Traulsen 288 -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)) 289 289 Advisor: Hauke Fuhrmann 290 290 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) 291 291 Advisor: Steffen Prochnow ... ... @@ -346,7 +346,7 @@ 346 346 Advisor: Miro Spönemann 347 347 1. Stephan Knauer, _Environment Visualization_, March 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/skn-st.pdf)) 348 348 Advisor: Hauke Fuhrmann 349 -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)) 350 350 Advisor: Hauke Fuhrmann 351 351 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)) 352 352 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