Changes for page Completed Theses

Last modified by Alexander Schulz-Rosengarten on 2025/04/23 09:22
<
From version < 2.1 >
edited by Alexander Schulz-Rosengarten
on 2023/09/06 08:48
To version < 15.1 >
edited by Maximilian Kasperowski
on 2024/04/16 08:35
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.als
1 +XWiki.mka
Content
... ... @@ -1,0 +1,353 @@
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) Examiners: Reinhard v. Hanxleden, Edward A. Lee (University of California, Berkeley), Michael Mendler (Otto-Friedrich-Universität Bamberg)
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 +Examiners: Reinhard v. Hanxleden, Bernhard Steffen (Universität Dortmund)
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)
9 +Examiners: Reinhard v. Hanxleden, Helen Purchase (U Glasgow)
10 +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)
11 +Examiners: Reinhard v. Hanxleden, Petra Mutzel (Universität Dortmund)
12 +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)
13 +Examiners: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg)
14 +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)
15 +Examiners: Reinhard v. Hanxleden, Florence Maraninchi (VERIMAG, Grenoble)
16 +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)
17 +Examiners: Reinhard v. Hanxleden, Petra Mutzel (Universität Dortmund)
18 +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)
19 +Examiners: Reinhard v. Hanxleden, Willi Hasselbring (CAU), Edward Lee (UC Berkeley)
20 +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=))
21 +Examiners: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg)
22 +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))
23 +Examiners: Reinhard v. Hanxleden, Susanne Graf (VERIMAG, Grenoble)
24 +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))
25 +Examiners: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg)
26 +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))
27 +Examiners: Reinhard v. Hanxleden, Stephen A. Edwards (Columbia University)
28 +
29 +### Master Theses
30 +
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)
35 +1. Bennet Bleßmann, _Google Maps for Models_, April 2022
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 +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 +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 +Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz)
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 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
43 +1. Philip Eumann, _Model-Based Debugging,_ June 2020 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/peu-mt.pdf))
44 +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)
45 +1. Andreas Boysen, _An FPGA-based Demonstrator for Dynamic Ticks_, December 2019
46 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
47 +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))
48 +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)
49 +1. Lena Grimm, _From Lustre to Graphical Dataflow Programs,_ May 2019 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/lgr-mt.pdf))
50 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
51 +1. Andreas Stange, _Model Checking for SCCharts,_ May 2019 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/aas-mt.pdf))
52 +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)
53 +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))
54 +Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
55 +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))
56 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
57 +1. Daniel Jahn, _Connected Components and Hierarchical Ports,_ December 2017 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/dja-mt.pdf))
58 +Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
59 +1. Kristoph Slowikowski, _A Google Maps approach to Graph Drawing,_ December 2017
60 +Advisor: [Nis Wechselberg](http://www.rtsys.informatik.uni-kiel.de/en/team/nis-borge-wechselberg)
61 +1. Daniel Grevismühl, _Stable Diagram Compaction,_ December 2017
62 +Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
63 +1. Kim Christian Mannstedt, _Alternative Layering Strategies for Sugiyama Layout,_ December 2017
64 +Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
65 +1. Lars Peiler, _Priority-based Compilation of SCCharts_, October 2017 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/lpe-mt.pdf))
66 +Advisor: [Steven Smyth](http://www.rtsys.informatik.uni-kiel.de/en/team/ssm)
67 +1. Astrid Flohr, _Edge Routing with Immutable Node Positions_, August 2017
68 +Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
69 +1. Annika Pooch, _A Test Infrastructure for Layout Algorithms_, May 2017 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/apo-mt.pdf))
70 +Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
71 +1. Michael Cyruk, _Compact Packing of Disconnected Graphs_, May 2017 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mic-mt.pdf))
72 +Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
73 +1. Carsten Sprung, _Edge Bundling Techniques for Dataflow Diagrams_, October 2016
74 +Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
75 +1. Alan Schelten, _Hierarchy-Aware Layer Sweep_, September 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/alan-mt.pdf))
76 +Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
77 +1. Alexander Schulz-Rosengarten, _Strict Sequential Constructiveness_, September 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/als-mt.pdf))
78 +Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
79 +1. Niclas Flieger, _Comparison of Compilation Approaches in KIELER_, 29 April 2016
80 +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)
81 +1. Stanislav Nasin, _From SCL to Esterel_, October 2015
82 +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)
83 +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))
84 +Advisor: Reinhard von Hanxleden
85 +1. Karsten Rathlev, _From Esterel to SCL_, March 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/krat-mt.pdf))
86 +Advisors: Steven Smyth, Christian Motika
87 +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))
88 +Advisors: Insa Fuhrmann, Christian Motika
89 +1. Gunnar Johannsen, _Hardwaresynthese aus SCCharts_, October 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/gjo-mt.pdf))
90 +Advisor: Christian Motika, Insa Fuhrmann
91 +1. Wahbi Haribi, _A SyncChart-Editor based on Yakindu_, March 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/wah-mt.pdf))
92 +Advisor: Christian Motika
93 +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))
94 +Advisor: Miro Spönemann
95 +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))
96 +Advisor: Christoph Daniel Schulze
97 +1. Martin Müller, _View Management for Graphical Models_, December 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mmu-mt.pdf))
98 +Advisor: Hauke Fuhrmann
99 +
100 +### Bachelor Theses
101 +
102 +1. Mette Preuhsler, _Applying Automatic Visualisation to Deep Neural Network Development_, April 2023 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mep-bt.pdf))
103 +Advisor: [Maximilian Kasperowski](https://www.rtsys.informatik.uni-kiel.de/en/team/maximilian-kasperowski)
104 +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))
105 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
106 +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))
107 +Advisor: [Malte Clement](https://www.rtsys.informatik.uni-kiel.de/en/team/malte-clement)
108 +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 +Advisor: [Maximilian Kasperowski](https://www.rtsys.informatik.uni-kiel.de/en/team/maximilian-kasperowski)
110 +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))
111 +Advisor: [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold)
112 +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))
113 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
114 +1. Lasse Köster: _Entwicklung und Erweiterung einer Arbeitsplatzreservierung mithilfe von IoT-Technologie,_ March 2023
115 +Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
116 +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))
117 +Advisor:  [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold)
118 +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))
119 +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)
120 +1. Sven Korfmann: _Stress Based Knot-Graph Layout,_ September 2022
121 +Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
122 +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))
123 +Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
124 +1. Gavin Lüdemann, _Modular Code Generation for SCCharts_, September 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/glu-bt.pdf))
125 +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)
126 +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))
127 +Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz)
128 +1. Philip Raschkowski, _SCCharts for Game Development_, March 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/phr-bt.pdf))
129 +Advisor: [Reinhard von Hanxleden](https://www.rtsys.informatik.uni-kiel.de/en/team/rvh)
130 +1. Niklas Carstensen, _Interactive Tree Layout_, September 2020 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/carstensen-bt.pdf))
131 +Advisor: [Sören Domrös](http://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
132 +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))
133 +Advisor: [Sören Domrös](http://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
134 +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))
135 +Advisor: [Christoph Daniel Schulze](http://www.rtsys.informatik.uni-kiel.de/en/team/cds)
136 +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))
137 +Advisor: [Sören Domrös](http://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
138 +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))
139 +Advisor: [Christoph Daniel Schulze](http://www.rtsys.informatik.uni-kiel.de/en/team/cds)
140 +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))
141 +Advisor: [Christoph Daniel Schulze](http://www.rtsys.informatik.uni-kiel.de/en/team/cds)
142 +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))
143 +Advisor: [Christoph Daniel Schulze](http://www.rtsys.informatik.uni-kiel.de/en/team/cds)
144 +1. Tobias Gartmann, _Automatic Documentation of Audio-Signal Processing Software_, September 2018
145 +Advisor: [Nis Wechselberg](http://www.rtsys.informatik.uni-kiel.de/en/team/nis-borge-wechselberg)
146 +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))
147 +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)
148 +1. Milad Rahimi, _Incremental Compilation of SCEst_, September 2017 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mrb-bt.pdf))
149 +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)
150 +1. Felix Kruse, _Interaktive Infotafel für die Arbeitsgruppe "Echtzeitsysteme und Eingebettete Systeme"_, March 2017
151 +Advisor: [Nis Wechselberg](http://www.rtsys.informatik.uni-kiel.de/en/team/nis-borge-wechselberg)
152 +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))
153 +Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
154 +1. Lena Grimm, _Debugging SCCharts_, September 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/lgr-bt.pdf))
155 +Advisor:  [Insa Fuhrmann](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/mf)
156 +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))
157 +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)
158 +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))
159 +Advisor:  [Insa Fuhrmann](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/mf)
160 +1. Lars Olsson, _Modellextraktion aus C Code_, 31 March 2016
161 +Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
162 +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))
163 +Advisor: [Christian Motika](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cm)
164 +1. Sandra Skrlac, _Enhanced Port Constraints in a Layer-Based Layout_, September 2015
165 +Advisor: [Ulf Rüegg](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ur)
166 +1. Tibor Weiß, _Von Nebenläufigkeit zu Parallelität_, October 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/twe-bt.pdf))
167 +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)
168 +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))
169 +Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
170 +1. Yella Lasch, _Label Management in Graph Layout Algorithmen_, September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ybl-bt.pdf))
171 +Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
172 +1. Christina Plöger, _Improving Comment Attachment Algorithms,_ September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/cpl-bt.pdf))
173 +Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
174 +1. Lewe Andersen, _Quadrocopter Flight Control Design using SCCharts_, September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/lan-bt.pdf))
175 +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)
176 +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))
177 +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)
178 +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))
179 +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)
180 +1. Andreas Stange, _Comfortable SCCharts Modeling for Embedded Systems_, September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/aas-bt.pdf))
181 +Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
182 +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))
183 +Advisor: Christoph Daniel Schulze
184 +1. Marius Richter, _Visualisierung von Schienennetzinfrastrukturdaten_, September 2014
185 +Advisor: Christoph Daniel Schulze
186 +1. Katja Petrat, _Erweiterung und Implementierung eines Knotenplatzierungsalgorithmus_, March 2014 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/kpe-bt.pdf))
187 +Advisor: Christoph Daniel Schulze
188 +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))
189 +Advisors: Christian Schneider
190 +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))
191 +Advisor: Christian Schneider
192 +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))
193 +Advisor: Christian Motika
194 +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))
195 +Advisor: Miro Spönemann
196 +1. Stanislaw Nasin, _Graphische Zuordnung von Elementen einer Modelltransformation_, March 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/sna-bt.pdf))
197 +Advisor: Christoph Daniel Schulze
198 +1. Helge Müller, _Designing Applications With the e4 Application Model_, March 2013
199 +Advisor: Christoph Daniel Schulze
200 +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))
201 +Advisor: Miro Spönemann
202 +1. Alexander Bosy, _Synthese von graphischen Darstellungen aus einer textuellen Verhaltensbeschreibung_, March 2012
203 +Advisor: Christian Schneider
204 +1. Ulf Rüegg, _Interactive Transformations for Visual Models_, March 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/uru-bt.pdf))
205 +Advisor: Christian Motika
206 +1. Hauke Wree, _Ein Gleisplaneditor basierend auf Graphiti_, March 2011
207 +Advisor: Miro Spönemann
208 +1. John Carstens, _Datenvisualisierung in grafischen Modellen_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/jjc-bt.pdf))
209 +Advisor: Christian Motika
210 +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))
211 +Advisor: Miro Spönemann
212 +1. Philipp Döhring, _Algorithmen zur Layerzuweisung_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/pdo-bt.pdf))
213 +Advisor: Miro Spönemann
214 +1. Mirko Heinold, _Synchronous Java_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mhei-bt.pdf))
215 +Advisor: Christian Motika
216 +1. Paul Klose, _Beispiel Management in KIELER_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/pkl-bt.pdf))
217 +Advisor: Christian Motika
218 +1. Christian Kutschmar, _Planarisierung von Hypergraphen_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/cku-bt.pdf))
219 +Advisor: Miro Spönemann
220 +1. Martin Rieß, _A Graph Editor for Algorithm Engineering_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mri-bt.pdf))
221 +Advisor: Miro Spönemann
222 +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))
223 +Advisor: Hauke Fuhrmann
224 +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))
225 +Advisor: Christian Motika
226 +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))
227 +Advisor: Steffen Prochnow
228 +
229 +### Diploma Theses (Diplomarbeiten)
230 +
231 +1. Sven Oliver Reimers, _Port-Aware Node Placement in a Layered Layout Algorithm_, March 2015
232 +Advisor: Ulf Rüegg
233 +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))
234 +Advisors: Steven Smyth, Insa Fuhrmann
235 +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))
236 +Advisor: Christoph Daniel Schulze
237 +1. Steven Smyth, _Code Generation for Sequential Constructiveness_, July 2013_ _([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ssm-dt.pdf))
238 +Advisor: Christian Motika
239 +1. Gregor Hoops, _Automatic Layout of UML Sequence Diagrams_, April 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/grh-dt.pdf))
240 +Advisor: Christoph Daniel Schulze
241 +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))
242 +Advisors: Insa Fuhrmann, Christian Motika, Reinhard v. Hanxleden
243 +1. Tim Grebien, _Managing Academic Eclipse-Based Projects_, August 2012 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/tig-dt.pdf))
244 +Advisor: Christoph Daniel Schulze
245 +1. Insa Fuhrmann, _Layout of Compound Graphs_, 15 February 2012 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ima-dt.pdf))
246 +Advisor: Miro Spönemann
247 +1. Tobias Mahnke-Nissen , _souq - Eine verteilte Anwendung zur einfachen Erfassung und Propagation von Forschungsdaten_, 30 January 2012
248 +Advisors: Reinhard v. Hanxleden, Wolfgang Junge (Institut für Tierzucht und Tierhaltung)
249 +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))
250 +Advisor: Miro Spönemann
251 +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))
252 +Advisor: Miro Spönemann
253 +1. Christian Schneider, _Integrating Graphical and Textual Modeling_, February 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/chsch-dt.pdf))
254 +Advisors: Hauke Fuhrmann, Miro Spönemann
255 +1. Joachim Bleidiessel, _A Domain Specific Language for Railway Control_
256 +Advisor: Reinhard v. Hanxleden
257 +1. Niclas Köser, _SyncCharts in C auf Multicore_, October 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/nks-dt.pdf))
258 +Advisor: Reinhard v. Hanxleden
259 +1. Torsten Amende, _Synthese von SC-Code aus SyncCharts_, May 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/tam-dt.pdf))
260 +Advisors: Claus Traulsen, Christian Motika
261 +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))
262 +Advisors: [Partha Roop](http://www.ele.auckland.ac.nz/%7Eroop/), Miro Spönemann
263 +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))
264 +Advisor: Hauke Fuhrmann
265 +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))
266 +Advisor: Hauke Fuhrmann
267 +1. Özgün Bayramoglu, _KIELER Infrastructure for Textual Modeling_, December 2009 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/oba-dt.pdf))
268 +Advisor: Hauke Fuhrmann
269 +1. Nils Beckel, _View Management for Visual Modeling_, October 2009 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/nbe-dt.pdf))
270 +Advisor: Hauke Fuhrmann
271 +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))
272 +Advisors: Hauke Fuhrmann, Reinhard v. Hanxleden
273 +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))
274 +Advisor: Claus Traulsen
275 +1. Arne Schipper, _Layout and Visual Comparison of Statecharts_, December 2008_ (_[pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ars-dt.pdf))
276 +Advisor: Hauke Fuhrmann
277 +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)
278 +Advisor: Steffen Prochnow
279 +1. Steffen Jacobs, _Automatisierte Validierung von IMA-Konfigurationen_, January 2008
280 +Advisors: Hauke Fuhrmann, Jan Lukoschus, Thorsten Kuhlemann ([Airbus Deutschland GmbH](http://www.airbus.com/en/worldwide/airbus_in_germany.html), Hamburg)
281 +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))
282 +Advisor: Claus Traulsen
283 +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))
284 +Advisors: Claus Traulsen, Reinhard v. Hanxleden
285 +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))
286 +Advisors: Reinhard v. Hanxleden, Carsten Ziegenbein ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
287 +1. Wolfgang Roettger, _Entwurf einer Softwarearchitektur für einen Pocket-PC zur Glucosestoffwechselführung insulinpflichtiger Diabetes Patienten_, September 2007
288 +Advisors: Helmut Röck ([Automatisierungs- und Regelungstechnik](http://www.tf.uni-kiel.de/etech/ART/)), Reinhard v. Hanxleden
289 +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))
290 +Advisor: Claus Traulsen
291 +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
292 +Advisors: Reinhard v. Hanxleden; Frank Ritters, Sven Rohde ([L-3 Communications ELAC Nautik GmbH](http://www.elac-nautik.de/), Kiel)
293 +1. Oliver Wulf, _Consistency of Statecharts_, April 2007
294 +Advisors: Reinhard v. Hanxleden, Steffen Prochnow, Carsten Ziegenbein ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
295 +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))
296 +Advisors: Reinhard v. Hanxleden; Carsten Ziegenbein, Björn Lüdemann ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
297 +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))
298 +Advisor: Steffen Prochnow
299 +1. Gunnar Schaefer, _Statechart Style Checking_, June 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/gsc-dt.pdf))
300 +Advisor: Steffen Prochnow
301 +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))
302 +Advisor: Reinhard v. Hanxleden
303 +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))
304 +Advisor: Jan Lukoschus
305 +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))
306 +Advisor: Steffen Prochnow
307 +1. Lars Kühl, _Transformation von Esterel nach SyncCharts_, January 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/lku-dt.pdf))
308 +Advisor: Steffen Prochnow
309 +1. Hans Theman, _Methoden zur Analyse und Verbesserung der Rubustheit von Legacy Software_, December 2005
310 +Advisors: Reinhard v. Hanxleden, Daniel Wendorff ([ELAC Nautik GmbH](http://www.elac-nautik.de/), Kiel)
311 +1. Adrian Posor, _Extenstion of KIEL by Stateflow Charts_, December 2005 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/apo-dt.pdf))
312 +Advisor: Steffen Prochnow
313 +1. Hendrik Janz, _Fehlertoleranter Massenspeicher Weltraum-Festplatte_, October 2005
314 +Advisors: Reinhard v. Hanxleden, Heinrich Fischer ([EADS Space Transportation](http://www.space.eads.net/), Bremen)
315 +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))
316 +Advisors: Reinhard v. Hanxleden, Steffen Prochnow, Carsten Ziegenbein ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
317 +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))
318 +Advisor: Steffen Prochnow
319 +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))
320 +Advisor: Steffen Prochnow
321 +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))
322 +Advisors: Jan Lukoschus, Jörn Rennhack ([Airbus Deutschland GmbH](http://www.airbus.com/en/worldwide/airbus_in_germany.html), Hamburg)
323 +1. Thomas Pyrlik, _Entwurf und Realisation eines OPC-Clients zur Steuerung redundanter PROFIBUS OPC-Server mit Fehlerüberwachung der PROFIBUS Peripherie_, December 2004
324 +Advisors: Reinhard v. Hanxleden, Jochen Logemann ([Vossloh Information Technologies GmbH](http://www.vit.vossloh.com/), Kiel)
325 +
326 +### Student Research Project Theses (Studienarbeiten)
327 +
328 +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))
329 +Advisor: Christian Schneider
330 +1. Björn Duderstadt, _Evolutionary Meta Layout for KIELER_, May 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/bdu-st.pdf))
331 +Advisor: Miro Spönemann
332 +1. Stephan Knauer, _Environment Visualization_, March 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/skn-st.pdf))
333 +Advisor: Hauke Fuhrmann
334 +1. Matthias Schmeling, _ThinKCharts - The Thin KIELER SyncCharts Editor_, September 2009_ _([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/schm-st.pdf))
335 +Advisor: Hauke Fuhrmann
336 +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))
337 +Advisor: Hauke Fuhrmann
338 +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))
339 +Advisors: Claus Traulsen, Reinhard v. Hanxleden
340 +1. Steffen Jacobs, _Konzepte zur Visualisierung grafischer Datenflussmodelle_, February 2007 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/sja-st.pdf))
341 +Advisors: Hauke Fuhrmann, Steffen Prochnow
342 +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))
343 +Advisor: Steffen Prochnow
344 +1. André Ohlhoff, _Simulating the Behavior of SyncCharts_, February 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/aoh-st.pdf))
345 +Advisor: Steffen Prochnow
346 +1. Hendrik Janz, _Invertiertes Pendel - Modellbasierte Entwicklung und automatische Codesynthese_, March 2005
347 +Advisor: Jan Lukoschus
348 +1. Sascha Gädtke, _Entwicklung eines Phantom-Modellierungswerkzeugs für einen MRT-Simulator_, March 2005
349 +Advisor: Alwin Stengel
350 +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))
351 +Advisor: Jan Lukoschus
352 +1. Tobias Kloss, _Flexibles und Automatisiertes Layout von Statecharts_, July 2003
353 +Advisor: Reinhard v. Hanxleden
XWiki.XWikiRights[0]
Allow/Deny
... ... @@ -1,0 +1,1 @@
1 +Allow
Levels
... ... @@ -1,0 +1,1 @@
1 +view
Users
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage