Theses - Completed Theses 

Page / - last modified by Maximilian Kasperowski on 2025/03/20 13:47 

Completed Theses 
last modified by Maximilian Kasperowski
on 2025/03/20 13:47

Table of Contents
PhD Theses (Dissertationen)
Master Theses
Bachelor Theses
Diploma Theses (Diplomarbeiten)
Student Research Project Theses (Studienarbeiten)

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 voraus.
PhD Theses (Dissertationen)
 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 2024/1)
Examiners: Reinhard v. Hanxleden, Edward A. Lee (University of California, Berkeley), Michael Mendler (Otto-Friedrich-Universität Bamberg)
 2.	Steven Smyth, Interactive Model-Based Compilation - A Modeller-Based Development Approach, Disputation: 7 December 2020  (KCSS 2021/1)
Examiners: Reinhard v. Hanxleden, Bernhard Steffen (Universität Dortmund)
 3.	Christoph Daniel Schulze, Text in Diagrams - Challenges to and Opportunities of Automatic Layout, Disputation: 17 July 2019 (KCSS 2019/4)
Examiners: Reinhard v. Hanxleden, Helen Purchase (U Glasgow)
 4.	Ulf Rüegg, Sugiyama Layouts for Prescribed Drawing Areas, Disputation: 26 June 2018 (KCSS 2018/1)
Examiners: Reinhard v. Hanxleden, Petra Mutzel (Universität Dortmund)
 5.	Insa Fuhrmann, Time for Reactive System Modeling, Disputation: 19 February 2018 (KCSS 2018/2)
Examiners: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg)
 6.	Christian Motika, SCCharts - Language and Interactive Incremental Compilation, Disputation: 21 April 2017  (KCSS 2017/2)
Examiners: Reinhard v. Hanxleden, Florence Maraninchi (VERIMAG, Grenoble)
 7.	Miro Spönemann, Graph Layout Support for Model-Driven Engineering, Disputation: 9 February 2015 (KCSS 2015/2)
Examiners: Reinhard v. Hanxleden, Petra Mutzel (Universität Dortmund)
 8.	Hauke Fuhrmann, On the Pragmatics of Graphical Modeling, Disputation: 5 May 2011 (KCSS 2011/1)
Examiners: Reinhard v. Hanxleden, Willi Hasselbring (CAU), Edward A. Lee (UC Berkeley)
 9.	Claus Traulsen, Reactive Processing for Synchronous Languages and its Worst Case Reaction Time Analysis, Disputation: 26 February 2010 (pdf)
Examiners: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg)
 10.	Steffen Prochnow, Efficient Development of Complex Statecharts, Disputation: 3 July 2008 (pdf)
Examiners: Reinhard v. Hanxleden, Susanne Graf (VERIMAG, Grenoble)
 11.	Xin Li, The Kiel Esterel Processor: A Multi-Threaded Reactive Processor, Disputation: 23 July 2007 (pdf)
Examiners: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg)
 12.	Jan Lukoschus, Removing Cycles in Esterel Programs, Disputation: 20 July 2006 (pdf)
Examiners: Reinhard v. Hanxleden, Stephen A. Edwards (Columbia University)
Master Theses
 1.	Max Riepe, Group Model Order for Sugiyama Layouts, March 2024 (pdf)
Advisor: Sören Domrös
 2.	Felix Jöhnk, Structure-Based Editing for SCCharts, May 2023 (pdf)
Advisor: Sören Domrös
 3.	Bennet Bleßmann, Google Maps for Models, April 2022
Advisor: Lena Grimm, Niklas Rentz
 4.	Jette Petzold, A textual Domain Specific Language (DSL) for System-Theoretic Process Analysis (STPA), March 2022 (pdf)
Advisor: Lena Grimm
 5.	Maximilian Kasperowski, A Top-Down Approach on Automatic Graph Visualization, October 2021 (pdf)
Advisor: Niklas Rentz
 6.	Daniel Lucas, Extraction of Mode Diagrams from Blech, April 2021 (pdf)
Advisor: Alexander Schulz-Rosengarten
 7.	Philip Eumann, Model-Based Debugging, June 2020 (pdf)
Advisors: Alexander Schulz-Rosengarten, Steven Smyth
 8.	Andreas Boysen, An FPGA-based Demonstrator for Dynamic Ticks, December 2019
Advisor: Alexander Schulz-Rosengarten
 9.	Lewe Andersen, Dataflow and Statemachine Extraction from C/C++ Code, December 2019 (pdf)
Advisors: Steven Smyth, Niklas Rentz
 10.	Lena Grimm, From Lustre to Graphical Dataflow Programs, May 2019 (pdf)
Advisor: Alexander Schulz-Rosengarten
 11.	Andreas Stange, Model Checking for SCCharts, May 2019 (pdf)
Advisor: Alexander Schulz-Rosengarten, Steven Smyth
 12.	Niklas Rentz, Moving Transient Views from Eclipse to Web Technologies, November 2018 (pdf)
Advisor: Christoph Daniel Schulze
 13.	Sören Domrös, Moving Model-Driven Engineering from Eclipse to Web Technologies, November 2018 (pdf)
Advisor: Alexander Schulz-Rosengarten
 14.	Daniel Jahn, Connected Components and Hierarchical Ports, December 2017 (pdf)
Advisor: Christoph Daniel Schulze
 15.	Kristoph Slowikowski, A Google Maps approach to Graph Drawing, December 2017
Advisor: Nis Wechselberg
 16.	Daniel Grevismühl, Stable Diagram Compaction, December 2017
Advisor: Ulf Rüegg
 17.	Kim Christian Mannstedt, Alternative Layering Strategies for Sugiyama Layout, December 2017
Advisor: Ulf Rüegg
 18.	Lars Peiler, Priority-based Compilation of SCCharts, October 2017 (pdf)
Advisor: Steven Smyth
 19.	Astrid Flohr, Edge Routing with Immutable Node Positions, August 2017
Advisor: Ulf Rüegg
 20.	Annika Pooch, A Test Infrastructure for Layout Algorithms, May 2017 (pdf)
Advisor: Christoph Daniel Schulze
 21.	Michael Cyruk, Compact Packing of Disconnected Graphs, May 2017 (pdf)
Advisor: Ulf Rüegg
 22.	Carsten Sprung, Edge Bundling Techniques for Dataflow Diagrams, October 2016
Advisor: Ulf Rüegg
 23.	Alan Schelten, Hierarchy-Aware Layer Sweep, September 2016 (pdf)
Advisor: Ulf Rüegg
 24.	Alexander Schulz-Rosengarten, Strict Sequential Constructiveness, September 2016 (pdf)
Advisor: Steven Smyth
 25.	Niclas Flieger, Comparison of Compilation Approaches in KIELER, 29 April 2016
Advisors: Steven Smyth , Insa Fuhrmann
 26.	Stanislav Nasin, From SCL to Esterel, October 2015
Advisors: Christian Motika, Steven Smyth
 27.	Lennart Langenhop, Embedded Security Analysis for an Engine Control Unit Architecture, March 2015 (pdf)
Advisor: Reinhard v. Hanxleden
 28.	Karsten Rathlev, From Esterel to SCL, March 2015 (pdf)
Advisors: Steven Smyth, Christian Motika
 29.	Nis Wechselberg, Model Railway 4.0 – A Demonstrator for Interactive Timing Analysis, March 2015 (pdf)
Advisors: Insa Fuhrmann, Christian Motika
 30.	Gunnar Johannsen, Hardwaresynthese aus SCCharts, October 2013 (pdf)
Advisor: Christian Motika, Insa Fuhrmann
 31.	Wahbi Haribi, A SyncChart-Editor based on Yakindu, March 2013 (pdf)
Advisor: Christian Motika
 32.	Paul Klose, A Generic Framework for Topology-Shape-Metrics-Based Layout, October 2012 (pdf)
Advisor: Miro Spönemann
 33.	John Julian Carstens, Node and Label Placement in a Layered Layout Algorithm, September 2012 (pdf)
Advisor: Christoph Daniel Schulze
 34.	Martin Müller, View Management for Graphical Models, December 2010 (pdf)
Advisor: Hauke Fuhrmann
Bachelor Theses
 1.	Jean-Pierre Runge, Umsetzung eines stresswertbasierten Knotenlayout-Algorithmus für den Eclipse Layout Kernel, September 2024 (pdf)
Advisor: Sören Domrös
 2.	Tokessa Hamann, Safety Analysis of the Steam Boiler in SCCharts, September 2024 (pdf)
Advisor: Jette Petzold
 3.	Yorik Hansen, Behavior Trees in SCCharts, September 2024 (pdf)
Advisor: Alexander Schulz-Rosengarten
 4.	Finn Evers, Projecting Irregular Vehicle Positions on Tracks, September 2024 (pdf)
Advisor: Alexander Schulz-Rosengarten
 5.	Merlin Felix, Interconnecting Public Transport Information, September 2024 (pdf)
Advisor: Alexander Schulz-Rosengarten
 6.	Mette Preuhsler, Applying Automatic Visualisation to Deep Neural Network Development, April 2024 (pdf)
Advisor: Maximilian Kasperowski
 7.	Jannis Gehrt, Digitalization of Individual Railway Transport with a Cross-Platform App, September 2023 (pdf)
Advisor: Niklas Rentz, Alexander Schulz-Rosengarten
 8.	Robin Mithoff, Modelling real world applications in Lingua Franca, September 2023 (pdf)
Advisor: Malte Clement
 9.	Claas Nitschke, A Straightline Tree Layout with Vertical Position Constraints, September 2023 (pdf)
Advisor: Maximilian Kasperowski
 10.	Orhan Tekin, Fault Tree Analysis (FTA) Support for PASTA, September 2023 (pdf)
Advisor: Jette Petzold
 11.	Akash Ahmad, A DSL for Behavior Trees in Lingua Franca, March 2023 (pdf)
Advisor: Alexander Schulz-Rosengarten
 12.	Lasse Köster, Entwicklung und Erweiterung einer Arbeitsplatzreservierung mithilfe von IoT-Technologie, March 2023
Advisor: Sören Domrös
 13.	Jana Kreiß, Context Tables in the System-Theoretic Process Analysis Domain Specific Language, September 2022 (pdf)
Advisor:  Jette Petzold
 14.	Till Kurzenberger, Ein Proxy-View-Ansatz zur Navigation hierarchischer Diagramme, September 2022 (pdf)
Advisor:  Maximilian Kasperowski,  Niklas Rentz
 15.	Sven Korfmann, Stress Based Knot-Graph Layout, September 2022
Advisor: Sören Domrös
 16.	Max Riepe, Model Order and Cycle Breaking in SCCharts, March 2022 (pdf)
Advisor: Sören Domrös
 17.	Gavin Lüdemann, Modular Code Generation for SCCharts, September 2021 (pdf)
Advisors: Alexander Schulz-Rosengarten, Steven Smyth
 18.	Christoph Fricke, Standalone Web Diagrams and Lightweight Plugins for Web-IDEs such as Visual Studio Code and Theia, September 2021 (pdf)
Advisor: Niklas Rentz
 19.	Philip Raschkowski, SCCharts for Game Development, March 2021 (pdf)
Advisor: Reinhard v. Hanxleden
 20.	Niklas Carstensen, Interactive Tree Layout, September 2020 (pdf)
Advisor: Sören Domrös
 21.	Jette Petzold, Intentional Layout in Sprotty Diagrams: Defining User Interaction, September 2019 (pdf)
Advisor: Sören Domrös
 22.	Janina Reuter, Real-Time Pitch Tracking Algorithms in C to Test Model Extraction, September 2019 (pdf)
Advisor: Christoph Daniel Schulze
 23.	Connor Schönberner, Intentional Layout in Sprotty Diagrams: Reevaluating Introduced Constraints, September 2019 (pdf)
Advisor: Sören Domrös
 24.	Yannic Borgfeld, Tool Support for Layout Algorithm Development with ELK, March 2019 (pdf)
Advisor: Christoph Daniel Schulze
 25.	Thies Weber, Improved Vertical Segment Routing for Sugiyama Layouts, March 2019 (pdf)
Advisor: Christoph Daniel Schulze
 26.	Daniel Lucas, Order- and Drawing Area-Aware Packing of Rectangles, September 2018 (pdf)
Advisor: Christoph Daniel Schulze
 27.	Tobias Gartmann, Automatic Documentation of Audio-Signal Processing Software, September 2018
Advisor: Nis Wechselberg
 28.	Philip Eumann, A Domain-Specific Language for Railway Control, September 2017 (pdf)
Advisors: Steven Smyth, Nis Wechselberg
 29.	Milad Rahimi, Incremental Compilation of SCEst, September 2017 (pdf)
Advisors: Steven Smyth, Alexander Schulz-Rosengarten
 30.	Felix Kruse, Interaktive Infotafel für die Arbeitsgruppe "Echtzeitsysteme und Eingebettete Systeme", March 2017
Advisor: Nis Wechselberg
 31.	Stephan Lenga, Model-based Compilation of Legacy C Programs, September 2016 (pdf)
Advisor: Steven Smyth
 32.	Lena Grimm, Debugging SCCharts, September 2016 (pdf)
Advisor:  Insa Fuhrmann
 33.	Jonas Busse, SCCharts Kompilierung für eingebettete Systeme mit limitierten Ressourcen, September 2016 (pdf)
Advisors:  Insa Fuhrmann, Steven Smyth
 34.	Dirk Sommerfeld, Laufzeitmessung für SCCharts auf Lego Mindstorms, 9 April 2016 (pdf)
Advisor:  Insa Fuhrmann
 35.	Lars Olsson, Modellextraktion aus C Code, 31 March 2016
Advisor: Steven Smyth
 36.	Francesca Rybicki, Interactive Incremental Hardware Synthesis for SCCharts, 31 March 2016 (pdf)
Advisor: Christian Motika
 37.	Sandra Skrlac, Enhanced Port Constraints in a Layer-Based Layout, September 2015
Advisor: Ulf Rüegg
 38.	Tibor Weiß, Von Nebenläufigkeit zu Parallelität, October 2015 (pdf)
Advisors: Steven Smyth, Insa Fuhrmann
 39.	Daniel Jahn, Eine textuelle Sprache zum automatischen Generieren von Sequenzdiagrammen, September 2015 (pdf)
Advisor: Christoph Daniel Schulze
 40.	Yella Lasch, Label Management in Graph Layout Algorithmen, September 2015 (pdf)
Advisor: Christoph Daniel Schulze
 41.	Christina Plöger, Improving Comment Attachment Algorithms, September 2015 (pdf)
Advisor: Christoph Daniel Schulze
 42.	Lewe Andersen, Quadrocopter Flight Control Design using SCCharts, September 2015 (pdf)
Advisors: Steven Smyth, Christian Motika
 43.	Felix Machaczek, Collision Avoidance of Safety-Critical Real-Time Systems, September 2015 (pdf)
Advisors: Steven Smyth, Christian Motika
 44.	Lars Peiler, Modeling Simulations of Autonomous, Safety-Critical Systems, September 2015 (pdf)
Advisors: Christian Motika,  Steven Smyth
 45.	Andreas Stange, Comfortable SCCharts Modeling for Embedded Systems, September 2015 (pdf)
Advisor: Steven Smyth
 46.	Alan Schelten, On the Greedy Reduction of Edge Crossings, March 2015 (pdf)
Advisor: Christoph Daniel Schulze
 47.	Marius Richter, Visualisierung von Schienennetzinfrastrukturdaten, September 2014
Advisor: Christoph Daniel Schulze
 48.	Katja Petrat, Erweiterung und Implementierung eines Knotenplatzierungsalgorithmus, March 2014 (pdf)
Advisor: Christoph Daniel Schulze
 49.	Carsten Sprung, Inkrementelles Update von Knoten-Kanten-Diagrammen mit EMF Compare, March 2014 (pdf)
Advisors: Christian Schneider
 50.	Enno Schwanke, Generierung von UML Klassendiagrammen aus Java Code in Eclipse, March 2014 (pdf)
Advisor: Christian Schneider
 51.	Alexander Schulz-Rosengarten, Framework zum Tracing von EMF-Modelltransformationen, March 2014 (pdf)
Advisor: Christian Motika
 52.	Heiko Wißmann, Graphische Visualisierung von Java-Variablen zur Laufzeit, March 2013 (pdf)
Advisor: Miro Spönemann
 53.	Stanislaw Nasin, Graphische Zuordnung von Elementen einer Modelltransformation, March 2013 (pdf)
Advisor: Christoph Daniel Schulze
 54.	Helge Müller, Designing Applications With the e4 Application Model, March 2013
Advisor: Christoph Daniel Schulze
 55.	Sven Gundlach, Synthese von Datenflussdiagrammen aus annotierten C-Programmen, March 2012 (pdf)
Advisor: Miro Spönemann
 56.	Alexander Bosy, Synthese von graphischen Darstellungen aus einer textuellen Verhaltensbeschreibung, March 2012
Advisor: Christian Schneider
 57.	Ulf Rüegg, Interactive Transformations for Visual Models, March 2011 (pdf)
Advisor: Christian Motika
 58.	Hauke Wree, Ein Gleisplaneditor basierend auf Graphiti, March 2011
Advisor: Miro Spönemann
 59.	John Carstens, Datenvisualisierung in grafischen Modellen, September 2010 (pdf)
Advisor: Christian Motika
 60.	Ole Claußen, Implementing an Algorithm for Orthogonal Graph Layout, September 2010 (pdf)
Advisor: Miro Spönemann
 61.	Philipp Döhring, Algorithmen zur Layerzuweisung, September 2010 (pdf)
Advisor: Miro Spönemann
 62.	Mirko Heinold, Synchronous Java, September 2010 (pdf)
Advisor: Christian Motika
 63.	Paul Klose, Beispiel Management in KIELER, September 2010 (pdf)
Advisor: Christian Motika
 64.	Christian Kutschmar, Planarisierung von Hypergraphen, September 2010 (pdf)
Advisor: Miro Spönemann
 65.	Martin Rieß, A Graph Editor for Algorithm Engineering, September 2010 (pdf)
Advisor: Miro Spönemann
 66.	Adriana Lukaschewitz, Esterel to Safe State Machine Conversion in KIELER, March 2010 (pdf)
Advisor: Hauke Fuhrmann
 67.	Sören Hansen, Configurations and Automated Execution in the KIELER Execution Manager, March 2010 (pdf)
Advisor: Christian Motika
 68.	Karsten Heymann, Verwendung dynamisch erzeugter KIEL-Statecharts in LaTeX, April 2007 (pdf)
Advisor: Steffen Prochnow
Diploma Theses (Diplomarbeiten)
 1.	Sven Oliver Reimers, Port-Aware Node Placement in a Layered Layout Algorithm, March 2015
Advisor: Ulf Rüegg
 2.	Axel Umland, Konzept zur Erweiterung von SCCharts um Datenfluss, March 2015 (pdf)
Advisors: Steven Smyth, Insa Fuhrmann
 3.	Tibor Toepffer, Schöne Kurven: Ebenenbasiertes Kantenrouting mit Splines, November 2014 (pdf)
Advisor: Christoph Daniel Schulze
 4.	Steven Smyth, Code Generation for Sequential Constructiveness, July 2013_ _(pdf)
Advisor: Christian Motika
 5.	Gregor Hoops, Automatic Layout of UML Sequence Diagrams, April 2013 (pdf)
Advisor: Christoph Daniel Schulze
 6.	Björn Duderstadt, A Statechart Dialect With Sequential Constructiveness, December 2012 (pdf)
Advisors: Insa Fuhrmann, Christian Motika, Reinhard v. Hanxleden
 7.	Tim Grebien, Managing Academic Eclipse-Based Projects, August 2012 (pdf)
Advisor: Christoph Daniel Schulze
 8.	Insa Fuhrmann, Layout of Compound Graphs, 15 February 2012 (pdf)
Advisor: Miro Spönemann
 9.	Tobias Mahnke-Nissen , souq - Eine verteilte Anwendung zur einfachen Erfassung und Propagation von Forschungsdaten, 30 January 2012
Advisors: Reinhard v. Hanxleden, Wolfgang Junge (Institut für Tierzucht und Tierhaltung)
 10.	Stephan Wersig, Ein Web Service für das automatische Layout von Graphen, October 2011 (pdf)
Advisor: Miro Spönemann
 11.	Christoph Daniel Schulze, Optimizing Automatic Layout for Data Flow Diagrams, July 2011 (pdf)
Advisor: Miro Spönemann
 12.	Christian Schneider, Integrating Graphical and Textual Modeling, February 2011 (pdf)
Advisors: Hauke Fuhrmann, Miro Spönemann
 13.	Joachim Bleidiessel, A Domain Specific Language for Railway Control
Advisor: Reinhard v. Hanxleden
 14.	Niclas Köser, SyncCharts in C auf Multicore, October 2010 (pdf)
Advisor: Reinhard v. Hanxleden
 15.	Torsten Amende, Synthese von SC-Code aus SyncCharts, May 2010 (pdf)
Advisors: Claus Traulsen, Christian Motika
 16.	Matthias Schmeling, A Graphical Editor for IEC 61499 Function Blocks, April 2010 (pdf)
Advisors: Partha Roop, Miro Spönemann
 17.	Michael Matzen, A Generic Framework for Structure-Based Editing of Graphical Models in Eclipse, March 2010 (pdf)
Advisor: Hauke Fuhrmann
 18.	Christian Motika, Semantics and Execution of Domain Specific Models---KlePto and an Execution Framework, December 2009 (pdf)
Advisor: Hauke Fuhrmann
 19.	Özgün Bayramoglu, KIELER Infrastructure for Textual Modeling, December 2009 (pdf)
Advisor: Hauke Fuhrmann
 20.	Nils Beckel, View Management for Visual Modeling, October 2009 (pdf)
Advisor: Hauke Fuhrmann
 21.	Miro Spönemann, On the Automatic Layout of Data Flow Diagrams, March 2009 (pdf)
Advisors: Hauke Fuhrmann, Reinhard v. Hanxleden
 22.	Falk Starke, Executing Safe State Machines with the Kiel Esterel Processor, January 2009 (pdf)
Advisor: Claus Traulsen
 23.	Arne Schipper, Layout and Visual Comparison of Statecharts, December 2008_ (_pdf)
Advisor: Hauke Fuhrmann
 24.	Jonas Voelcker, A quantitative analysis of Statechart aesthetics and Statechart development methods, May 2008 (pdf)
Advisor: Steffen Prochnow
 25.	Steffen Jacobs, Automatisierte Validierung von IMA-Konfigurationen, January 2008
Advisors: Hauke Fuhrmann, Jan Lukoschus, Thorsten Kuhlemann (Airbus Deutschland GmbH, Hamburg)
 26.	Malte Tiedje, Beschreibung des Kiel Esterel Prozessors in Esterel, January 2008 (pdf)
Advisor: Claus Traulsen
 27.	Marian Boldt, Esterel Compiler for a Synchronous Reactive Processor, December 2007 (pdf)
Advisors: Claus Traulsen, Reinhard v. Hanxleden
 28.	Marco Zingelmann, A Constructive Model/View Approach for the Refinement of UML 2.0 Sequence Diagrams, November 2007 (pdf)
Advisors: Reinhard v. Hanxleden, Carsten Ziegenbein (Philips Medical Systems GmbH, Hamburg)
 29.	Wolfgang Roettger, Entwurf einer Softwarearchitektur für einen Pocket-PC zur Glucosestoffwechselführung insulinpflichtiger Diabetes Patienten, September 2007
Advisors: Helmut Röck (Automatisierungs- und Regelungstechnik), Reinhard v. Hanxleden
 30.	Sascha Gädtke, Hardware/Software Co-Design für einen Reaktiven Prozessor, May 2007 (pdf)
Advisor: Claus Traulsen
 31.	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
Advisors: Reinhard v. Hanxleden, Frank Ritters, Sven Rohde (L-3 Communications ELAC Nautik GmbH, Kiel)
 32.	Oliver Wulf, Consistency of Statecharts, April 2007
Advisors: Reinhard v. Hanxleden, Steffen Prochnow, Carsten Ziegenbein (Philips Medical Systems GmbH, Hamburg)
 33.	André Ohlhoff, Consistent Refinement of Sequence Diagrams in the UML 2.0, November 2006 (pdf)
Advisors: Reinhard v. Hanxleden, Carsten Ziegenbein, Björn Lüdemann (Philips Medical Systems GmbH, Hamburg)
 34.	Ken Bell, Überprüfung Syntaktischer Robustheit von Statecharts auf der Basis von OCL, November 2006 (pdf)
Advisor: Steffen Prochnow
 35.	Gunnar Schaefer, Statechart Style Checking, June 2006 (pdf)
Advisor: Steffen Prochnow
 36.	Jan Täubrich, Formal Specification and Analysis of a Redundancy Management System with TLA+, March 2006 (pdf)
Advisor: Reinhard v. Hanxleden
 37.	Stephan Höhrmann, Entwicklung eines modularen Feldbussystems zur Steuerung einer Modellbahnanlage, March 2006 (pdf)
Advisor: Jan Lukoschus
 38.	Mirko Wischer, Textuelle Darstellung und strukturbasiertes Editieren von Statecharts, February 2006 (pdf)
Advisor: Steffen Prochnow
 39.	Lars Kühl, Transformation von Esterel nach SyncCharts, January 2006 (pdf)
Advisor: Steffen Prochnow
 40.	Hans Theman, Methoden zur Analyse und Verbesserung der Rubustheit von Legacy Software, December 2005
Advisors: Reinhard v. Hanxleden, Daniel Wendorff (ELAC Nautik GmbH, Kiel)
 41.	Adrian Posor, Extenstion of KIEL by Stateflow Charts, December 2005 (pdf)
Advisor: Steffen Prochnow
 42.	Hendrik Janz, Fehlertoleranter Massenspeicher Weltraum-Festplatte, October 2005
Advisors: Reinhard v. Hanxleden, Heinrich Fischer (EADS Space Transportation, Bremen)
 43.	Björn Lüdemann, Synthesis of human-readable Statecharts from Sequence Diagrams in the ROOM Environment, August 2005 (pdf)
Advisors: Reinhard v. Hanxleden, Steffen Prochnow, Carsten Ziegenbein (Philips Medical Systems GmbH, Hamburg)
 44.	Florian Lüpke, Implementierung eines Statechart-Editors mit layoutbasierten Bearbeitungshilfen, June 2005 (pdf)
Advisor: Steffen Prochnow
 45.	Tobias Kloss, Automatisches Layout von Statecharts unter Verwendung von Graph Viz, May 2005 (pdf)
Advisor: Steffen Prochnow
 46.	Hauke Fuhrmann, Model-Based Design of Distributed Time-Triggered Architectures, April 2005 (pdf)
Advisors: Jan Lukoschus, Jörn Rennhack (Airbus Deutschland GmbH, Hamburg)
 47.	Thomas Pyrlik, Entwurf und Realisation eines OPC-Clients zur Steuerung redundanter PROFIBUS OPC-Server mit Fehlerüberwachung der PROFIBUS Peripherie, December 2004
Advisors: Reinhard v. Hanxleden, Jochen Logemann (Vossloh Information Technologies GmbH, Kiel)
Student Research Project Theses (Studienarbeiten)
 1.	Max Riepe, Model Order Cycle Breaking in Lingua Franca, March 2023 (pdf)
Advisor: Sören Domrös
 2.	Axel Umland, Visualisierung von SCADE-Modellen in KLighD, 11 August 2014 (pdf)
Advisor: Christian Schneider
 3.	Björn Duderstadt, Evolutionary Meta Layout for KIELER, May 2011 (pdf)
Advisor: Miro Spönemann
 4.	Stephan Knauer, Environment Visualization, March 2010 (pdf)
Advisor: Hauke Fuhrmann
 5.	Matthias Schmeling, ThinKCharts - The Thin KIELER SyncCharts Editor, September 2009_ _(pdf)
Advisor: Hauke Fuhrmann
 6.	Christian Motika, Modellbasierte Umgebungssimulation für verteilte Echtzeitsysteme mit flexiblem Schnittstellenkonzept - Fallstudie einer Bahn-Anlage, October 2007 (pdf)
Advisor: Hauke Fuhrmann
 7.	Marian Boldt, Worst Case Reaction Time Analysis for a Synchronous Concurrent Processor, June 2007 (pdf)
Advisors: Claus Traulsen, Reinhard v. Hanxleden
 8.	Steffen Jacobs, Konzepte zur Visualisierung grafischer Datenflussmodelle, February 2007 (pdf)
Advisors: Hauke Fuhrmann, Steffen Prochnow
 9.	Mirko Wischer, Ein Browser für die Visualisierung dynamischer Sichten von Statecharts, June 2006 (pdf)
Advisor: Steffen Prochnow
 10.	André Ohlhoff, Simulating the Behavior of SyncCharts, February 2006 (pdf)
Advisor: Steffen Prochnow
 11.	Hendrik Janz, Invertiertes Pendel - Modellbasierte Entwicklung und automatische Codesynthese, March 2005
Advisor: Jan Lukoschus
 12.	Sascha Gädtke, Entwicklung eines Phantom-Modellierungswerkzeugs für einen MRT-Simulator, March 2005
Advisor: Alwin Stengel
 13.	Stephan Höhrmann, Entwicklung eines Ultraschall-basierten Ortungssystems für Lego Mindstorms Roboter, February 2005 (pdf, html, electronic appendix on demand)
Advisor: Jan Lukoschus
 14.	Tobias Kloss, Flexibles und Automatisiertes Layout von Statecharts, July 2003
Advisor: Reinhard v. Hanxleden