Open Theses

We announce open theses topics regularly on this page. You are also encouraged to contact us directly.

Supervised Theses

In progress:

Finished:

  • Session Types for ABS
    by Eduard Kamburjan, 2016 (Supervisors: Crystal Chang Din & Tzu-Chun Chen)
  • Symbolic Execution on a DAG
    by Dominic Scheurer, 2015 (Supervisors: Reiner Hähnle, Nathan Wasser & Richard Bubel)
  • Automatische Analyse von Geschäftsregeln (Automatic Analyses of Business Rules)
    by Johannes Schramm, 2014, Supervisors: Reiner Hähnle & Richard Bubel
  • Abstract Operation Contracts (Won Datenlotsenpreis 2015 Award)
    by Maria Pelevina, 2014, Supervisors: Reiner Hähnle & Richard Bubel
  • Formalising the Method Contract Rule in COQ
    by Alexander Fuhs, 2014, Supervisor: Richard Bubel
  • Guided Navigation in Symbolic Execution Trees 
  • by Martin Möller, Supervisors: Reiner Hähnle & Martin Hentschel
  • Effizientes automatisches Beweismanagement in Eclipse für KeY 
    (Efficient automatic proof management in Eclipse for KeY) 
    by Stefan Käsdorf and supervised by Reiner Hähnle & Martin Hentschel in 2013
  • Erweiterte Kontrollfunktionen für den Symbolic Execution Debugger 
    (Advanced control functions for the Symbolic Execution Debugger) 
    by Marco Drebing and supervised by Reiner Hähnle & Martin Hentschel in 2013
  • Abstract Modeling of Business Software
    by Marko Martin and supervised by Reiner Hähnle & Richard Bubel in 2012
  • Erkennung von korrumpierten Beweisen auf Basis von DbC-Diagrammen
    (Detection of deprecated proofs based on DbC diagrams)
    by Jan Erik Keller and supervised by Reiner Hähnle & Martin Hentschel in 2012
  • Abstract Object Creation for an Explicit Heap Representation 
    by Eduard Kamburjan (Supervisor: Richard Bubel)
  • Erstellung einer Testmethodologie zur Migration im SAP-Umfeld: Angewandt auf eine Fallstudie mit der Untersuchung zur Praktikabilität der Delta-Orientierten Programmierung
    by Can Güler, 2013 (Supervisor: Richard Bubel)
Software Engineering Group

Contact

Technische Universität Darmstadt
Fachbereich Informatik
Fachgebiet Software Engineering
Hochschulstr. 10
64289 Darmstadt
Deutschland

Gebäude S2|02, Räume  A204, A223

Tel:+49 6151 16-21361 (Sekretariat) 

Fax:+49 6151 16-22361

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Suche Search | Kontakt Contact | Webseitenanalyse: Mehr Informationen
zum Seitenanfangzum Seitenanfang