Wintersemester 15/16

• David Diestel: "Effizienzsteigerung von Softwaretests durch Automatisierung" (Bachelor)

• Christopher Zell: "Entwicklung einer Methode und Werkzeugunterstützung für die Analyse, Bewertung und Optimierung von Vererbungsstrukturen in objektorientierten Softwaresystemen" (Master)

• Tay Phuong Ho: „Weiterentwicklung eines in Haskell implementierten Compilers für eine erweiterte WHILE-Sprache" (Bachelor)

Sommersemester 15

• Daniel Jentsch: „Entwurf einer Auszeichnungs-DSEL" (Bachelor)

• Hofmann, Christian: „Entwicklung eines effizienten Lexers für die Sprache Rail in Haskell" (Bachelor)

• Jan Michael Scheppat: „Der Zusammenhang und gegenseitige Nutzen von Informatik und Philosophie am Beispiel des Diskurses zu freier Software - Eine Analyse des GNU-Manifest und ein Beispiel für computergestütztes argumentieren" (Master)

• Kevin Funk: „Conception and Implementation of a Reusable Component for Visualizing and Designing State Charts for Model-Based Programming“ (Master)

Wintersemester 14/15

• Mahmoud Zoabi: „Ein effizientes Verfahren für ein interaktives Sudoku-Spiel und seine Implementierung in Java" (Bachelor)

• Florian Freudenberg: „Funktionalitätsbasierte UI-Generierung - Jenseits von Scaffolding" (Master)

• Jan Leschik: „Beseitigung der Nutzung von Cygwin beim Windows-basierten Bau von RPM4-Paketen für eine Java-Applikation mit Zielplatform Linux" (Bachelor)

• Johannes Sauer: „Bisimilarität im Sigma-Kalkül" (Bachelor)

• Jonas Cleve: „Implementierung eines Compilers für die WHILE-Sprache in Haskell" (Bachelor)

Sommersemester 14

• Nikolaj Troels Graf von Malotky: „Formale Semantik der Programmiersprache C - ein praktischer Einstieg" (Master)

Wintersemester 13/14

• Khaled Isa: „Moderne Datenstrukturen und Konzepte der Nichtsequentiellen Programmierung in Google Go" (Bachelor)

• Christoph Husse: „Übersetzen einer universellen Teilmenge von C#5 nach C++11" (Bachelor)

• Julian Fleischer: „Bridging the Gap between Haskell and Java" (Bachelor)

• Florian Eitel: „Formal specification of game state machines for automated code generation" (Master)

Sommersemester 13

• Maximilian Claus: „Reine Funktionale Reaktive Programmierung: Über eine algebraische Lö-sung des Ein-/Ausgabeproblems funktionaler Sprachen" (Bachelor)

• Eike Cochu: „Top-Down-Übersetzung einer objektorientierten Programmiersprache unter besonderer Berücksichtigung der Fehlerbehandlung" (Bachelor)

• Ralf Kuschel: "Desktopvirtualisierung   durch Terminalserver" (Bachelor)

• Robin Pradel: "Interaktive Prozsssimulation mit agentenbasierter Ausfallregulierung" (Master)

• Ahmad Reza Nosrati: „Realisierung einer Schnittstelle zwischen Digitalstift-basierten Lö-sungen und anderen Softwarelösungen" (Diplom)

Wintersemester 12/13

• Anja Würzburg: „Generische Modellierung von Programmen unter Verwendung poly-typischer Funktionen" (Diplom)

• Igor Merkulow: „Parameter selection and evaluation for programming of heterogeneous architectures“ (Master)

• Qian Zhao: „Online Accounting in Flex" (Bachelor)

• Yvonne Säwert: „Auf den Spuren von Dijkstra“  (Bachelor-Lehramt)
• Johannes Dahlke: „Entwicklung und Implementierung einer graphischen Benutzeroberfläche für die Lehrsprache Pascal-FC“ (Bachelor)

• Borys Korkhov: „Entwicklung und prototypische Umsetzung einer automatischen Konsistenzsicherung für das Enterprise Architecture Management System der Deutschen Bahn" (Diplom)

Sommersemester 12

• Robin Pradel: "Interaktive Prozsssimulation mit agentenbasierter Ausfallregulierung" (Master)

• Nicole Lipprandt: „Implementierung einer Datenimportschnittstelle für die K&C GmbH mit Hilfe der Schnittstellenbeschreibung des Axel Springer Verlags und der Frankfurter Allgemeinen Zeitung" (Diplom)

• Ergün Cimen: „Implementierung einer Datenexportschnittstelle für die K&C GmbH mit Hilfe der Schnittstellenbeschreibung des Axel Springer Verlags und der Frankfurter Allgemeinen Zeitung" (Diplom)

Wintersemester 11/12

• Ansgar Schneider: "Ein erweiterbarer Interpreter für das б-Kalkül" (Master)
• Denis Drescher: "A System to Create n-Gram Corpora of Online Content" (Bachelor)
• Özgür Ahmet Gencaslan: "Automatisiertes Bewertungssystem für Telefongespräche in Callcentern" (Diplom)
• René Kijewski: "Entwicklung und Implementierung eines Compilers von ECMAScript nach Erlang" (Bachelor)

Sommersemester 11

• Ali Al-Dabab: "Entwurf eines IT-Versorgungssystems für eine Hochschule in Jemen" (Diplom)
• Andreas Schultz: "R2R Framework – Integration von RDF Daten im Web basierend auf im Web veröffentlichten Vokabular Mappings" (Diplom)

Wintersemester 10/11

• Dominik Neunkirchen: "Konzept und Design des Internetportals BolognaLife" (Master)
• B. Kirchhoff: „Validierung von offenen Formaten für Büroanwendungen” (Diplom)
• Christoph Sackl: "Office Automation mit Excel und PowerPoint" (Bachelor)

Sommersemester 10

• Andreas Nüßlein: "Nepal Project - An Open Source Web-based Control Panel for Shared Hosting Management Infrastructure"
• Andreas Schultz: "R2R Framework - Integration von RDF Daten im Web basierend auf im Web veröffentlichten Vokabular Mappings (Diplom)
• Christobal Vergara Niedermayr: "Semantic Integration of xService for the Creation of caBIG compatible XML Data Services (Diplom)
• Michael Beckmann: "Klassifikation von elektroenzephalographischen Daten in Oddball- und Gedächtnisdaten" (Master)
• Lilit Hakobyan: "Generierung eines Interpreters für das Sigma-Kalkül" (Diplom)
• Halim Albayrak: "Pluginbasierte Benutzerschnittstelle zur Datenvisualisierung und Steuerung von Sensornetzwerken" (Diplom)

Wintersemester 09/10

• Max Bureck: "Entwicklung eines visuellen modellgetriebenen Transformationsframeworks für QVT" (Diplom)
• Keis Husein: "SaaS als Alternative zu traditionellen IS in Unternehmen" (Diplom)

Sommersemester 09

• Falko Hoffmann: "Entwicklung eines webbasierten Frameworks für Scatterweb-MSBs"  (Diplom)
• Adrian Neumann: "Programmieren im Kranich-Stil" (Bachelor)
• Hanno Bunjes: "Entwurf und Implementierung einer XML-basierten, deklarativen Beschreibungssprache für browserbasierte Bedienoberflächen" (Diplom)
• Michael Peick: "Entwicklung eines modellgetriebenen OCL basierten Abstraktionsframework für ScatterWeb" (Diplom)
• Christopher Taylor: "Implementierung erweiterter ZF-Ausdrücke in Clojure" (Diplom)
• Thomas Reimann: "End-User Development of Web-Applications" (Diplom)
• Maya Häußler: "Java basierter Texteditor für Dokumente in SAP" (Bachelor)
• David Dekanosidze: "Entwicklung eines generischen Eclipse-basierten Rahmenwerks für die ScatterWeb-MSBs" (Bachelor)

Wintersemester 08/09

• Doreen Rosenthal: "Entwurf und Implementierung von Softwarekomponenten für die symbolische und subsymbolische Textanalyse" (Bachelor, Lehramt)
• Philipp Cordes: "Automatisierte Generierung von deklarativen Frameworks – Modellgetriebene Realisierung von Fluent Interfaces –" (Bachelor)
• Ayse Inanc: "IT-Governance für SOA - Management der Einführung einer SOA" (Diplom)
• Jan Christopher Merkel: "Entwurf und Implementierung eines architekturzentrierten modellgetriebenen Eclipse-Frameworks für Java EE 5 Anwendungen" (Diplom)
• Michael Peick: "Entwicklung eines modellgetriebenen OCL basierten Abstraktionsframework für ScatterWeb" (Diplom)
• Stephanie Wilke: "Prozessbewertung und -verbesserung nach ITILim Kontext des betrieblichen Informationsmanagement" (Diplom)
• Christopher Merkel: "Entwurf und Implementierung eines architekturzentrierten modellgetriebenen Eclipse-Frameworks für Java EE 5 Anwendungen" (Diplom)
• Min Zhou: "Entwicklung eines Eclipse Plugins zur datenbasierten Verwaltung von ScatterWeb-Netzen” (Diplom)

Sommersemester 08

• Martin Dittmar: "Entwicklung eines generativen UML-Roundtrip-Tools für Python" (Diplom)
• Jirk Stolze: "Performancetests und Bottleneck-Analyse in Multischichtarchitekturen" (Diplom)

Wintersemester 07/08

• Julius Dannert: "Implementierung eines Reduktionsystems für den ungetypten R-Kalkül in Java" (Bachelor)
• Seyed Mousavi: "Berechnung der Zerspankraftkomponenten beim Wälzfräsen" (Bachelor)
• Jintao Ding: "Entwicklung einer Eclipse-Konsole für ScatterWeb" (Diplom)
• Abid Hussain: "Entwicklung eines Eclipse-integrierten Web Services für ScatterWeb" (Diplom)