Changes for page Completed Theses

Last modified by Alexander Schulz-Rosengarten on 2025/04/23 09:22
<
From version < 3.1 >
edited by Sascha Hoppe
on 2023/09/08 07:24
To version < 12.1 >
edited by Sascha Hoppe
on 2024/01/16 14:23
>
Change comment: Fix markup to render all titles in slanted font face

Summary

Details

Page properties
Content
... ... @@ -59,7 +59,7 @@
59 59  Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
60 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 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
62 +1. Astrid Flohr, _Edge Routing with Immutable Node Positions_, August 2017
63 63  Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
64 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 65  Advisor: [Christoph Daniel Schulze](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/cds)
... ... @@ -69,7 +69,7 @@
69 69  Advisor: [Ulf Rüegg](http://www.rtsys.informatik.uni-kiel.de/en/team/ur)
70 70  1. Alan Schelten, _Hierarchy-Aware Layer Sweep_, September 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/alan-mt.pdf))
71 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))
72 +1. Alexander Schulz-Rosengarten, _Strict Sequential Constructiveness_, September 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/als-mt.pdf))
73 73  Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
74 74  1. Niclas Flieger, _Comparison of Compilation Approaches in KIELER_, 29 April 2016
75 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)
... ... @@ -85,7 +85,7 @@
85 85  Advisor: Christian Motika, Insa Fuhrmann
86 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 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))
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 89  Advisor: Miro Spönemann
90 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 91  Advisor: Christoph Daniel Schulze
... ... @@ -94,6 +94,16 @@
94 94  
95 95  ### Bachelor Theses
96 96  
97 +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))
98 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
99 +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))
100 +Advisor: [Malte Clement](https://www.rtsys.informatik.uni-kiel.de/en/team/malte-clement)
101 +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))
102 +Advisor: [Maximilian Kasperowski](https://www.rtsys.informatik.uni-kiel.de/en/team/maximilian-kasperowski)
103 +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))
104 +Advisor: [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold)
105 +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))
106 +Advisor: [Alexander Schulz-Rosengarten](http://www.rtsys.informatik.uni-kiel.de/en/team/alexander-schulz-rosengarten)
97 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 98  Advisor:  [Jette Petzold](https://www.rtsys.informatik.uni-kiel.de/en/team/jette-petzold)
99 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))
... ... @@ -120,21 +120,21 @@
120 120  Advisor: [Christoph Daniel Schulze](http://www.rtsys.informatik.uni-kiel.de/en/team/cds)
121 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 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
133 +1. Tobias Gartmann, _Automatic Documentation of Audio-Signal Processing Software_, September 2018
124 124  Advisor: [Nis Wechselberg](http://www.rtsys.informatik.uni-kiel.de/en/team/nis-borge-wechselberg)
125 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 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 127  1. Milad Rahimi, _Incremental Compilation of SCEst_, September 2017 ([pdf](https://rtsys.informatik.uni-kiel.de/~biblio/downloads/theses/mrb-bt.pdf))
128 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
139 +1. Felix Kruse, _Interaktive Infotafel für die Arbeitsgruppe "Echtzeitsysteme und Eingebettete Systeme"_, March 2017
130 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))
141 +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 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))
143 +1. Lena Grimm, _Debugging SCCharts_, September 2016 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/lgr-bt.pdf))
134 134  Advisor:  [Insa Fuhrmann](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/mf)
135 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 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))
147 +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 138  Advisor:  [Insa Fuhrmann](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/mf)
139 139  1. Lars Olsson, _Modellextraktion aus C Code_, 31 March 2016
140 140  Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
... ... @@ -156,7 +156,7 @@
156 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 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 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))
169 +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 160  Advisor: [Steven Smyth](https://www.rtsys.informatik.uni-kiel.de/en/team/former-group-members/ssm)
161 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 162  Advisor: Christoph Daniel Schulze
... ... @@ -247,9 +247,9 @@
247 247  Advisor: Hauke Fuhrmann
248 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 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))
260 +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 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))
262 +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 253  Advisor: Claus Traulsen
254 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 255  Advisor: Hauke Fuhrmann
... ... @@ -304,9 +304,9 @@
304 304  
305 305  ### Student Research Project Theses (Studienarbeiten)
306 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))
317 +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 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))
319 +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 310  Advisor: Miro Spönemann
311 311  1. Stephan Knauer, _Environment Visualization_, March 2010 ([pdf](https://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/skn-st.pdf))
312 312  Advisor: Hauke Fuhrmann
... ... @@ -330,5 +330,3 @@
330 330  Advisor: Jan Lukoschus
331 331  1. Tobias Kloss, _Flexibles und Automatisiertes Layout von Statecharts_, July 2003
332 332  Advisor: Reinhard v. Hanxleden
333 -
334 -
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