Changes for page Completed Theses

Last modified by Niklas Rentz on 2025/04/11 14:56
<
From version < 2.1 >
edited by Alexander Schulz-Rosengarten
on 2023/09/06 08:48
To version < 3.1 >
edited by Sascha Hoppe
on 2023/09/08 07:24
>
Change comment: There is no comment for this version

Summary

Details

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

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage