Changes for page Completed Theses
Last modified by Maximilian Kasperowski on 2026/02/25 14:29
From version 47.1
edited by Sören Domrös
on 2025/10/07 13:38
on 2025/10/07 13:38
Change comment:
There is no comment for this version
To version 30.1
edited by Maximilian Kasperowski
on 2025/03/20 13:47
on 2025/03/20 13:47
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Attachments (0 modified, 0 added, 1 removed)
-
Objects (0 modified, 0 added, 4 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. sdo1 +XWiki.mka - Content
-
... ... @@ -1,9 +1,7 @@ 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 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, Edward A. Lee (University of California, Berkeley), Michael Mendler (Otto-Friedrich-Universität Bamberg) 7 7 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) 8 8 Examiners: Reinhard v. Hanxleden, Edward A. Lee (University of California, Berkeley), Michael Mendler (Otto-Friedrich-Universität Bamberg) 9 9 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) ... ... @@ -31,8 +31,6 @@ 31 31 32 32 ### Master Theses 33 33 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) 36 36 1. Max Riepe, _Group Model Order for Sugiyama Layouts_, March 2024 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mwr-mt.pdf)) 37 37 Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros) 38 38 1. Felix Jöhnk, _Structure-Based Editing for SCCharts_, May 2023 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/fej-mt.pdf)) ... ... @@ -104,22 +104,6 @@ 104 104 105 105 ### Bachelor Theses 106 106 107 -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)) 108 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten) 109 -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)) 110 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten) 111 -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)) 112 -Advisors: [Maximilian Kasperowski](https://www.uni-kiel.de/de/person/kasperowski-maximilian-55899), Niklas Rentz 113 -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)) 114 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten), Momin Ali 115 -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)) 116 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten) 117 -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)) 118 -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) 119 -1. Simon Jürgensen, _Remote Control for Rail Vehicles_, March 2025 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/sij-bt.pdf)) 120 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten) 121 -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)) 122 -Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz) 123 123 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)) 124 124 Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros) 125 125 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))
- 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