# Completed Theses

Last modified by Niklas Rentz on 2025/11/20 08:10
Export
Office Formats
Export as PDF Export as ODT Export as RTF
Other Formats

Select the pages to export:

select all/ none

Legend:
  Created Page
  Modified Extension Page
  Clean Extension Page

Export as HTML

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. Sören Domrös, Model Order - Reconciling Automatic Layout and User Intentions, Disputation: 4 July 2025 (KCSS 2025/3)
   Examiners: Reinhard v. Hanxleden, Partha Roop (University of Auckland, Auckland)
2. 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)
3. 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)
4. 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)
5. 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)
6. Insa Fuhrmann, Time for Reactive System Modeling, Disputation: 19 February 2018 (KCSS 2018/2)
   Examiners: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg)
7. Christian Motika, SCCharts - Language and Interactive Incremental Compilation, Disputation: 21 April 2017 (KCSS 2017/2)
   Examiners: Reinhard v. Hanxleden, Florence Maraninchi (VERIMAG, Grenoble)
8. 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)
9. 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)
10. 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)
11. Steffen Prochnow, Efficient Development of Complex Statecharts, Disputation: 3 July 2008 (pdf)
    Examiners: Reinhard v. Hanxleden, Susanne Graf (VERIMAG, Grenoble)
12. 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)
13. Jan Lukoschus, Removing Cycles in Esterel Programs, Disputation: 20 July 2006 (pdf)
    Examiners: Reinhard v. Hanxleden, Stephen A. Edwards (Columbia University)

### Master Theses

1. Kevin Ebsen, A Digital Twin for Single-Track Transfer Traffic, April 2025 (pdf)
   Advisor: Alexander Schulz-Rosengarten
2. Max Riepe, Group Model Order for Sugiyama Layouts, March 2024 (pdf)
   Advisor: Sören Domrös
3. Felix Jöhnk, Structure-Based Editing for SCCharts, May 2023 (pdf)
   Advisor: Sören Domrös
4. Bennet Bleßmann, Google Maps for Models, April 2022
   Advisor: Lena Grimm, Niklas Rentz
5. Jette Petzold, A textual Domain Specific Language (DSL) for System-Theoretic Process Analysis (STPA), March 2022 (pdf)
   Advisor: Lena Grimm
6. Maximilian Kasperowski, A Top-Down Approach on Automatic Graph Visualization, October 2021 (pdf)
   Advisor: Niklas Rentz
7. Daniel Lucas, Extraction of Mode Diagrams from Blech, April 2021 (pdf)
   Advisor: Alexander Schulz-Rosengarten
8. Philip Eumann, Model-Based Debugging, June 2020 (pdf)
   Advisors: Alexander Schulz-Rosengarten, Steven Smyth
9. Andreas Boysen, An FPGA-based Demonstrator for Dynamic Ticks, December 2019
   Advisor: Alexander Schulz-Rosengarten
10. Lewe Andersen, Dataflow and Statemachine Extraction from C/C++ Code, December 2019 (pdf)
    Advisors: Steven Smyth, Niklas Rentz
11. Lena Grimm, From Lustre to Graphical Dataflow Programs, May 2019 (pdf)
    Advisor: Alexander Schulz-Rosengarten
12. Andreas Stange, Model Checking for SCCharts, May 2019 (pdf)
    Advisor: Alexander Schulz-Rosengarten, Steven Smyth
13. Niklas Rentz, Moving Transient Views from Eclipse to Web Technologies, November 2018 (pdf)
    Advisor: Christoph Daniel Schulze
14. Sören Domrös, Moving Model-Driven Engineering from Eclipse to Web Technologies, November 2018 (pdf)
    Advisor: Alexander Schulz-Rosengarten
15. Daniel Jahn, Connected Components and Hierarchical Ports, December 2017 (pdf)
    Advisor: Christoph Daniel Schulze
16. Kristoph Slowikowski, A Google Maps approach to Graph Drawing, December 2017
    Advisor: Nis Wechselberg
17. Daniel Grevismühl, Stable Diagram Compaction, December 2017
    Advisor: Ulf Rüegg
18. Kim Christian Mannstedt, Alternative Layering Strategies for Sugiyama Layout, December 2017
    Advisor: Ulf Rüegg
19. Lars Peiler, Priority-based Compilation of SCCharts, October 2017 (pdf)
    Advisor: Steven Smyth
20. Astrid Flohr, Edge Routing with Immutable Node Positions, August 2017
    Advisor: Ulf Rüegg
21. Annika Pooch, A Test Infrastructure for Layout Algorithms, May 2017 (pdf)
    Advisor: Christoph Daniel Schulze
22. Michael Cyruk, Compact Packing of Disconnected Graphs, May 2017 (pdf)
    Advisor: Ulf Rüegg
23. Carsten Sprung, Edge Bundling Techniques for Dataflow Diagrams, October 2016
    Advisor: Ulf Rüegg
24. Alan Schelten, Hierarchy-Aware Layer Sweep, September 2016 (pdf)
    Advisor: Ulf Rüegg
25. Alexander Schulz-Rosengarten, Strict Sequential Constructiveness, September 2016 (pdf)
    Advisor: Steven Smyth
26. Niclas Flieger, Comparison of Compilation Approaches in KIELER, 29 April 2016
    Advisors: Steven Smyth , Insa Fuhrmann
27. Stanislav Nasin, From SCL to Esterel, October 2015
    Advisors: Christian Motika, Steven Smyth
28. Lennart Langenhop, Embedded Security Analysis for an Engine Control Unit Architecture, March 2015 (pdf)
    Advisor: Reinhard v. Hanxleden
29. Karsten Rathlev, From Esterel to SCL, March 2015 (pdf)
    Advisors: Steven Smyth, Christian Motika
30. Nis Wechselberg, Model Railway 4.0 – A Demonstrator for Interactive Timing Analysis, March 2015 (pdf)
    Advisors: Insa Fuhrmann, Christian Motika
31. Gunnar Johannsen, Hardwaresynthese aus SCCharts, October 2013 (pdf)
    Advisor: Christian Motika, Insa Fuhrmann
32. Wahbi Haribi, A SyncChart-Editor based on Yakindu, March 2013 (pdf)
    Advisor: Christian Motika
33. Paul Klose, A Generic Framework for Topology-Shape-Metrics-Based Layout, October 2012 (pdf)
    Advisor: Miro Spönemann
34. John Julian Carstens, Node and Label Placement in a Layered Layout Algorithm, September 2012 (pdf)
    Advisor: Christoph Daniel Schulze
35. Martin Müller, View Management for Graphical Models, December 2010 (pdf)
    Advisor: Hauke Fuhrmann

### Bachelor Theses

1. Finn-Lasse Ludewig, Kantengebundene Proxys zur Verbesserung der Navigation in Graphen, September 2025 (pdf)
   Advisors: Maximilian Kasperowski, Niklas Rentz
2. Henri Paul Heyden, Visual Editing of the Model Railway DSL, September 2025 (pdf)
   Advisors: Maximilian Kasperowski, Niklas Rentz
3. Nike Pulow, Multi-Platform Testing Framework for Autonomous Train Operation, September 2025 (pdf)
   Advisor: Alexander Schulz-Rosengarten
4. Sara Rolfs, Analysis of Train Operation Concepts for Single-Track Railways, September 2025 (pdf)
   Advisor: Alexander Schulz-Rosengarten
5. Lena Harnack, Ctrl+F for Diagrams: Textual Search for Diagramming Frameworks, September 2025 (pdf)
   Advisors: Maximilian Kasperowski, Niklas Rentz
6. Lorenz Tiedemann, AI-based Obstacle Detection for Autonomous Train Control using Image Recognition, March 2025 (pdf)
   Advisor: Alexander Schulz-Rosengarten, Momin Ali
7. Nig Rambow, An End-User App for On-Demand Train Service, March 2025 (pdf)
   Advisor: Alexander Schulz-Rosengarten
8. Rasmus Janssen, An Autonomous Train Controller with Risk Analysis using System-Theoretic Process Analysis, March 2025 (pdf)
   Advisor: Alexander Schulz-Rosengarten, Jette Petzold
9. Simon Jürgensen, Remote Control for Rail Vehicles, March 2025 (pdf)
   Advisor: Alexander Schulz-Rosengarten
10. Malte Mannott, An Architecture Comparison Framework for Software Project Visualization, March 2025 (pdf)
    Advisor: Niklas Rentz
11. Jean-Pierre Runge, Umsetzung eines stresswertbasierten Knotenlayout-Algorithmus für den Eclipse Layout Kernel, September 2024 (pdf)
    Advisor: Sören Domrös
12. Tokessa Hamann, Safety Analysis of the Steam Boiler in SCCharts, September 2024 (pdf)
    Advisor: Jette Petzold
13. Yorik Hansen, Behavior Trees in SCCharts, September 2024 (pdf)
    Advisor: Alexander Schulz-Rosengarten
14. Finn Evers, Projecting Irregular Vehicle Positions on Tracks, September 2024 (pdf)
    Advisor: Alexander Schulz-Rosengarten
15. Merlin Felix, Interconnecting Public Transport Information, September 2024 (pdf)
    Advisor: Alexander Schulz-Rosengarten
16. Mette Preuhsler, Applying Automatic Visualisation to Deep Neural Network Development, April 2024 (pdf)
    Advisor: Maximilian Kasperowski
17. Jannis Gehrt, Digitalization of Individual Railway Transport with a Cross-Platform App, September 2023 (pdf)
    Advisor: Niklas Rentz, Alexander Schulz-Rosengarten
18. Robin Mithoff, Modelling real world applications in Lingua Franca, September 2023 (pdf)
    Advisor: Malte Clement
19. Claas Nitschke, A Straightline Tree Layout with Vertical Position Constraints, September 2023 (pdf)
    Advisor: Maximilian Kasperowski
20. Orhan Tekin, Fault Tree Analysis (FTA) Support for PASTA, September 2023 (pdf)
    Advisor: Jette Petzold
21. Akash Ahmad, A DSL for Behavior Trees in Lingua Franca, March 2023 (pdf)
    Advisor: Alexander Schulz-Rosengarten
22. Lasse Köster, Entwicklung und Erweiterung einer Arbeitsplatzreservierung mithilfe von IoT-Technologie, March 2023
    Advisor: Sören Domrös
23. Jana Kreiß, Context Tables in the System-Theoretic Process Analysis Domain Specific Language, September 2022 (pdf)
    Advisor: Jette Petzold
24. Till Kurzenberger, Ein Proxy-View-Ansatz zur Navigation hierarchischer Diagramme, September 2022 (pdf)
    Advisor: Maximilian Kasperowski, Niklas Rentz
25. Sven Korfmann, Stress Based Knot-Graph Layout, September 2022
    Advisor: Sören Domrös
26. Max Riepe, Model Order and Cycle Breaking in SCCharts, March 2022 (pdf)
    Advisor: Sören Domrös
27. Gavin Lüdemann, Modular Code Generation for SCCharts, September 2021 (pdf)
    Advisors: Alexander Schulz-Rosengarten, Steven Smyth
28. Christoph Fricke, Standalone Web Diagrams and Lightweight Plugins for Web-IDEs such as Visual Studio Code and Theia, September 2021 (pdf)
    Advisor: Niklas Rentz
29. Philip Raschkowski, SCCharts for Game Development, March 2021 (pdf)
    Advisor: Reinhard v. Hanxleden
30. Niklas Carstensen, Interactive Tree Layout, September 2020 (pdf)
    Advisor: Sören Domrös
31. Jette Petzold, Intentional Layout in Sprotty Diagrams: Defining User Interaction, September 2019 (pdf)
    Advisor: Sören Domrös
32. Janina Reuter, Real-Time Pitch Tracking Algorithms in C to Test Model Extraction, September 2019 (pdf)
    Advisor: Christoph Daniel Schulze
33. Connor Schönberner, Intentional Layout in Sprotty Diagrams: Reevaluating Introduced Constraints, September 2019 (pdf)
    Advisor: Sören Domrös
34. Yannic Borgfeld, Tool Support for Layout Algorithm Development with ELK, March 2019 (pdf)
    Advisor: Christoph Daniel Schulze
35. Thies Weber, Improved Vertical Segment Routing for Sugiyama Layouts, March 2019 (pdf)
    Advisor: Christoph Daniel Schulze
36. Daniel Lucas, Order- and Drawing Area-Aware Packing of Rectangles, September 2018 (pdf)
    Advisor: Christoph Daniel Schulze
37. Tobias Gartmann, Automatic Documentation of Audio-Signal Processing Software, September 2018
    Advisor: Nis Wechselberg
38. Philip Eumann, A Domain-Specific Language for Railway Control, September 2017 (pdf)
    Advisors: Steven Smyth, Nis Wechselberg
39. Milad Rahimi, Incremental Compilation of SCEst, September 2017 (pdf)
    Advisors: Steven Smyth, Alexander Schulz-Rosengarten
40. Felix Kruse, Interaktive Infotafel für die Arbeitsgruppe "Echtzeitsysteme und Eingebettete Systeme", March 2017
    Advisor: Nis Wechselberg
41. Stephan Lenga, Model-based Compilation of Legacy C Programs, September 2016 (pdf)
    Advisor: Steven Smyth
42. Lena Grimm, Debugging SCCharts, September 2016 (pdf)
    Advisor: Insa Fuhrmann
43. Jonas Busse, SCCharts Kompilierung für eingebettete Systeme mit limitierten Ressourcen, September 2016 (pdf)
    Advisors: Insa Fuhrmann, Steven Smyth
44. Dirk Sommerfeld, Laufzeitmessung für SCCharts auf Lego Mindstorms, 9 April 2016 (pdf)
    Advisor: Insa Fuhrmann
45. Lars Olsson, Modellextraktion aus C Code, 31 March 2016
    Advisor: Steven Smyth
46. Francesca Rybicki, Interactive Incremental Hardware Synthesis for SCCharts, 31 March 2016 (pdf)
    Advisor: Christian Motika
47. Sandra Skrlac, Enhanced Port Constraints in a Layer-Based Layout, September 2015
    Advisor: Ulf Rüegg
48. Tibor Weiß, Von Nebenläufigkeit zu Parallelität, October 2015 (pdf)
    Advisors: Steven Smyth, Insa Fuhrmann
49. Daniel Jahn, Eine textuelle Sprache zum automatischen Generieren von Sequenzdiagrammen, September 2015 (pdf)
    Advisor: Christoph Daniel Schulze
50. Yella Lasch, Label Management in Graph Layout Algorithmen, September 2015 (pdf)
    Advisor: Christoph Daniel Schulze
51. Christina Plöger, Improving Comment Attachment Algorithms, September 2015 (pdf)
    Advisor: Christoph Daniel Schulze
52. Lewe Andersen, Quadrocopter Flight Control Design using SCCharts, September 2015 (pdf)
    Advisors: Steven Smyth, Christian Motika
53. Felix Machaczek, Collision Avoidance of Safety-Critical Real-Time Systems, September 2015 (pdf)
    Advisors: Steven Smyth, Christian Motika
54. Lars Peiler, Modeling Simulations of Autonomous, Safety-Critical Systems, September 2015 (pdf)
    Advisors: Christian Motika, Steven Smyth
55. Andreas Stange, Comfortable SCCharts Modeling for Embedded Systems, September 2015 (pdf)
    Advisor: Steven Smyth
56. Alan Schelten, On the Greedy Reduction of Edge Crossings, March 2015 (pdf)
    Advisor: Christoph Daniel Schulze
57. Marius Richter, Visualisierung von Schienennetzinfrastrukturdaten, September 2014
    Advisor: Christoph Daniel Schulze
58. Katja Petrat, Erweiterung und Implementierung eines Knotenplatzierungsalgorithmus, March 2014 (pdf)
    Advisor: Christoph Daniel Schulze
59. Carsten Sprung, Inkrementelles Update von Knoten-Kanten-Diagrammen mit EMF Compare, March 2014 (pdf)
    Advisors: Christian Schneider
60. Enno Schwanke, Generierung von UML Klassendiagrammen aus Java Code in Eclipse, March 2014 (pdf)
    Advisor: Christian Schneider
61. Alexander Schulz-Rosengarten, Framework zum Tracing von EMF-Modelltransformationen, March 2014 (pdf)
    Advisor: Christian Motika
62. Heiko Wißmann, Graphische Visualisierung von Java-Variablen zur Laufzeit, March 2013 (pdf)
    Advisor: Miro Spönemann
63. Stanislaw Nasin, Graphische Zuordnung von Elementen einer Modelltransformation, March 2013 (pdf)
    Advisor: Christoph Daniel Schulze
64. Helge Müller, Designing Applications With the e4 Application Model, March 2013
    Advisor: Christoph Daniel Schulze
65. Sven Gundlach, Synthese von Datenflussdiagrammen aus annotierten C-Programmen, March 2012 (pdf)
    Advisor: Miro Spönemann
66. Alexander Bosy, Synthese von graphischen Darstellungen aus einer textuellen Verhaltensbeschreibung, March 2012
    Advisor: Christian Schneider
67. Ulf Rüegg, Interactive Transformations for Visual Models, March 2011 (pdf)
    Advisor: Christian Motika
68. Hauke Wree, Ein Gleisplaneditor basierend auf Graphiti, March 2011
    Advisor: Miro Spönemann
69. John Carstens, Datenvisualisierung in grafischen Modellen, September 2010 (pdf)
    Advisor: Christian Motika
70. Ole Claußen, Implementing an Algorithm for Orthogonal Graph Layout, September 2010 (pdf)
    Advisor: Miro Spönemann
71. Philipp Döhring, Algorithmen zur Layerzuweisung, September 2010 (pdf)
    Advisor: Miro Spönemann
72. Mirko Heinold, Synchronous Java, September 2010 (pdf)
    Advisor: Christian Motika
73. Paul Klose, Beispiel Management in KIELER, September 2010 (pdf)
    Advisor: Christian Motika
74. Christian Kutschmar, Planarisierung von Hypergraphen, September 2010 (pdf)
    Advisor: Miro Spönemann
75. Martin Rieß, A Graph Editor for Algorithm Engineering, September 2010 (pdf)
    Advisor: Miro Spönemann
76. Adriana Lukaschewitz, Esterel to Safe State Machine Conversion in KIELER, March 2010 (pdf)
    Advisor: Hauke Fuhrmann
77. Sören Hansen, Configurations and Automated Execution in the KIELER Execution Manager, March 2010 (pdf)
    Advisor: Christian Motika
78. 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

Tags:
Created by Alexander Schulz-Rosengarten on 2023/09/06 08:48

- Comments (0)
- Attachments (1)
- History
- Information

# Quick Links

KIELER on GitHub
RTSYS Homepage

XWiki 14.4.7