Changes for page Completed Theses
Last modified by Maximilian Kasperowski on 2026/02/25 14:29
From version 38.1
edited by Niklas Rentz
on 2025/05/27 12:19
on 2025/05/27 12:19
Change comment:
replaced Einverständniserklärung
To version 52.3
edited by Maximilian Kasperowski
on 2025/11/14 11:17
on 2025/11/14 11:17
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. nre1 +XWiki.mka - 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|attach:Einverstaendniserklaerung.doc]] <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) ... ... @@ -102,6 +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 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 105 105 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)) 106 106 Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten), Momin Ali 107 107 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)) ... ... @@ -146,7 +146,7 @@ 146 146 Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros) 147 147 1. Gavin Lüdemann, _Modular Code Generation for SCCharts_, September 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/glu-bt.pdf)) 148 148 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) 149 -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)) 150 150 Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz) 151 151 1. Philip Raschkowski, _SCCharts for Game Development_, March 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/phr-bt.pdf)) 152 152 Advisor: [Reinhard v. Hanxleden](https://www.rtsys.informatik.uni-kiel.de/en/team/rvh)