Eberhard Karls Universität, Tübingen      
Wilhelm-Schickard-Institut Schickard-Maschine
         
         
         
viewable with any
browser
     

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

klaeren@uni-tuebingen.de Anbieterkennung
Last modified: Di 21 Nov 2023 12:19:02 CET