Programming Research Group

Diploma and Master Theses

2014

• André Frick: Entwurf und Implementierung einer App zur Zeiterfassung (Cooperation with DIGI Zeiterfassung)
• Johannes Götz: CML Style Concurrency in ECMAScript 6
• Matthias Muth: Implementierung eines skalierbaren Multi-User-Frameworks mit Konfliktauflösung in eine bestehende interaktive Geschäftsanwendung (Cooperation with itDesign Tübingen)
• Khangaikuu Uvgunkhuu: Entwicklung eines grafischen Darstellungssystems für Prozesssteuerungen im Labor (Cooperation with Inst. f. Physikalische und Theoretische Chemie)

2013

• Helmut Dobretzberger: Funktionale Webprogrammierung
• Michael Kaulig: Evaluierung von Verfahren zur Lösung des Ressource-Constrained Project Scheduling Problems mit Zeitfenstern im Projekt Portfolio Management (Cooperation with itDesign Tübingen)
• Armel Kenne: Analyse und Aufbereitung von fahrzeugspezifischen Diagnosedaten (Cooperation with Daimler)
• Marco Schulte: Risk-sensitive adaptive control models for human motor control (Cooperation with MPI für Biologische Kybernetik)
• Neli Taushanska: Konzeption und Implementierung von Prototypen zur Integration von Bestandssoftware in moderne Umgebungen

2012

• Sebastian Rheinnecker: Ein Eclipse Plugin für Scheme 48
• Jonas Romer: Ein Dokumentationsserver für den Isabelle-Beweiser
• Marcel Turino: Concurrent Garbage Collector for Scheme 48

2011

• Stephan Dörr: Besucherinformation im Museum mit interaktiven Displays (Cooperation with Institut für Wissensmedien)
• Axel Gneiting: Eine auf I3P Eclipse basierende Verifikationsumgebung für Lightweight Separation
• Tobias Peckert: Modellbasierte Entwicklung einer LED-Steuergeräte-Applikation (Cooperation with Automotive Lighting)
• Marius Pinlap: Semi-automatische Datenverarbeitung zum Wissenserwerb und Ontologiedesign über einer fachspezifischen Domäne (Cooperation with Daimler)
• Achim Schiele: Multi-Platform Software Package Management
• Stephan Schmid-Eilber: Anonymisieren von unstrukturierten Text-Datenbeständen (Cooperation with Daimler)
• Maja Selgrad: Implementierung und Anpassung eines Content Management Systems als Kundenportal (Cooperation with pagina Tübingen)

2010

• Gde Rai Anak Agung: Planung und Umsetzung von ITIL-Prozessen in der Oracle E-Business Suite (Cooperation with Claranet)
• Sebastian Beschke: XPL: Eine funktionale Programmiersprache für XML-Transformationen
• Faraz Fallahi: An Ontology eXtraction Broker (OXB) based on the KTEQ approach
• Timo Harter: Speeding up the Scheme 48 VM
• Matthias Hirzel: Werkzeuge für automatisierte Software-Builds und Software-Tests zur Optimierung des Entwicklungs- und Test-Prozesses (Cooperation with ITdesign Tübingen)
• Christopher Lambert: Implementierung eines Frameworks zur frontend-unabhängigen Definition spezieller Geschäftsanwendungen (Cooperation with itdesign Tübingen)
• Benjamin Lenz: Extension of the concept motion monitor for pulse rate measurement (Cooperation with Bosch)
• Dirk Röttig: An Ontology Translation Broker (OTB) based on the KTEQ approach
• Sascha Silbe: A version support extension for the Sugar data store

2009

• Soufiane Abdellaoui: Redesign und Implementierung eines webbasierten Dokumenten-Management-Systems (Cooperation with Bosch)
• Jens Duelli: Kerberos Authentication Routing on Networks (Cooperation with science + computing)
• Tobias Keckeisen: Ein Paket-Manager für Scheme 48
• Jürgen Mayer: Robuste Virtual Private Networks (VPNs) für zuverlässige Diensterbringung
• Axel Melnik: Design and Implementation of an Efficient Approach to Accessing and Managing XML-based Data (Cooperation with IBM Deutschland)
• Stephan Oechsle: Automatisierte Analyse und Visualisierung von Roboterprogrammen im heterogenen Industrieroboterumfeld (Cooperation with Daimler)
• Mark Schmidt: A Metering Infrastructure for Mobile Communication networks using publish/subscribe-mechanisms and supporting quality of measurement
• Ingmar Schuster: A Network intrusion prevention system using anomaly detection
• Julia Trieflinger: Ein low-level Speichermodell für Lightweight Separation
• Timm Tross: Ein modulares Frontend für semantische Applikationen
• Felix Widrig: High Availability for z/VM Service Guests and z/VM Clustering (Cooperation with IBM Deutschland)
• Jun Zhang: Untersuchung und Realisierung eines anforderungsgetriebenen Mehrparteienaushandlungsprotokolls

2008

• Natalie Arfaeian: Migration einer nicht standardisierten Workflow-Komponente auf BPEL-konforme Werkzeuge (Cooperation with DAASI International)
• Christoph Eunicke: Establishing Trust in TPM Enabled Devices with Smart Cards for IDM
• Marco Höchsmann: Ausfallsicherheit für eine Metering-Infrastruktur zukünftiger Mobilfunknetze
• Dirk Hüsken: Peephole-Optimierung in einem Scheme-48-Compiler
• Albrecht Kaschlik: Autokonfiguration für eine Metering-Infrastruktur zukünftiger Mobilfunknetze
• Sonja Keil: Entwicklung einer modernen webbasierten Teamsoftware (Cooperation with Stratematik)
• Tobias Lang: Entwicklung einer bedatbaren ODX-Checker API (Cooperation with Samtec)
• Christian Michel: Sozioemotionale Anforderungen an Kommunikationswerkzeuge virtueller Teams (Cooperation with Psych. Institut)
• Maria Prutkina: Evolutionärer Strukturtest von prozeduraler Software mit Zeigern (Cooperation with Daimler)
• Paul Reiff: Web Service Governance und Prototyp einer Web Service Registry (Cooperation with Festo AG)
• Christian Rothländer: Robuste Wegewahl und Umwegverhalten auf Graphen
• Jan Schober: Development of a conceptual application network for global service access (Cooperation with Sybase iAnywhere)
• Gregor Schräder: Webbasierte Visualisierungskonzepte für digitale kritische Musikedition am Beispiel von meiNeumes (Cooperation with Musikwissenschaftliches Institut)
• Markus Widmer: Implementierung von Role Based Access für das TextGrid-Projekt (Cooperation with DAASI International)

2007

• Vladislav Bosneaga: Integration of Storage Management in High Availability Cluster Technology for Automated Disaster Recovery (Cooperation with IBM Deutschland)
• Michael Drüing: Content Management System zur digitalen Edition historischer japanischer Texte (Cooperation with Seminar für Japanologie)
• David Eißler: Software zur webbasierten dynamischen Ablaufplanung für das Event Management
• Tamer Ergin: Modell für Aufbau und prototypische Umsetzung von webbasierten Lerncommunities (Cooperation with Fraunhofer IPA Stuttgart)
• Norbert Freudemann: .NET-Interoperabilität für Scheme 48
• Benjamin Grund: Ablaufsteuerung auf Basis von sequentiellen und kombinatorischen Netzwerken für Dichtheits- und Funktionsprüfsysteme (Cooperation with Zeltwanger)
• Christoph Hetz: Kali 1.5
• Daniel Hopp: Entwurf und Implementierung eines Reporting Service Prototypen (Cooperation with Bosch)
• Ömer Koyuncu: Referenzmodell für die Erstellung von Lernmedien in mittelständischen Unternehmen - Instrumente und Methoden (Cooperation with Fraunhofer IPA Stuttgart)
• Martin Lutsch: Evaluation einer Service Registry und Repository Lösung im Kontext von SOA Governance (Cooperation with DaimlerChrysler)
• Roland Minner: QFOPD - A Queueing File Operation Daemon
• Sebastian Möbius: Aufbereitung von Kontextinformationen aus Hypertext-Dokumenten zur Vorbereitung einer Schnittstelle für Sehbehinderte
• Maren Raisch: Erstellung und Bewertung von IT-Konzepten zur Erhebung von Reifegradindikatoren (Cooperation with DaimlerChrysler)
• Reza Sadeghi: Weiterentwicklung einer visuellen Sprache zur Schrittkettenkonfiguration (Cooperation with Bosch)
• Carsten Soemer: Erarbeitung einer Methodik zur Überführung von Prozessmodellen in eine einheitliche Beschreibungssprache im Änderungswesen (Cooperation with FZI Karlsruhe)
• Claudius Stempfle: Informatik an Gymnasien in Baden-Württemberg
• Corinna Strebel: Verbesserung der Detektion der in einem Stereosignalgemisch vorhandenen Schallquellen (Cooperation with Fraunhofer IIS Erlangen)
• Dominik Uihlein: Modulares Webshop-System für mittelständische Unternehmen (Cooperation with Early Learning Institute)

2006

• Katja Christoph: Photobase: Eine Webanwendung zur Archivierung und Präsentation von digitalen Bildern
• David Frese: Multiprozessorunterstützung für Scheme 48
• Thomas Gärtner: Online-Anbindung realer Materialflusssysteme an Simulationsmodelle (Cooperation with DaimlerChrysler)
• David Halsband: Wiederverwendbarkeit in Service-orientierten Architekturen (Cooperation with Information Management Group)
• Stefanie Hofmann: Erstellung eines Konzeptes zur softwareunterstützten Projektarbeit und dessen softwaretechnische Umsetzung (Cooperation with Erbe)
• Andreas Lenz: Model-Driven Architecture in Software-Entwicklungsprozessen (Cooperation with DaimlerChrysler)
• Sa Li: Entwicklung eines Tools zur Extraktion und Analyse von Variationspunkten und Varianten in Software-Produktlinien (Cooperation with Bosch)
• Gregor Nobis: Eine Plug-In-Architektur für erweiterbare Web-Anwendungen
• Clemens Oertel: A functional reactive approach to flexible control of behavioral conditioning experiments (Cooperation with Medimod)
• Ralf Sternberg: Feature Interaction in Rich Client Frameworks (Cooperation with DaimlerChrysler)
• Hendrik Wehrum: Benutzerfreundliche Modellierung und Parametrierung zur Simulation großer Logistiknetze in der Automobilindustrie (Cooperation with DaimlerChrysler)

2005

• Uwe Bilger: Automatisierte Performanz- und Verfügbarkeitsmessung für das Projekt Supplier Managment Base (Cooperation with DaimlerChrysler)
• Johannes Brügmann: Scsh-make - Ein Build-System mit der Scheme Shell
• Marcus Crestani: A New Garbage Collector for XEmacs
• Yolanda Cubas: Werkzeugkette im Requirements Management (Cooperation with T-Systems)
• Claus Kunst: WAU - Webbasiertes Administratives User Interface (Cooperation with Celesio)
• Chiviny Long-Marquardt: Programmierung einer Web-basierten Schnittstelle für Multimedia-Datenbanken
• Desiree Rietheimer: Ein Modul-Browser für Scheme 48
• Wolfgang Stumpp: Erstellen der Betriebssoftware für ein universelles Mess- und Steuersystem (Cooperation with Rabe Engineering, Kirchentellinsfurt)
• Jens Thiele: EGachine
• Hartmann Wendlandt: Eine Metasuchmaschine zur Verbesserung der Ergebnisqualität etablierter Suchmaschinen
• Andreas Weßner: Entwurf und Implementierung einer OO Middleware für Enterprise Application Frameworks (Cooperation with SoftCentre, Australia)

2004

• Martin Frisch: Integration der strukturellen Analyse in die modellbasierte Diagnose (Cooperation with DaimlerChrysler)

2003

• Michael Kubert: Entwurf und Implementierung eines teamfähigen Skripteditors mit Trainingskomponenten

2002

• Frank Knoll: Ein Interpreter und ein Modulsystem für die funktionale Programmiersprache OBJ-P
• Torsten Merz: Darstellung der Möglichkeiten zur Erzielung optimaler Ergebnisse mit generiertem C-Code auf RISC-Maschinen (Cooperation with Bosch)
• Rania Tarazi: Analyse, Konzeption und Implementation einer B2B und B2C E-Commerce Praxisprojekts (Cooperation with Egeria,)

2001

• Peter Biber: Funktional-reaktive Steuerung eines autonomen Roboters
• Michael Jerger: Dynamische Komponentenarchitektur unter Jini und deren Verifikation
• Eric Knauel: Ein Compiler von Emacs LISP nach Scheme
• Richard Reingruber: Integration von kopierender GC in Legacy-Systeme
• Holger Schmid: Konzeption und Implementierung eines redaktionell gesteuerten und benutzergetriebenen Portal-Servers (Cooperation with ArsNova, Esslingen)
• Jürgen Schnerr: Ein Framework für die Erzeugung von Visualisierungen abstrakter Maschinen
• Peter Schumm: Wearable Computer als PDA-Alternative (Cooperation with Xybernaut)
• Marc Single: Entwurf und Implementierung eines Konfigurationswerkzeugs für das Auszeichnungssteuerungstool GxControl (Cooperation with Bizerba)

2000

• Dietmar Annoff: Einsatz und Potential von Data Mining Tools unter der Betrachtung des Delta Miner der Firma Bissantz (Cooperation with Wirtschaftswissenschaftliche Fakultät)
• Istvan Bognar: Eine Durchführbarkeitsstudie für ein Bibliothekssystem auf der Basis der Thin-Client-Technologie
• Sven Dittmar: Webbasierte Verwaltungssoftware für einen Internet-Dienstleister
• Michael Ebert: Anfrageorientierte Integration heterogener Produkt-Daten-Management-Systeme (Cooperation with DaimlerChrysler)
• Joachim Fels: Was ist Wirklichkeit? - Zum philosophischen Spannungsfeld des Wirklichkeitsverständnisses in der Informatik
• Martin Gasbichler: Ein Native code compiler für Scheme48
• Volker Graf: PBCI2k, ein Brain-Computer-Framework (Cooperation with Institut für medizinische Psychologie)
• Stefanie Meinhardt: Mikrosimulation für Stadtverkehr
• Matthias Neubauer: Dynamic Scope Analysis for Emacs Lisp
• Jürgen Richter: Internet Interface with EEG Feedback (Cooperation with Institut für Medizinische Psychologie)
• Ingo Schuster: Applikationsarchitekturen basierend auf der J2EE-Spezifikation (Cooperation with DaimlerChrysler)
• Ertugrul Ulusal: Konzeption und Realisation einer Modellfirma mit SAP R/3 (Cooperation with Siemens)
• Hartmut Wiesenmaier: Ein voll parametrisiertes Modulsystem für Scheme

1999

• Hans-Jörg Körber: Ausarbeitung eines Konzepts zur Abstraktion von Java-Programmen, mit Implementierung eines Prototyps
• Oriel Maute: Die Umsetzung von OQL-Anfragen an relationale Datenbanken unter Verwendung eines Persistenzframeworks (Cooperation with IBL Ingenieurbüro Letters)
• Elke Pulvermüller: Evaluation der Aspekt-Orientierten Programmierung in einer verteilten Umgebung

1998

• Martin Bosler: Design of a multilingual internationalized distributed management system (Cooperation with Hewlett-Packard)
• Efkan Kiran: Konzeption und Entwicklung eines Datenkommunikationskerns zur Ablaufsteuerung von Online-Interaktionen anhand des Beispiels Electronic Commerce
• Christian Wege: Gegenüberstellung der Anwendungsarchitekturen von Smalltalk und Java im Hinblick auf Migration (Cooperation with Daimler-Benz)
• Daniela Wieland: Spezifikation von Programmen mit Zeigerstrukturen

1997

• Alexander Walz: Optimierung von Bereichstests mit Hilfe der Static Single Assignment Form
• Jürgen Wendel: Implementation of Lightweight Parametric Polymorphism for Oberon-2 (Cooperation with Queensland University of Technology)
• Andreas Zahnert: Ein Compiler für Constraint Logic Programming mit Typed Feature Structures
• Dongyan Zhao: Internationalization for Asian Languages - Future Enhancement for the Unicode Standard (Cooperation with SAP)

1996

• Henrik Horstmann: Offline-Spezialisierung für einen call-by-need Lambda-Kalkül
• Stefan Neuhäuser: Aspekte der Software-Verteilung (Cooperation with Integrata)
• Peter Scheffczyk: Objektorientierte Entwicklung eines Programms zur Darstellung und Analyse von EEG-Daten und zur Steuerung eines EEG-Moduls (Cooperation with Hewlett-Packard)
• Matthias Seidel: Ein Moduleditor für Modula-2-Programme
• Christian Wolf: Aspekte der asynchronen Datenreplikation am Beispiel des Entwurfs eines Replikationsmechanismus (Cooperation with Integrata)

1995

• Frank Gerhardt: Integration und Koexistenz von Vorgehensmodellen der konventionellen und der objektorientierten Systemgestaltung (Cooperation with Daimler-Benz)
• Andreas Möstel: Methoden der Laufzeitanalyse an automatischen Speicherverwaltungssystemen
• Jörn Rudolph: Erarbeitung einer Migrationsstrategie zur Überführung von funktionalen Systementwicklungskonzepten in die objektorientierte Technologie (Cooperation with Daimler-Benz)
• Michael Walter: Ein Typsystem für die sichere Einkapselung von Seiteneffekten in rein funktionalen Programmiersprachen

1993

• Johannes Brischar: Berechnung statt Entscheidung? Kritik des Einsatzes von Formalen Systemen zur Entscheidungsunterstützung
• Dieter Damm: Ein Interpreter für die formale Semantik von Modula-2

1991

• Martin Plümicke: Ordnungs-sortierte Algebren als Grundlage für Semantik und Typsystem einer algebraischen Spezifikationssprache

1989

• Manfred Albracht: Übersetzung von Modula-2-Ausdrücken und Standardfunktionen in Celerity-Zwischencode sowie Compilerintegration in eine UNIX-Umgebung

1988

• Rolf Bartz: Ein portabler Modula-2-Compiler für CISC-Prozessoren
• Harald Kirsch: Syntaktische Analyse von Modula-2 und Erzeugung von Code für Kontrollstrukturen

1987

• Rudolf Berrendorf: Definition und Implementierung einer abstrakten Maschine zur effizienten Auswertung von LISP-Schemata
• Bernard Robben: Formale Spezifikation von Dialogschnittstellen und automatische Erzeugung von Prototypen

1986

• Axel Schubert: Modularisierung algebraischer Spezifikationen zum Einsatz im System- und Programmentwurf

1984

• Elisabeth Heyne: Compilererzeugung mit Hilfe algebraischer Spezifikationen
• Andrea Ludwig: Über die Verwendung von objektorientierten Diagrammen bei der Problemspezifikation

1981

• Martin Schulz: Berechenbare Algebren, Wortprobleme und kanonische Termalgebren

Address

Universität Tübingen

Wilhelm-Schickard-Institut für Informatik

Jasminweg 21

72076 Tübingen

GERMANY