Completed Theses

Last modified by Soeren Domroes on 2024/05/23 07:13

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

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage