Dissertationen
- Steffen Prochnow, Efficient Development of Complex Statecharts, Mai 2008 (pdf)
Gutachter: Reinhard v. Hanxleden, Susanne Graf (VERIMAG, Grenoble) - Xin Li, The Kiel Esterel Processor: A Multi-Threaded Reactive Processor, Juli 2007 (pdf)
Gutachter: Reinhard v. Hanxleden, Michael Mendler (Universität Bamberg) - Jan Lukoschus, Removing Cycles in Esterel Programs, Juli 2006 (pdf)
Gutachter: Reinhard v. Hanxleden, Stephen A. Edwards (Columbia University)
Diplomarbeiten
- Miro Spönemann, On the Automatic Layout of Data Flow Diagrams, März 2009 (pdf)
Betreuer: Hauke Fuhrmann, Reinhard v. Hanxleden - Falk Starke, Executing Safe State Machines with the Kiel Esterel Processor, Januar 2009 (pdf)
Betreuer: Claus Traulsen - Arne Schipper, Layout and Visual Comparison of Statecharts, Dezember 2008 (pdf)
Betreuer: Hauke Fuhrmann - Jonas Voelcker, Kognitive Aspekte bei der Erstellung von Statecharts, Mai 2008 (pdf)
Betreuer: Steffen Prochnow - Steffen Jacobs, Automatisierte Validierung von IMA-Konfigurationen, Januar 2008
Betreuer: Hauke Fuhrmann, Jan Lukoschus, Thorsten Kuhlemann (Airbus Deutschland GmbH, Hamburg) - Malte Tiedje, Beschreibung des Kiel Esterel Prozessors in Esterel, Januar 2008 (pdf)
Betreuer: Claus Traulsen - Marian Boldt, Esterel Compiler for a Synchronous Reactive Processor, Dezember 2007 (pdf)
Betreuer: Claus Traulsen, Reinhard v. Hanxleden - Marco Zingelmann, A Constructive Model/View Approach for the Refinement of UML 2.0 Sequence Diagrams, November 2007 (pdf)
Betreuer: 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
Betreuer: Helmut Röck (Automatisierungs- und Regelungstechnik), Reinhard v. Hanxleden - Sascha Gädtke, Hardware/Software Co-Design für einen Reaktiven Prozessor, Mai 2007 (pdf)
Betreuer: 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
Betreuer: Reinhard v. Hanxleden; Frank Ritters, Sven Rohde (L-3 Communications ELAC Nautik GmbH, Kiel) - Oliver Wulf, Consistency of Statecharts, April 2007
Betreuer: 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)
Betreuer: 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)
Betreuer: Steffen Prochnow - Gunnar Schaefer, Statechart Style Checking, Juni 2006 (pdf)
Betreuer: Steffen Prochnow - Jan Täubrich, Formal Specification and Analysis of a Redundancy Management System with TLA+, März 2006 (pdf)
Betreuer: Reinhard v. Hanxleden - Stephan Höhrmann, Entwicklung eines modularen Feldbussystems zur Steuerung einer Modellbahnanlage, März 2006 (pdf)
Betreuer: Jan Lukoschus - Mirko Wischer, Textuelle Darstellung und strukturbasiertes Editieren von Statecharts, Februar 2006 (pdf)
Betreuer: Steffen Prochnow - Lars Kühl, Transformation von Esterel nach SyncCharts, Januar 2006 (pdf)
Betreuer: Steffen Prochnow - Hans Theman, Methoden zur Analyse und Verbesserung der Rubustheit von Legacy Software, Dezember 2005
Betreuer: Reinhard v. Hanxleden, Daniel Wendorff (ELAC Nautik GmbH, Kiel) - Adrian Posor, Extenstion of KIEL by Stateflow Charts, Dezember 2005 (pdf)
Betreuer: Steffen Prochnow - Hendrik Janz, Fehlertoleranter Massenspeicher Weltraum-Festplatte, Oktober 2005
Betreuer: 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)
Betreuer: Reinhard v. Hanxleden, Steffen Prochnow, Carsten Ziegenbein (Philips Medical Systems GmbH, Hamburg) - Florian Lüpke, Implementierung eines Statechart-Editors mit layoutbasierten Bearbeitungshilfen, Juni 2005 (pdf)
Betreuer: Steffen Prochnow - Tobias Kloss, Automatisches Layout von Statecharts unter Verwendung von Graph Viz, Mai 2005 (pdf)
Betreuer: Steffen Prochnow - Hauke Fuhrmann, Model-Based Design of Distributet Time-Triggered Architectures, April 2005 (pdf)
Betreuer: 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, Dezember 2004
Betreuer: Reinhard v. Hanxleden, Jochen Logemann (Vossloh Information Technologies GmbH, Kiel)
Bachelorarbeiten
- Karsten Heymann, Verwendung dynamisch erzeugter KIEL-Statecharts in LaTeX, April 2007 (pdf)
Betreuer: Steffen Prochnow
Studienarbeiten
- Matthias Schmeling, An Eclipse-Editor for Safe State Machines, September 2009 (pdf)
Betreuer: Hauke Fuhrmann - Christian Motika, Modellbasierte Umgebungssimulation für verteilte Echtzeitsysteme mit flexiblem Schnittstellenkonzept - Fallstudie einer Bahn-Anlage, Oktober 2007 (pdf)
Betreuer: Hauke Fuhrmann - Marian Boldt, Worst Case Reaction Time Analysis for a Synchronous Concurrent Processor, Juni 2007 (pdf)
Betreuer: Claus Traulsen, Reinhard v. Hanxleden - Steffen Jacobs, Konzepte zur Visualisierung grafischer Datenflussmodelle, Februar 2007 (pdf)
Betreuer: Hauke Fuhrmann, Steffen Prochnow - Mirko Wischer, Ein Browser für die Visualisierung dynamischer Sichten von Statecharts, Juni 2006 (pdf)
Betreuer: Steffen Prochnow - André Ohlhoff, Simulating the Behavior of SyncCharts, Februar 2006 (pdf)
Betreuer: Steffen Prochnow - Hendrik Janz, Invertiertes Pendel - Modellbasierte Entwicklung und automatische Codesynthese, März 2005
Betreuer: Jan Lukoschus - Sascha Gädtke, Entwicklung eines Phantom-Modellierungswerkzeugs für einen MRT-Simulator, März 2005
Betreuer: Alwin Stengel - Stephan Höhrmann, Entwicklung eines Ultraschall-basierten Ortungssystems für Lego Mindstorms Roboter, Februar 2005 (pdf, html, elektronischer Appendix auf Anfrage)
Betreuer: Jan Lukoschus - Tobias Kloss, Flexibles und Automatisiertes Layout von Statecharts, Juli 2003
Betreuer: Reinhard v. Hanxleden
