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