Changes for page Completed Theses
Last modified by Maximilian Kasperowski on 2026/02/25 14:29
From version 14.1
edited by Sören Domrös
on 2024/04/08 11:47
on 2024/04/08 11:47
Change comment:
There is no comment for this version
To version 27.1
edited by Maximilian Kasperowski
on 2025/03/19 15:57
on 2025/03/19 15:57
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.mka - Content
-
... ... @@ -2,7 +2,8 @@ 2 2 3 3 ### PhD Theses (Dissertationen) 4 4 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) Examiners: Reinhard v. Hanxleden, Edward A. Lee (University of California, Berkeley), Michael Mendler (Otto-Friedrich-Universität Bamberg) 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 +Examiners: Reinhard v. Hanxleden, Edward A. Lee (University of California, Berkeley), Michael Mendler (Otto-Friedrich-Universität Bamberg) 6 6 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) 7 7 Examiners: Reinhard v. Hanxleden, Bernhard Steffen (Universität Dortmund) 8 8 1. Christoph Daniel Schulze, _Text in Diagrams - Challenges to and Opportunities of Automatic Layout_, Disputation: 17 July 2019 ([KCSS](https://www.uni-kiel.de/journals/receive/jportal_jparticle_00000357) 2019/4) ... ... @@ -36,7 +36,7 @@ 36 36 Advisor: [Lena Grimm](https://www.rtsys.informatik.uni-kiel.de/en/team/lena-grimm), [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz) 37 37 1. Jette Petzold, _A textual Domain Specific Language (DSL) for System-Theoretic Process Analysis (STPA)_, March 2022 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/jet-mt.pdf)) 38 38 Advisor: [Lena Grimm](https://www.rtsys.informatik.uni-kiel.de/en/team/lena-grimm) 39 -1. Max Kasperowski, _A Top-Down Approach on Automatic Graph Visualization_, October 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mka-mt.pdf)) 40 +1. Maximilian Kasperowski, _A Top-Down Approach on Automatic Graph Visualization_, October 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mka-mt.pdf)) 40 40 Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz) 41 41 1. Daniel Lucas, _Extraction of Mode Diagrams from Blech,_ April 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/dalu-mt.pdf)) 42 42 Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten) ... ... @@ -99,8 +99,20 @@ 99 99 100 100 ### Bachelor Theses 101 101 102 -1. Jannis Gehrt, _Digitalization of Individual Railway Transport with a Cross-Platform App_, September 2023 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/jge-bt.pdf)) 103 +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)) 104 +Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros) 105 +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)) 106 +Advisor: [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold) 107 +1. Yorik Hansen, _Behavior Trees in SCCharts_, September 2024 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/yoh-bt.pdf)) 103 103 Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten) 109 +1. Finn Evers, _Projecting Irregular Vehicle Positions on Tracks_, September 2024 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/fie-bt.pdf)) 110 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten) 111 +1. Merlin Felix, _Interconnecting Public Transport Information_, September 2024 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mef-bt.pdf)) 112 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten) 113 +1. Mette Preuhsler, _Applying Automatic Visualisation to Deep Neural Network Development_, April 2024 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mep-bt.pdf)) 114 +Advisor: [Maximilian Kasperowski](https://www.rtsys.informatik.uni-kiel.de/en/team/maximilian-kasperowski) 115 +1. Jannis Gehrt, _Digitalization of Individual Railway Transport with a Cross-Platform App_, September 2023 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/jge-bt.pdf)) 116 +Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz), [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten) 104 104 1. Robin Mithoff, _Modelling real world applications in Lingua Franca_, September 2023 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/rom-bt.pdf)) 105 105 Advisor: [Malte Clement](https://www.rtsys.informatik.uni-kiel.de/en/team/malte-clement) 106 106 1. Claas Nitschke, _A Straightline Tree Layout with Vertical Position Constraints_, September 2023 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/cln-bt.pdf)) ... ... @@ -109,7 +109,7 @@ 109 109 Advisor: [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold) 110 110 1. Akash Ahmad, _A DSL for Behavior Trees in Lingua Franca_, March 2023 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/aah-bt.pdf)) 111 111 Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten) 112 -1. Lasse Köster :_Entwicklung und Erweiterung einer Arbeitsplatzreservierung mithilfe von IoT-Technologie,_ March 2023125 +1. Lasse Köster, _Entwicklung und Erweiterung einer Arbeitsplatzreservierung mithilfe von IoT-Technologie,_ March 2023 113 113 Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros) 114 114 1. Jana Kreiß, _Context Tables in the System-Theoretic Process Analysis Domain Specific Language_, September 2022 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/jkr-bt.pdf)) 115 115 Advisor: [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold) ... ... @@ -117,11 +117,11 @@ 117 117 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) 118 118 1. Sven Korfmann: _Stress Based Knot-Graph Layout,_ September 2022 119 119 Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros) 120 -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))133 +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)) 121 121 Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros) 122 122 1. Gavin Lüdemann, _Modular Code Generation for SCCharts_, September 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/glu-bt.pdf)) 123 123 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) 124 -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))137 +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)) 125 125 Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz) 126 126 1. Philip Raschkowski, _SCCharts for Game Development_, March 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/phr-bt.pdf)) 127 127 Advisor: [Reinhard von Hanxleden](https://www.rtsys.informatik.uni-kiel.de/en/team/rvh) ... ... @@ -323,6 +323,8 @@ 323 323 324 324 ### Student Research Project Theses (Studienarbeiten) 325 325 339 +1. Max Riepe, _Model Order Cycle Breaking in Lingua Franca_, March 2023 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mwr-st.pdf)) 340 +Advisor: Sören Domrös 326 326 1. Axel Umland, _Visualisierung von SCADE-Modellen in KLighD_, 11 August 2014 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/aum-st.pdf)) 327 327 Advisor: Christian Schneider 328 328 1. Björn Duderstadt, _Evolutionary Meta Layout for KIELER_, May 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/bdu-st.pdf))