Skip to Content

Changes for page Completed Theses

Last modified by Maximilian Kasperowski on 2026/02/25 14:29
From version 27.3
edited by Maximilian Kasperowski
on 2025/03/20 07:26
Change comment: There is no comment for this version
To version 1.1
edited by Alexander Schulz-Rosengarten
on 2023/09/06 08:48
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.mka
1 +XWiki.als
Content
... ... @@ -1,366 +1,0 @@
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 -
3 -### PhD Theses (Dissertationen)
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)
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 -Examiners: Reinhard v. Hanxleden, Bernhard Steffen (Universität Dortmund)
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)
10 -Examiners: Reinhard v. Hanxleden, Helen Purchase (U Glasgow)
11 -1. Ulf Rüegg, _Sugiyama Layouts for Prescribed Drawing Areas_, Disputation: 26 June 2018 ([KCSS](https://www.uni-kiel.de/journals/receive/jportal_jparticle_00000341) 2018/1)
12 -Examiners: Reinhard v. Hanxleden, Petra Mutzel (Universität Dortmund)
13 -1. Insa Fuhrmann, _Time for Reactive System Modeling_, Disputation: 19 February 2018 ([KCSS](https://www.uni-kiel.de/journals/receive/jportal_jparticle_00000346) 2018/2)
14 -Examiners: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg)
15 -1. Christian Motika, _SCCharts - Language and Interactive Incremental Compilation_, Disputation: 21 April 2017  ([KCSS](http://www.uni-kiel.de/journals/receive/jportal_jparticle_00000334) 2017/2)
16 -Examiners: Reinhard v. Hanxleden, Florence Maraninchi (VERIMAG, Grenoble)
17 -1. Miro Spönemann, _Graph Layout Support for Model-Driven Engineering_, Disputation: 9 February 2015 ([KCSS](http://www.informatik.uni-kiel.de/kcss/2015-02/) 2015/2)
18 -Examiners: Reinhard v. Hanxleden, Petra Mutzel (Universität Dortmund)
19 -1. Hauke Fuhrmann, _On the Pragmatics of Graphical Modeling_, Disputation: 5 May 2011 ([KCSS](http://www.informatik.uni-kiel.de/kcss/2011_01) 2011/1)
20 -Examiners: Reinhard v. Hanxleden, Willi Hasselbring (CAU), Edward Lee (UC Berkeley)
21 -1. Claus Traulsen, _Reactive Processing for Synchronous Languages and its Worst Case Reaction Time Analysis_, Disputation: 26 February 2010 ([pdf](http://eldiss.uni-kiel.de/macau/accept.htm?http://eldiss.uni-kiel.de/macau/servlets/MCRFileNodeServlet/dissertation_derivate_00003253/ClausTraulsen.pdf?hosts=))
22 -Examiners: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg)
23 -1. Steffen Prochnow, _Efficient Development of Complex Statecharts_, Disputation: 3 July 2008 ([pdf](http://eldiss.uni-kiel.de/macau/servlets/MCRFileNodeServlet/dissertation_derivate_00002698/dissertation-prochnow.pdf))
24 -Examiners: Reinhard v. Hanxleden, Susanne Graf (VERIMAG, Grenoble)
25 -1. Xin Li, _The Kiel Esterel Processor: A Multi-Threaded Reactive Processor_, Disputation: 23 July 2007 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/xli-diss.pdf))
26 -Examiners: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg)
27 -1. Jan Lukoschus, _Removing Cycles in Esterel Programs_, Disputation: 20 July 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/jlu-diss.pdf))
28 -Examiners: Reinhard v. Hanxleden, Stephen A. Edwards (Columbia University)
29 -
30 -### Master Theses
31 -
32 -1. Max Riepe, _Group Model Order for Sugiyama Layouts_, March 2024 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mwr-mt.pdf))
33 -Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
34 -1. Felix Jöhnk, _Structure-Based Editing for SCCharts_, May 2023 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/fej-mt.pdf))
35 -Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
36 -1. Bennet Bleßmann, _Google Maps for Models_, April 2022
37 -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)
38 -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))
39 -Advisor: [Lena Grimm](https://www.rtsys.informatik.uni-kiel.de/en/team/lena-grimm)
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))
41 -Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz)
42 -1. Daniel Lucas, _Extraction of Mode Diagrams from Blech,_ April 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/dalu-mt.pdf))
43 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
44 -1. Philip Eumann, _Model-Based Debugging,_ June 2020 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/peu-mt.pdf))
45 -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)
46 -1. Andreas Boysen, _An FPGA-based Demonstrator for Dynamic Ticks_, December 2019
47 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
48 -1. Lewe Andersen, _Dataflow and Statemachine Extraction from C/C++ Code_, December 2019 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/lan-mt.pdf))
49 -Advisors: [Steven Smyth](http://www.rtsys.informatik.uni-kiel.de/en/team/ssm), [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz)
50 -1. Lena Grimm, _From Lustre to Graphical Dataflow Programs,_ May 2019 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/lgr-mt.pdf))
51 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
52 -1. Andreas Stange, _Model Checking for SCCharts,_ May 2019 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/aas-mt.pdf))
53 -Advisor: [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)
54 -1. Niklas Rentz, _Moving Transient Views from Eclipse to Web Technologies,_ November 2018 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/nir-mt.pdf))
55 -Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
56 -1. Sören Domrös, _Moving Model-Driven Engineering from Eclipse to Web Technologies_, November 2018 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/sdo-mt.pdf))
57 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
58 -1. Daniel Jahn, _Connected Components and Hierarchical Ports,_ December 2017 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/dja-mt.pdf))
59 -Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
60 -1. Kristoph Slowikowski, _A Google Maps approach to Graph Drawing,_ December 2017
61 -Advisor: [Nis Wechselberg](http://www.rtsys.informatik.uni-kiel.de/en/team/nis-borge-wechselberg)
62 -1. Daniel Grevismühl, _Stable Diagram Compaction,_ December 2017
63 -Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
64 -1. Kim Christian Mannstedt, _Alternative Layering Strategies for Sugiyama Layout,_ December 2017
65 -Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
66 -1. Lars Peiler, _Priority-based Compilation of SCCharts_, October 2017 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/lpe-mt.pdf))
67 -Advisor: [Steven Smyth](http://www.rtsys.informatik.uni-kiel.de/en/team/ssm)
68 -1. Astrid Flohr, _Edge Routing with Immutable Node Positions_, August 2017
69 -Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
70 -1. Annika Pooch, _A Test Infrastructure for Layout Algorithms_, May 2017 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/apo-mt.pdf))
71 -Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
72 -1. Michael Cyruk, _Compact Packing of Disconnected Graphs_, May 2017 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mic-mt.pdf))
73 -Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
74 -1. Carsten Sprung, _Edge Bundling Techniques for Dataflow Diagrams_, October 2016
75 -Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
76 -1. Alan Schelten, _Hierarchy-Aware Layer Sweep_, September 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/alan-mt.pdf))
77 -Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
78 -1. Alexander Schulz-Rosengarten, _Strict Sequential Constructiveness_, September 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/als-mt.pdf))
79 -Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
80 -1. Niclas Flieger, _Comparison of Compilation Approaches in KIELER_, 29 April 2016
81 -Advisors: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/mf) , [Insa Fuhrmann](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/mf)
82 -1. Stanislav Nasin, _From SCL to Esterel_, October 2015
83 -Advisors: [Christian Motika](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cm), [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
84 -1. Lennart Langenhop, _Embedded Security Analysis for an Engine Control Unit Architecture_, March 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/lla-mt.pdf))
85 -Advisor: Reinhard v. Hanxleden
86 -1. Karsten Rathlev, _From Esterel to SCL_, March 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/krat-mt.pdf))
87 -Advisors: Steven Smyth, Christian Motika
88 -1. Nis Wechselberg, _Model Railway 4.0 – A Demonstrator for Interactive Timing Analysis_, March 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/nbw-mt.pdf))
89 -Advisors: Insa Fuhrmann, Christian Motika
90 -1. Gunnar Johannsen, _Hardwaresynthese aus SCCharts_, October 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/gjo-mt.pdf))
91 -Advisor: Christian Motika, Insa Fuhrmann
92 -1. Wahbi Haribi, _A SyncChart-Editor based on Yakindu_, March 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/wah-mt.pdf))
93 -Advisor: Christian Motika
94 -1. Paul Klose, _A Generic Framework for Topology-Shape-Metrics-Based Layout_, October 2012 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/pkl-mt.pdf))
95 -Advisor: Miro Spönemann
96 -1. John Julian Carstens, _Node and Label Placement in a Layered Layout Algorithm_, September 2012 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/jjc-mt.pdf))
97 -Advisor: Christoph Daniel Schulze
98 -1. Martin Müller, _View Management for Graphical Models_, December 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mmu-mt.pdf))
99 -Advisor: Hauke Fuhrmann
100 -
101 -### Bachelor Theses
102 -
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))
108 -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)
117 -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))
118 -Advisor: [Malte Clement](https://www.rtsys.informatik.uni-kiel.de/en/team/malte-clement)
119 -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))
120 -Advisor: [Maximilian Kasperowski](https://www.rtsys.informatik.uni-kiel.de/en/team/maximilian-kasperowski)
121 -1. Orhan Tekin, _Fault Tree Analysis (FTA) Support for PASTA_, September 2023 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/ote-bt.pdf))
122 -Advisor: [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold)
123 -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))
124 -Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
125 -1. Lasse Köster, _Entwicklung und Erweiterung einer Arbeitsplatzreservierung mithilfe von IoT-Technologie,_ March 2023
126 -Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
127 -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))
128 -Advisor:  [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold)
129 -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))
130 -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)
131 -1. Sven Korfmann, _Stress Based Knot-Graph Layout,_ September 2022
132 -Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
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))
134 -Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
135 -1. Gavin Lüdemann, _Modular Code Generation for SCCharts_, September 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/glu-bt.pdf))
136 -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)
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))
138 -Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz)
139 -1. Philip Raschkowski, _SCCharts for Game Development_, March 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/phr-bt.pdf))
140 -Advisor: [Reinhard v. Hanxleden](https://www.rtsys.informatik.uni-kiel.de/en/team/rvh)
141 -1. Niklas Carstensen, _Interactive Tree Layout_, September 2020 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/carstensen-bt.pdf))
142 -Advisor: [Sören Domrös](http://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
143 -1. Jette Petzold, _Intentional Layout in Sprotty Diagrams: Defining User Interaction_, September 2019 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/jet-bt.pdf))
144 -Advisor: [Sören Domrös](http://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
145 -1. Janina Reuter, _Real-Time Pitch Tracking Algorithms in C to Test Model Extraction_, September 2019 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/jar-bt.pdf))
146 -Advisor: [Christoph Daniel Schulze](http://www.rtsys.informatik.uni-kiel.de/en/team/cds)
147 -1. Connor Schönberner, _Intentional Layout in Sprotty Diagrams: Reevaluating Introduced Constraints_, September 2019 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/cos-bt.pdf))
148 -Advisor: [Sören Domrös](http://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
149 -1. Yannic Borgfeld, _Tool Support for Layout Algorithm Development with ELK_, March 2019 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/yab-bt.pdf))
150 -Advisor: [Christoph Daniel Schulze](http://www.rtsys.informatik.uni-kiel.de/en/team/cds)
151 -1. Thies Weber, _Improved Vertical Segment Routing for Sugiyama Layouts,_ March 2019 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/thw-bt.pdf))
152 -Advisor: [Christoph Daniel Schulze](http://www.rtsys.informatik.uni-kiel.de/en/team/cds)
153 -1. Daniel Lucas, _Order- and Drawing Area-Aware Packing of Rectangles,_ September 2018 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/dalu-bt.pdf))
154 -Advisor: [Christoph Daniel Schulze](http://www.rtsys.informatik.uni-kiel.de/en/team/cds)
155 -1. Tobias Gartmann, _Automatic Documentation of Audio-Signal Processing Software_, September 2018
156 -Advisor: [Nis Wechselberg](http://www.rtsys.informatik.uni-kiel.de/en/team/nis-borge-wechselberg)
157 -1. Philip Eumann, _A Domain-Specific Language for Railway Control_, September 2017 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/peu-bt.pdf))
158 -Advisors: [Steven Smyth](http://www.rtsys.informatik.uni-kiel.de/en/team/ssm), [Nis Wechselberg](http://www.rtsys.informatik.uni-kiel.de/en/team/nis-borge-wechselberg)
159 -1. Milad Rahimi, _Incremental Compilation of SCEst_, September 2017 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mrb-bt.pdf))
160 -Advisors: [Steven Smyth](http://www.rtsys.informatik.uni-kiel.de/en/team/ssm), [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
161 -1. Felix Kruse, _Interaktive Infotafel für die Arbeitsgruppe "Echtzeitsysteme und Eingebettete Systeme"_, March 2017
162 -Advisor: [Nis Wechselberg](http://www.rtsys.informatik.uni-kiel.de/en/team/nis-borge-wechselberg)
163 -1. Stephan Lenga, _Model-based Compilation of Legacy C Programs_, September 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/sle-bt.pdf))
164 -Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
165 -1. Lena Grimm, _Debugging SCCharts_, September 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/lgr-bt.pdf))
166 -Advisor:  [Insa Fuhrmann](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/mf)
167 -1. Jonas Busse, _SCCharts Kompilierung für eingebettete Systeme mit limitierten Ressourcen_, September 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/jbus-bt.pdf))
168 -Advisors:  [Insa Fuhrmann](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/mf), [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
169 -1. Dirk Sommerfeld, _Laufzeitmessung für SCCharts auf Lego Mindstorms_, 9 April 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/dso-bt.pdf))
170 -Advisor:  [Insa Fuhrmann](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/mf)
171 -1. Lars Olsson, _Modellextraktion aus C Code_, 31 March 2016
172 -Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
173 -1. Francesca Rybicki, _Interactive Incremental Hardware Synthesis for SCCharts,_ 31 March 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/fry-bt.pdf))
174 -Advisor: [Christian Motika](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cm)
175 -1. Sandra Skrlac, _Enhanced Port Constraints in a Layer-Based Layout_, September 2015
176 -Advisor: [Ulf Rüegg](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ur)
177 -1. Tibor Weiß, _Von Nebenläufigkeit zu Parallelität_, October 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/twe-bt.pdf))
178 -Advisors: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm), [Insa Fuhrmann](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/mf)
179 -1. Daniel Jahn, _Eine textuelle Sprache zum automatischen Generieren von Sequenzdiagrammen_, September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/dja-bt.pdf))
180 -Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
181 -1. Yella Lasch, _Label Management in Graph Layout Algorithmen_, September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ybl-bt.pdf))
182 -Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
183 -1. Christina Plöger, _Improving Comment Attachment Algorithms,_ September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/cpl-bt.pdf))
184 -Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
185 -1. Lewe Andersen, _Quadrocopter Flight Control Design using SCCharts_, September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/lan-bt.pdf))
186 -Advisors: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm), [Christian Motika](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cm)
187 -1. Felix Machaczek, _Collision Avoidance of Safety-Critical Real-Time Systems_, September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/fma-bt.pdf))
188 -Advisors: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm), [Christian Motika](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cm)
189 -1. Lars Peiler, _Modeling Simulations of Autonomous, Safety-Critical Systems_, September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/lpe-bt.pdf))
190 -Advisors: [Christian Motika](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cm),  [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
191 -1. Andreas Stange, _Comfortable SCCharts Modeling for Embedded Systems_, September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/aas-bt.pdf))
192 -Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
193 -1. Alan Schelten, _On the Greedy Reduction of Edge Crossings_, March 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/alan-bt.pdf))
194 -Advisor: Christoph Daniel Schulze
195 -1. Marius Richter, _Visualisierung von Schienennetzinfrastrukturdaten_, September 2014
196 -Advisor: Christoph Daniel Schulze
197 -1. Katja Petrat, _Erweiterung und Implementierung eines Knotenplatzierungsalgorithmus_, March 2014 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/kpe-bt.pdf))
198 -Advisor: Christoph Daniel Schulze
199 -1. Carsten Sprung, _Inkrementelles Update von Knoten-Kanten-Diagrammen mit EMF Compare_, March 2014 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/csp-bt.pdf))
200 -Advisors: Christian Schneider
201 -1. Enno Schwanke, _Generierung von UML Klassendiagrammen aus Java Code in Eclipse_, March 2014 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ems-bt.pdf))
202 -Advisor: Christian Schneider
203 -1. Alexander Schulz-Rosengarten, _Framework zum Tracing von EMF-Modelltransformationen_, March 2014 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/als-bt.pdf))
204 -Advisor: Christian Motika
205 -1. Heiko Wißmann, _Graphische Visualisierung von Java-Variablen zur Laufzeit_, March 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/hwi-bt.pdf))
206 -Advisor: Miro Spönemann
207 -1. Stanislaw Nasin, _Graphische Zuordnung von Elementen einer Modelltransformation_, March 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/sna-bt.pdf))
208 -Advisor: Christoph Daniel Schulze
209 -1. Helge Müller, _Designing Applications With the e4 Application Model_, March 2013
210 -Advisor: Christoph Daniel Schulze
211 -1. Sven Gundlach, _Synthese von Datenflussdiagrammen aus annotierten C-Programmen_, March 2012 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/sgu-bt.pdf))
212 -Advisor: Miro Spönemann
213 -1. Alexander Bosy, _Synthese von graphischen Darstellungen aus einer textuellen Verhaltensbeschreibung_, March 2012
214 -Advisor: Christian Schneider
215 -1. Ulf Rüegg, _Interactive Transformations for Visual Models_, March 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/uru-bt.pdf))
216 -Advisor: Christian Motika
217 -1. Hauke Wree, _Ein Gleisplaneditor basierend auf Graphiti_, March 2011
218 -Advisor: Miro Spönemann
219 -1. John Carstens, _Datenvisualisierung in grafischen Modellen_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/jjc-bt.pdf))
220 -Advisor: Christian Motika
221 -1. Ole Claußen, _Implementing an Algorithm for Orthogonal Graph Layout_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ocl-bt.pdf))
222 -Advisor: Miro Spönemann
223 -1. Philipp Döhring, _Algorithmen zur Layerzuweisung_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/pdo-bt.pdf))
224 -Advisor: Miro Spönemann
225 -1. Mirko Heinold, _Synchronous Java_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mhei-bt.pdf))
226 -Advisor: Christian Motika
227 -1. Paul Klose, _Beispiel Management in KIELER_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/pkl-bt.pdf))
228 -Advisor: Christian Motika
229 -1. Christian Kutschmar, _Planarisierung von Hypergraphen_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/cku-bt.pdf))
230 -Advisor: Miro Spönemann
231 -1. Martin Rieß, _A Graph Editor for Algorithm Engineering_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mri-bt.pdf))
232 -Advisor: Miro Spönemann
233 -1. Adriana Lukaschewitz, _Esterel to Safe State Machine Conversion in KIELER_, March 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/adl-bt.pdf))
234 -Advisor: Hauke Fuhrmann
235 -1. Sören Hansen, _Configurations and Automated Execution in the KIELER Execution Manager_, March 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/soh-bt.pdf))
236 -Advisor: Christian Motika
237 -1. Karsten Heymann, _Verwendung dynamisch erzeugter KIEL-Statecharts in LaTeX_, April 2007 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/khe-bt.pdf))
238 -Advisor: Steffen Prochnow
239 -
240 -### Diploma Theses (Diplomarbeiten)
241 -
242 -1. Sven Oliver Reimers, _Port-Aware Node Placement in a Layered Layout Algorithm_, March 2015
243 -Advisor: Ulf Rüegg
244 -1. Axel Umland, _Konzept zur Erweiterung von SCCharts um Datenfluss_, March 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/aum-dt.pdf))
245 -Advisors: Steven Smyth, Insa Fuhrmann
246 -1. Tibor Toepffer, _Schöne Kurven: Ebenenbasiertes Kantenrouting mit Splines_, November 2014 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/tit-dt.pdf))
247 -Advisor: Christoph Daniel Schulze
248 -1. Steven Smyth, _Code Generation for Sequential Constructiveness_, July 2013_ _([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ssm-dt.pdf))
249 -Advisor: Christian Motika
250 -1. Gregor Hoops, _Automatic Layout of UML Sequence Diagrams_, April 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/grh-dt.pdf))
251 -Advisor: Christoph Daniel Schulze
252 -1. Björn Duderstadt, _A Statechart Dialect With Sequential Constructiveness_, December 2012 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/bdu-dt.pdf))
253 -Advisors: Insa Fuhrmann, Christian Motika, Reinhard v. Hanxleden
254 -1. Tim Grebien, _Managing Academic Eclipse-Based Projects_, August 2012 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/tig-dt.pdf))
255 -Advisor: Christoph Daniel Schulze
256 -1. Insa Fuhrmann, _Layout of Compound Graphs_, 15 February 2012 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ima-dt.pdf))
257 -Advisor: Miro Spönemann
258 -1. Tobias Mahnke-Nissen , _souq - Eine verteilte Anwendung zur einfachen Erfassung und Propagation von Forschungsdaten_, 30 January 2012
259 -Advisors: Reinhard v. Hanxleden, Wolfgang Junge (Institut für Tierzucht und Tierhaltung)
260 -1. Stephan Wersig, _Ein Web Service für das automatische Layout von Graphen_, October 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/swe-dt.pdf))
261 -Advisor: Miro Spönemann
262 -1. Christoph Daniel Schulze, _Optimizing Automatic Layout for Data Flow Diagrams_, July 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/cds-dt.pdf))
263 -Advisor: Miro Spönemann
264 -1. Christian Schneider, _Integrating Graphical and Textual Modeling_, February 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/chsch-dt.pdf))
265 -Advisors: Hauke Fuhrmann, Miro Spönemann
266 -1. Joachim Bleidiessel, _A Domain Specific Language for Railway Control_
267 -Advisor: Reinhard v. Hanxleden
268 -1. Niclas Köser, _SyncCharts in C auf Multicore_, October 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/nks-dt.pdf))
269 -Advisor: Reinhard v. Hanxleden
270 -1. Torsten Amende, _Synthese von SC-Code aus SyncCharts_, May 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/tam-dt.pdf))
271 -Advisors: Claus Traulsen, Christian Motika
272 -1. Matthias Schmeling, _A Graphical Editor for IEC 61499 Function Blocks_, April 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/schm-dt.pdf))
273 -Advisors: [Partha Roop](http://www.ele.auckland.ac.nz/%7Eroop/), Miro Spönemann
274 -1. Michael Matzen, _A Generic Framework for Structure-Based Editing of Graphical Models in Eclipse_, March 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mim-dt.pdf))
275 -Advisor: Hauke Fuhrmann
276 -1. Christian Motika, _Semantics and Execution of Domain Specific Models---KlePto and an Execution Framework_, December 2009 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/cmot-dt.pdf))
277 -Advisor: Hauke Fuhrmann
278 -1. Özgün Bayramoglu, _KIELER Infrastructure for Textual Modeling_, December 2009 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/oba-dt.pdf))
279 -Advisor: Hauke Fuhrmann
280 -1. Nils Beckel, _View Management for Visual Modeling_, October 2009 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/nbe-dt.pdf))
281 -Advisor: Hauke Fuhrmann
282 -1. Miro Spönemann, _On the Automatic Layout of Data Flow Diagrams_, March 2009 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/msp-dt.pdf))
283 -Advisors: Hauke Fuhrmann, Reinhard v. Hanxleden
284 -1. Falk Starke, _Executing Safe State Machines with the Kiel Esterel Processor_, January 2009 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/fast-dt.pdf))
285 -Advisor: Claus Traulsen
286 -1. Arne Schipper, _Layout and Visual Comparison of Statecharts_, December 2008_ (_[pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ars-dt.pdf))
287 -Advisor: Hauke Fuhrmann
288 -1. Jonas Voelcker, _A quantitative analysis of Statechart aesthetics and Statechart development methods_, May 2008 ([pdf)](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/jovo-dt.pdf)
289 -Advisor: Steffen Prochnow
290 -1. Steffen Jacobs, _Automatisierte Validierung von IMA-Konfigurationen_, January 2008
291 -Advisors: Hauke Fuhrmann, Jan Lukoschus, Thorsten Kuhlemann ([Airbus Deutschland GmbH](http://www.airbus.com/en/worldwide/airbus_in_germany.html), Hamburg)
292 -1. Malte Tiedje, _Beschreibung des Kiel Esterel Prozessors in Esterel_, January 2008 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mti-dt.pdf))
293 -Advisor: Claus Traulsen
294 -1. Marian Boldt, _Esterel Compiler for a Synchronous Reactive Processor_, December 2007 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mabo-dt.pdf))
295 -Advisors: Claus Traulsen, Reinhard v. Hanxleden
296 -1. Marco Zingelmann, _A Constructive Model/View Approach for the Refinement of UML 2.0 Sequence Diagrams_, November 2007 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mzi-dt.pdf))
297 -Advisors: Reinhard v. Hanxleden, Carsten Ziegenbein ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
298 -1. Wolfgang Roettger, _Entwurf einer Softwarearchitektur für einen Pocket-PC zur Glucosestoffwechselführung insulinpflichtiger Diabetes Patienten_, September 2007
299 -Advisors: Helmut Röck ([Automatisierungs- und Regelungstechnik](http://www.tf.uni-kiel.de/etech/ART/)), Reinhard v. Hanxleden
300 -1. Sascha Gädtke, _Hardware/Software Co-Design für einen Reaktiven Prozessor_, May 2007 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/sga-dt.pdf))
301 -Advisor: Claus Traulsen
302 -1. Marco Heyden, _Ein allgemein einsetzbares Kommunikationsprotokoll für die Vernetzung von SONAR Systemen mit Schwerpunkten Massendatenversand und Systemparametrierung auf Basis der CORBA Implementierung TAO_, April 2007
303 -Advisors: Reinhard v. Hanxleden; Frank Ritters, Sven Rohde ([L-3 Communications ELAC Nautik GmbH](http://www.elac-nautik.de/), Kiel)
304 -1. Oliver Wulf, _Consistency of Statecharts_, April 2007
305 -Advisors: Reinhard v. Hanxleden, Steffen Prochnow, Carsten Ziegenbein ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
306 -1. André Ohlhoff, _Consistent Refinement of Sequence Diagrams in the UML 2.0_, November 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/aoh-dt.pdf))
307 -Advisors: Reinhard v. Hanxleden; Carsten Ziegenbein, Björn Lüdemann ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
308 -1. Ken Bell, _Überprüfung Syntaktischer Robustheit von Statecharts auf der Basis von OCL_, November 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/kbe-dt.pdf))
309 -Advisor: Steffen Prochnow
310 -1. Gunnar Schaefer, _Statechart Style Checking_, June 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/gsc-dt.pdf))
311 -Advisor: Steffen Prochnow
312 -1. Jan Täubrich, _Formal Specification and Analysis of a Redundancy Management System with TLA+_, March 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/jat-dt.pdf))
313 -Advisor: Reinhard v. Hanxleden
314 -1. Stephan Höhrmann, _Entwicklung eines modularen Feldbussystems zur Steuerung einer Modellbahnanlage_, March 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/sho-dt.pdf))
315 -Advisor: Jan Lukoschus
316 -1. Mirko Wischer, _Textuelle Darstellung und strukturbasiertes Editieren von Statecharts_, February 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/miwi-dt.pdf))
317 -Advisor: Steffen Prochnow
318 -1. Lars Kühl, _Transformation von Esterel nach SyncCharts_, January 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/lku-dt.pdf))
319 -Advisor: Steffen Prochnow
320 -1. Hans Theman, _Methoden zur Analyse und Verbesserung der Rubustheit von Legacy Software_, December 2005
321 -Advisors: Reinhard v. Hanxleden, Daniel Wendorff ([ELAC Nautik GmbH](http://www.elac-nautik.de/), Kiel)
322 -1. Adrian Posor, _Extenstion of KIEL by Stateflow Charts_, December 2005 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/apo-dt.pdf))
323 -Advisor: Steffen Prochnow
324 -1. Hendrik Janz, _Fehlertoleranter Massenspeicher Weltraum-Festplatte_, October 2005
325 -Advisors: Reinhard v. Hanxleden, Heinrich Fischer ([EADS Space Transportation](http://www.space.eads.net/), Bremen)
326 -1. Björn Lüdemann, _Synthesis of human-readable Statecharts from Sequence Diagrams in the ROOM Environment_, August 2005 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/blue-dt.pdf))
327 -Advisors: Reinhard v. Hanxleden, Steffen Prochnow, Carsten Ziegenbein ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
328 -1. Florian Lüpke, _Implementierung eines Statechart-Editors mit layoutbasierten Bearbeitungshilfen_, June 2005 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/flu-dt.pdf))
329 -Advisor: Steffen Prochnow
330 -1. Tobias Kloss, _Automatisches Layout von Statecharts unter Verwendung von Graph Viz_, May 2005 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/tkl-dt.pdf))
331 -Advisor: Steffen Prochnow
332 -1. Hauke Fuhrmann, _Model-Based Design of Distributet Time-Triggered Architectures_, April 2005 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/haf-dt.pdf))
333 -Advisors: Jan Lukoschus, Jörn Rennhack ([Airbus Deutschland GmbH](http://www.airbus.com/en/worldwide/airbus_in_germany.html), Hamburg)
334 -1. Thomas Pyrlik, _Entwurf und Realisation eines OPC-Clients zur Steuerung redundanter PROFIBUS OPC-Server mit Fehlerüberwachung der PROFIBUS Peripherie_, December 2004
335 -Advisors: Reinhard v. Hanxleden, Jochen Logemann ([Vossloh Information Technologies GmbH](http://www.vit.vossloh.com/), Kiel)
336 -
337 -### Student Research Project Theses (Studienarbeiten)
338 -
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
341 -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))
342 -Advisor: Christian Schneider
343 -1. Björn Duderstadt, _Evolutionary Meta Layout for KIELER_, May 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/bdu-st.pdf))
344 -Advisor: Miro Spönemann
345 -1. Stephan Knauer, _Environment Visualization_, March 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/skn-st.pdf))
346 -Advisor: Hauke Fuhrmann
347 -1. Matthias Schmeling, _ThinKCharts - The Thin KIELER SyncCharts Editor_, September 2009_ _([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/schm-st.pdf))
348 -Advisor: Hauke Fuhrmann
349 -1. Christian Motika, _Modellbasierte Umgebungssimulation für verteilte Echtzeitsysteme mit flexiblem Schnittstellenkonzept - Fallstudie einer Bahn-Anlage_, October 2007 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/cmot-st.pdf))
350 -Advisor: Hauke Fuhrmann
351 -1. Marian Boldt, _Worst Case Reaction Time Analysis for a Synchronous Concurrent Processor_, June 2007 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mabo-st.pdf))
352 -Advisors: Claus Traulsen, Reinhard v. Hanxleden
353 -1. Steffen Jacobs, _Konzepte zur Visualisierung grafischer Datenflussmodelle_, February 2007 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/sja-st.pdf))
354 -Advisors: Hauke Fuhrmann, Steffen Prochnow
355 -1. Mirko Wischer, _Ein Browser für die Visualisierung dynamischer Sichten von Statecharts_, June 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/miwi-st.pdf))
356 -Advisor: Steffen Prochnow
357 -1. André Ohlhoff, _Simulating the Behavior of SyncCharts_, February 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/aoh-st.pdf))
358 -Advisor: Steffen Prochnow
359 -1. Hendrik Janz, _Invertiertes Pendel - Modellbasierte Entwicklung und automatische Codesynthese_, March 2005
360 -Advisor: Jan Lukoschus
361 -1. Sascha Gädtke, _Entwicklung eines Phantom-Modellierungswerkzeugs für einen MRT-Simulator_, March 2005
362 -Advisor: Alwin Stengel
363 -1. Stephan Höhrmann, _Entwicklung eines Ultraschall-basierten Ortungssystems für Lego Mindstorms Roboter_, February 2005 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/sho-st.pdf), [html](http://www.shosworld.de/Studienarbeit/), electronic appendix on [demand](rvh@informatik.uni-kiel.de))
364 -Advisor: Jan Lukoschus
365 -1. Tobias Kloss, _Flexibles und Automatisiertes Layout von Statecharts_, July 2003
366 -Advisor: Reinhard v. Hanxleden
XWiki.XWikiRights[0]
Allow/Deny
... ... @@ -1,1 +1,0 @@
1 -Allow
Levels
... ... @@ -1,1 +1,0 @@
1 -view
Users
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest