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