Changes for page Completed Theses
Last modified by Maximilian Kasperowski on 2026/02/25 14:29
From version 47.1
edited by Soeren Domroes
on 2025/10/07 13:38
on 2025/10/07 13:38
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. sdo1 +XWiki.nre - 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|attach:Einverstaendniserklaerung.doc]]<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) ... ... @@ -104,12 +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 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 114 Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten), Momin Ali 115 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))