Changes for page Completed Theses
Last modified by Niklas Rentz on 2025/04/11 14:56
<
>
edited by Alexander Schulz-Rosengarten
on 2024/01/25 10:02
on 2024/01/25 10:02
edited by Soeren Domroes
on 2024/04/08 11:47
on 2024/04/08 11:47
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. als1 +XWiki.sdo - Content
-
... ... @@ -2,8 +2,7 @@ 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) 6 -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) 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) 8 8 Examiners: Reinhard v. Hanxleden, Bernhard Steffen (Universität Dortmund) 9 9 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) ... ... @@ -29,6 +29,10 @@ 29 29 30 30 ### Master Theses 31 31 31 +1. Max Riepe, _Group Model Order for Sugiyama Layouts_, March 2024 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mwr-mt.pdf)) 32 +Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros) 33 +1. Felix Jöhnk, _Structure-Based Editing for SCCharts_, May 2023 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/fej-mt.pdf)) 34 +Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros) 32 32 1. Bennet Bleßmann, _Google Maps for Models_, April 2022 33 33 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) 34 34 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)) ... ... @@ -106,10 +106,14 @@ 106 106 Advisor: [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold) 107 107 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)) 108 108 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 2023 113 +Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros) 109 109 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)) 110 110 Advisor: [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold) 111 111 1. Till Kurzenberger, _Ein Proxy-View-Ansatz zur Navigation hierarchischer Diagramme_, September 2022 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/tik-bt.pdf)) 112 112 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 +1. Sven Korfmann: _Stress Based Knot-Graph Layout,_ September 2022 119 +Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros) 113 113 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)) 114 114 Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros) 115 115 1. Gavin Lüdemann, _Modular Code Generation for SCCharts_, September 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/glu-bt.pdf))