Changes for page Completed Theses

Last modified by Alexander Schulz-Rosengarten on 2025/04/23 09:22
<
From version < 4.1 >
edited by Jette Petzold
on 2023/10/25 09:06
To version < 2.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.jep
1 +XWiki.als
Content
... ... @@ -1,334 +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. 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. Orhan Tekin,  September 2023 ([[pdf|https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/ote-bt.pdf]])
98 -Advisor: [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold)
99 -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))
100 -Advisor:  [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold)
101 -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))
102 -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)
103 -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))
104 -Advisor: [Sören Domrös](https://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
105 -1. Gavin Lüdemann, _Modular Code Generation for SCCharts_, September 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/glu-bt.pdf))
106 -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)
107 -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))
108 -Advisor: [Niklas Rentz](https://www.rtsys.informatik.uni-kiel.de/en/team/niklas-rentz)
109 -1. Philip Raschkowski, _SCCharts for Game Development_, March 2021 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/phr-bt.pdf))
110 -Advisor: [Reinhard von Hanxleden](https://www.rtsys.informatik.uni-kiel.de/en/team/rvh)
111 -1. Niklas Carstensen, _Interactive Tree Layout_, September 2020 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/carstensen-bt.pdf))
112 -Advisor: [Sören Domrös](http://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
113 -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))
114 -Advisor: [Sören Domrös](http://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
115 -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))
116 -Advisor: [Christoph Daniel Schulze](http://www.rtsys.informatik.uni-kiel.de/en/team/cds)
117 -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))
118 -Advisor: [Sören Domrös](http://www.rtsys.informatik.uni-kiel.de/en/team/soren-domros)
119 -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))
120 -Advisor: [Christoph Daniel Schulze](http://www.rtsys.informatik.uni-kiel.de/en/team/cds)
121 -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))
122 -Advisor: [Christoph Daniel Schulze](http://www.rtsys.informatik.uni-kiel.de/en/team/cds)
123 -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))
124 -Advisor: [Christoph Daniel Schulze](http://www.rtsys.informatik.uni-kiel.de/en/team/cds)
125 -1. Tobias Gartmann, _Automatic Documentation of Audio-Signal Processing Software, _September 2018
126 -Advisor: [Nis Wechselberg](http://www.rtsys.informatik.uni-kiel.de/en/team/nis-borge-wechselberg)
127 -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))
128 -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)
129 -1. Milad Rahimi, _Incremental Compilation of SCEst_, September 2017 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mrb-bt.pdf))
130 -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)
131 -1. Felix Kruse,_ Interaktive Infotafel für die Arbeitsgruppe "Echtzeitsysteme und Eingebettete Systeme"_, March 2017
132 -Advisor: [Nis Wechselberg](http://www.rtsys.informatik.uni-kiel.de/en/team/nis-borge-wechselberg)
133 -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))
134 -Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
135 -1. Lena Grimm, _Debugging SCCharts, _September 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/lgr-bt.pdf))
136 -Advisor:  [Insa Fuhrmann](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/mf)
137 -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))
138 -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)
139 -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))
140 -Advisor:  [Insa Fuhrmann](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/mf)
141 -1. Lars Olsson, _Modellextraktion aus C Code_, 31 March 2016
142 -Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
143 -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))
144 -Advisor: [Christian Motika](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cm)
145 -1. Sandra Skrlac, _Enhanced Port Constraints in a Layer-Based Layout_, September 2015
146 -Advisor: [Ulf Rüegg](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ur)
147 -1. Tibor Weiß, _Von Nebenläufigkeit zu Parallelität_, October 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/twe-bt.pdf))
148 -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)
149 -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))
150 -Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
151 -1. Yella Lasch, _Label Management in Graph Layout Algorithmen_, September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ybl-bt.pdf))
152 -Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
153 -1. Christina Plöger, _Improving Comment Attachment Algorithms,_ September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/cpl-bt.pdf))
154 -Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
155 -1. Lewe Andersen, _Quadrocopter Flight Control Design using SCCharts_, September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/lan-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. 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))
158 -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)
159 -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))
160 -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)
161 -1. Andreas Stange,_ Comfortable SCCharts Modeling for Embedded Systems_, September 2015 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/aas-bt.pdf))
162 -Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
163 -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))
164 -Advisor: Christoph Daniel Schulze
165 -1. Marius Richter, _Visualisierung von Schienennetzinfrastrukturdaten_, September 2014
166 -Advisor: Christoph Daniel Schulze
167 -1. Katja Petrat, _Erweiterung und Implementierung eines Knotenplatzierungsalgorithmus_, March 2014 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/kpe-bt.pdf))
168 -Advisor: Christoph Daniel Schulze
169 -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))
170 -Advisors: Christian Schneider
171 -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))
172 -Advisor: Christian Schneider
173 -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))
174 -Advisor: Christian Motika
175 -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))
176 -Advisor: Miro Spönemann
177 -1. Stanislaw Nasin, _Graphische Zuordnung von Elementen einer Modelltransformation_, March 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/sna-bt.pdf))
178 -Advisor: Christoph Daniel Schulze
179 -1. Helge Müller, _Designing Applications With the e4 Application Model_, March 2013
180 -Advisor: Christoph Daniel Schulze
181 -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))
182 -Advisor: Miro Spönemann
183 -1. Alexander Bosy, _Synthese von graphischen Darstellungen aus einer textuellen Verhaltensbeschreibung_, March 2012
184 -Advisor: Christian Schneider
185 -1. Ulf Rüegg, _Interactive Transformations for Visual Models_, March 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/uru-bt.pdf))
186 -Advisor: Christian Motika
187 -1. Hauke Wree, _Ein Gleisplaneditor basierend auf Graphiti_, March 2011
188 -Advisor: Miro Spönemann
189 -1. John Carstens, _Datenvisualisierung in grafischen Modellen_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/jjc-bt.pdf))
190 -Advisor: Christian Motika
191 -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))
192 -Advisor: Miro Spönemann
193 -1. Philipp Döhring, _Algorithmen zur Layerzuweisung_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/pdo-bt.pdf))
194 -Advisor: Miro Spönemann
195 -1. Mirko Heinold, _Synchronous Java_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mhei-bt.pdf))
196 -Advisor: Christian Motika
197 -1. Paul Klose, _Beispiel Management in KIELER_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/pkl-bt.pdf))
198 -Advisor: Christian Motika
199 -1. Christian Kutschmar, _Planarisierung von Hypergraphen_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/cku-bt.pdf))
200 -Advisor: Miro Spönemann
201 -1. Martin Rieß, _A Graph Editor for Algorithm Engineering_, September 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/mri-bt.pdf))
202 -Advisor: Miro Spönemann
203 -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))
204 -Advisor: Hauke Fuhrmann
205 -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))
206 -Advisor: Christian Motika
207 -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))
208 -Advisor: Steffen Prochnow
209 -
210 -### Diploma Theses (Diplomarbeiten)
211 -
212 -1. Sven Oliver Reimers, _Port-Aware Node Placement in a Layered Layout Algorithm_, March 2015
213 -Advisor: Ulf Rüegg
214 -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))
215 -Advisors: Steven Smyth, Insa Fuhrmann
216 -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))
217 -Advisor: Christoph Daniel Schulze
218 -1. Steven Smyth, _Code Generation for Sequential Constructiveness_, July 2013_ _([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ssm-dt.pdf))
219 -Advisor: Christian Motika
220 -1. Gregor Hoops, _Automatic Layout of UML Sequence Diagrams_, April 2013 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/grh-dt.pdf))
221 -Advisor: Christoph Daniel Schulze
222 -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))
223 -Advisors: Insa Fuhrmann, Christian Motika, Reinhard v. Hanxleden
224 -1. Tim Grebien, _Managing Academic Eclipse-Based Projects_, August 2012 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/tig-dt.pdf))
225 -Advisor: Christoph Daniel Schulze
226 -1. Insa Fuhrmann, _Layout of Compound Graphs_, 15 February 2012 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ima-dt.pdf))
227 -Advisor: Miro Spönemann
228 -1. Tobias Mahnke-Nissen , _souq - Eine verteilte Anwendung zur einfachen Erfassung und Propagation von Forschungsdaten_, 30 January 2012
229 -Advisors: Reinhard v. Hanxleden, Wolfgang Junge (Institut für Tierzucht und Tierhaltung)
230 -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))
231 -Advisor: Miro Spönemann
232 -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))
233 -Advisor: Miro Spönemann
234 -1. Christian Schneider, _Integrating Graphical and Textual Modeling_, February 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/chsch-dt.pdf))
235 -Advisors: Hauke Fuhrmann, Miro Spönemann
236 -1. Joachim Bleidiessel, _A Domain Specific Language for Railway Control_
237 -Advisor: Reinhard v. Hanxleden
238 -1. Niclas Köser, _SyncCharts in C auf Multicore_, October 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/nks-dt.pdf))
239 -Advisor: Reinhard v. Hanxleden
240 -1. Torsten Amende, _Synthese von SC-Code aus SyncCharts_, May 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/tam-dt.pdf))
241 -Advisors: Claus Traulsen, Christian Motika
242 -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))
243 -Advisors: [Partha Roop](http://www.ele.auckland.ac.nz/%7Eroop/), Miro Spönemann
244 -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))
245 -Advisor: Hauke Fuhrmann
246 -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))
247 -Advisor: Hauke Fuhrmann
248 -1. Özgün Bayramoglu, _KIELER Infrastructure for Textual Modeling_, December 2009 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/oba-dt.pdf))
249 -Advisor: Hauke Fuhrmann
250 -1. Nils Beckel, _View Management for Visual Modeling_, October 2009 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/nbe-dt.pdf))
251 -Advisor: Hauke Fuhrmann
252 -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))
253 -Advisors: Hauke Fuhrmann, Reinhard v. Hanxleden
254 -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))
255 -Advisor: Claus Traulsen
256 -1. Arne Schipper, _Layout and Visual Comparison of Statecharts_, December 2008_ (_[pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ars-dt.pdf))
257 -Advisor: Hauke Fuhrmann
258 -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)
259 -Advisor: Steffen Prochnow
260 -1. Steffen Jacobs, _Automatisierte Validierung von IMA-Konfigurationen_, January 2008
261 -Advisors: Hauke Fuhrmann, Jan Lukoschus, Thorsten Kuhlemann ([Airbus Deutschland GmbH](http://www.airbus.com/en/worldwide/airbus_in_germany.html), Hamburg)
262 -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))
263 -Advisor: Claus Traulsen
264 -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))
265 -Advisors: Claus Traulsen, Reinhard v. Hanxleden
266 -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))
267 -Advisors: Reinhard v. Hanxleden, Carsten Ziegenbein ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
268 -1. Wolfgang Roettger, _Entwurf einer Softwarearchitektur für einen Pocket-PC zur Glucosestoffwechselführung insulinpflichtiger Diabetes Patienten_, September 2007
269 -Advisors: Helmut Röck ([Automatisierungs- und Regelungstechnik](http://www.tf.uni-kiel.de/etech/ART/)), Reinhard v. Hanxleden
270 -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))
271 -Advisor: Claus Traulsen
272 -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
273 -Advisors: Reinhard v. Hanxleden; Frank Ritters, Sven Rohde ([L-3 Communications ELAC Nautik GmbH](http://www.elac-nautik.de/), Kiel)
274 -1. Oliver Wulf, _Consistency of Statecharts_, April 2007
275 -Advisors: Reinhard v. Hanxleden, Steffen Prochnow, Carsten Ziegenbein ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
276 -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))
277 -Advisors: Reinhard v. Hanxleden; Carsten Ziegenbein, Björn Lüdemann ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
278 -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))
279 -Advisor: Steffen Prochnow
280 -1. Gunnar Schaefer, _Statechart Style Checking_, June 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/gsc-dt.pdf))
281 -Advisor: Steffen Prochnow
282 -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))
283 -Advisor: Reinhard v. Hanxleden
284 -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))
285 -Advisor: Jan Lukoschus
286 -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))
287 -Advisor: Steffen Prochnow
288 -1. Lars Kühl, _Transformation von Esterel nach SyncCharts_, January 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/lku-dt.pdf))
289 -Advisor: Steffen Prochnow
290 -1. Hans Theman, _Methoden zur Analyse und Verbesserung der Rubustheit von Legacy Software_, December 2005
291 -Advisors: Reinhard v. Hanxleden, Daniel Wendorff ([ELAC Nautik GmbH](http://www.elac-nautik.de/), Kiel)
292 -1. Adrian Posor, _Extenstion of KIEL by Stateflow Charts_, December 2005 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/apo-dt.pdf))
293 -Advisor: Steffen Prochnow
294 -1. Hendrik Janz, _Fehlertoleranter Massenspeicher Weltraum-Festplatte_, October 2005
295 -Advisors: Reinhard v. Hanxleden, Heinrich Fischer ([EADS Space Transportation](http://www.space.eads.net/), Bremen)
296 -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))
297 -Advisors: Reinhard v. Hanxleden, Steffen Prochnow, Carsten Ziegenbein ([Philips Medical Systems GmbH](http://www.medical.philips.com/de/), Hamburg)
298 -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))
299 -Advisor: Steffen Prochnow
300 -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))
301 -Advisor: Steffen Prochnow
302 -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))
303 -Advisors: Jan Lukoschus, Jörn Rennhack ([Airbus Deutschland GmbH](http://www.airbus.com/en/worldwide/airbus_in_germany.html), Hamburg)
304 -1. Thomas Pyrlik, _Entwurf und Realisation eines OPC-Clients zur Steuerung redundanter PROFIBUS OPC-Server mit Fehlerüberwachung der PROFIBUS Peripherie_, December 2004
305 -Advisors: Reinhard v. Hanxleden, Jochen Logemann ([Vossloh Information Technologies GmbH](http://www.vit.vossloh.com/), Kiel)
306 -
307 -### Student Research Project Theses (Studienarbeiten)
308 -
309 -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))
310 -Advisor: Christian Schneider
311 -1. Björn Duderstadt, Evolutionary Meta Layout for KIELER, May 2011 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/bdu-st.pdf))
312 -Advisor: Miro Spönemann
313 -1. Stephan Knauer, _Environment Visualization_, March 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/skn-st.pdf))
314 -Advisor: Hauke Fuhrmann
315 -1. Matthias Schmeling, _ThinKCharts - The Thin KIELER SyncCharts Editor_, September 2009_ _([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/schm-st.pdf))
316 -Advisor: Hauke Fuhrmann
317 -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))
318 -Advisor: Hauke Fuhrmann
319 -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))
320 -Advisors: Claus Traulsen, Reinhard v. Hanxleden
321 -1. Steffen Jacobs, _Konzepte zur Visualisierung grafischer Datenflussmodelle_, February 2007 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/sja-st.pdf))
322 -Advisors: Hauke Fuhrmann, Steffen Prochnow
323 -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))
324 -Advisor: Steffen Prochnow
325 -1. André Ohlhoff, _Simulating the Behavior of SyncCharts_, February 2006 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/aoh-st.pdf))
326 -Advisor: Steffen Prochnow
327 -1. Hendrik Janz, _Invertiertes Pendel - Modellbasierte Entwicklung und automatische Codesynthese_, March 2005
328 -Advisor: Jan Lukoschus
329 -1. Sascha Gädtke, _Entwicklung eines Phantom-Modellierungswerkzeugs für einen MRT-Simulator_, March 2005
330 -Advisor: Alwin Stengel
331 -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))
332 -Advisor: Jan Lukoschus
333 -1. Tobias Kloss, _Flexibles und Automatisiertes Layout von Statecharts_, July 2003
334 -Advisor: Reinhard v. Hanxleden
XWiki.XWikiRights[0]
Allow/Deny
... ... @@ -1,1 +1,0 @@
1 -1
Levels
... ... @@ -1,1 +1,0 @@
1 -view
Users
... ... @@ -1,1 +1,0 @@
1 -XWiki.XWikiGuest

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage