Abschlussarbeiten

• Vorträge im Oberseminar
• Offene Arbeiten
• Laufende Arbeiten
• Abgeschlossene Arbeiten seit 2000

Offene Arbeiten

Die folgenden Arbeiten können derzeit vergeben werden. Eigene (auch alternative) Vorschläge sind ebenfalls willkommen. Details können am besten persönlich besprochen werden; bitte möglichst per E-Mail einen Termin ausmachen.

• Das Lemma von Farkas und seine Varianten (E.B., Masterarbeit oder Diplomarbeit)

  In dieser Arbeit soll die Essenz ähnlicher Konstruktionen und Beweise zum Lemma von Farkas herausgearbeitet werden. Zusammenarbeit mit der Arbeit zum Überdeckungsgraphen ist möglich.

• Der Überdeckungsgraph bei Petrinetzen (E.B., Masterarbeit oder Diplomarbeit)

  In dieser Arbeit soll die Essenz ähnlicher Konstruktionen und Beweise zum Überdeckungsgraphen von Petrinetzen herausgearbeitet werden. Zusammenarbeit mit der Arbeit zum Farkas-Lemma ist möglich.

• Interferenzfreiheitsbegriffe und ihre Beziehungen (E.B., Masterarbeit oder Diplomarbeit)

  In dieser Arbeit sollen verschiedene Definitionen der Interferenzfreiheit in Datensicherheitssystemen aus der Literatur herausgearbeitet und miteinander verglichen werden.

• Logische Charakterisierung relationaler Semantik (E.B., Masterarbeit oder Diplomarbeit)

  In dieser theoretischen Arbeit sollen logische Charakterisierungen relationaler Semantiken entwickelt werden.

• Eine Umgebung für "synet" (E.B., Bachelorarbeit)

  In dieser Arbeit soll eine Oberfläche für ein ein Petrinetz-Synthesepaket von Benoit Caillaud implementiert werden.

Laufende Arbeiten

Die folgenden Arbeiten werden zur Zeit betreut.

Resonanz auf abgeschlossene Arbeiten

• Jan Vornbergers Window-Manager Bluetile macht seinen Weg in diverse Linux-Distributionen:
  Bluetile im Magazin LinuxUser und z. B. Bluetile bei Debian
  
• Marko Krauses Implementierung und Illustrationen zur Hash-Funktion Keccak werden von den Entwicklern gewürdigt: 14 September 2010 — The specifications, animated!
• Harro Wimmel, Lutz Priese: Petri-Netze, 2. Auflage 2008 bei Springer, 374 Seiten.

Abgeschlossene Arbeiten seit 2000

2012:


• Jannik Arndt: Rekombination – Einführung in die Künstliche Kreativität Homepage der Bachelorarbeit mit Video des Vortrags (ewi)


2011:


• Thomas Strathmann: Entwicklung eines korrekten Übersetzers (ewi)
• Thomas Wegmann: Echtzeitorientierte Überwachung von Geschäftsprozessen (H.F.)
• Janosch Döcker: Pollards Rho-Methode zur Faktorisierung (Vortragsfolien, PDF) (ewi)
• Halil Ege: Sicherheit in Web-Applikationen (ewi)
• Timo Grodzinski: Typechecker für Clojure (ewi)
• Renke Grunwald: Window-Manager: Objekte und Operationen (ewi)
• Nils Reimers: Implementation of the Pollard-rho-Algorithm for the Elliptic Curve Discrete Logarithm Problem (ewi)
• Maike Schwammberger: Faktorisierung mit Kettenbrüchen — eine Analyse (ewi)
• Björn Wolf: Shanks' Verfahren zur Faktorisierung: Square Forms Factorization (SQUFOF) (ewi)


2010:


• Marko Krause: Konzeption und Implementierung einer Webapplikation zur Demonstration von Techniken der Kryptographie und Steganographie (ewi)
• Rachid Lacheheb: Beschreibung und Implementierung der Verfahren für die Bewertung von Risiken für den Open-Source-Risikomanager Risk-o-Mat (ewi)
• Heiko Vetter: Modellierung und Synthese des Klangs von natürlichen Musikinstrumenten mittels Morphing (H.F.)
• Yangzi Zhang: Algorithmische Überprüfung struktureller Eigenschaften von Petrinetzen und Transitionssystemen (E.B.)
• Manuel Gieseking: Lineare und Differentielle Kryptoanalyse (PDF), Quellen (Vortrags-Folien, PDF) (ewi)
• Lars Herrmann: Candle – Ein Toolkit für die Stegoanalyse (Folien der Präsentation, PDF) (ewi)
• Maike Schwammberger: Faktorisierung mit Kettenbrüchen (ewi)


2009:


• Robert Bleiker: Das Wortproblem für Petri-Netze (Software, ZIP) (E.B.)
• Dominik Denker: WEB-Portal für Informatik-interessierte Schülerinnen und Schüler an der Universität Oldenburg (H.F.)
• Christoph Eichner: Entwicklung einer Petrinetz-Semantik für Geschäftsprozessmodelle (H.F.)
• Kristian Heidmann: ABuS - Entwicklung eines automatischen Blokus-Spielers (E.B.)
• Jens Meyer: Modellierung von Metadaten für Kennzahlen nach dem Common Warehouse Metamodel (H.F.)
• Thomas Preschel: Entwicklung eines E-Learning-Toolkits für strategische Kartenspiele (H.F.)
• Christian Wellinghorst: Konzeption und Entwicklung eines webbasierten Möbelkonfigurators und Integration in ein bestehendes Web-Content Management System (ewi)
• Jérôme Agater: KerMod Web - Entwicklung eines Werkzeugs zur Unterstützung der Moderation von Arbeit in Gruppen (ewi)
• Jan.Vornberger: BlueTile - ein moderner Tiling Window Manager mit flacher Lernkurve Webseite des Projekts BlueTile (ewi)
• Thomas Wegmann: Fachkonzept zur echtzeitorientierten Überwachung von Geschäftsprozessen (H.F.)


2008:


• Harro Wimmel (Habilitation): Entscheidbarkeitsfragen bei Petri Netzen
• Patrick Schulz (Master-Arbeit): Entwicklung und Implementierung eines Tutorsystems für Bridgelehrer (H.F., Master-Arbeit)
• Cigdem Cebe: Messung kooperativer Kompetenz - Problembeschreibung und Anforderungsdefinition (H.F.)
• Jan-Christian Halfbrodt: Konzeption und Erstellung eines Studieneinstiegstests Informatik (PDF) (H.F.)
• Martin Hilscher: Kollaps – Design und Analyse kryptographischer Hash-Funktionen (PDF) (ewi)
• Gerd Hoffmann: Online-Pädagogik mit hybriden Hypertextumgebungen (ewi)
• Alexander Neumann: OTAAS - Analyse und Erweiterung einer onlinegestützten Tachographendaten-Auswertungs- und Archivierungs-Software (ewi)
• Tim Suchner: Entwicklung und Implementierung eines PGP-Verschlüsselungsproxys (ewi)
• Cigdem Cebe: Implementierung eines Werkzeuges zur Messung kooperativer Kompetenz auf Basis des QuizCo²-Systems (H.F.)
• Kristian Heidmann: Eine modulare Blokus-Spielsoftwareumgebung (E.B.)
• Jan Jelschen: Eine Werkzeugsammlung zur Prüfung endlicher Modelle (E.B.)
• Holger Lubitz: Parallelisierung eines Kompressionsalgorithmus (E.B.)
• Klaus Piech: Integration eines Projektkonzepts in das STETZ-System (H.F.)
• Thomas Preschel: E-Learning Lösungen für Bridge (PDF) (H.F.)
• Iris Wilde: Beschreibung und Analyse von Produktionssystemen durch Petrinetze (E.B.)


2007:


• Malte Diehl: Messung maschineller Übersetzbarkeit von Texten (PDF) (ewi)
• Harry Egbers: Konzeptioneller Entwurf einer unbegrenzten MMORPG-Spielwelt (H.F.)
• Christoph Eichner: Definition und Implementierung einer Petrinetz-Semantik für die UML 2.0 Aktivitätsdiagramme (H.F.)
• Helge Hartmann: BBES - Ein Expertensystem für die Reizung im Bridge (H.F.)
• Lars Lüttmann: Spielergesellschaft Deutschland: Computerspiele als Spiegel gesellschaftlicher Trends am Beispiel World of Warcraft (H.F.)
• Dirk Räder: Konzeption eines modularen Autorensystems mit OCR-Unterstützung für E-Learning-Systeme (ewi)
• Robert Bleiker: Implementierung des Fallentestschemas für Petrinetze (E.B.)
• Martin Hilscher: RENGA — A graphical programming language tailored but not restricted to cryptographic algorithms (PDF), Quellen (ewi)
• Ana-Maria Mesaros: Vermittlung von IT-Kompetenzen in Weiterbildungsveranstaltungen - Eine empirische Studie (H.F.)
• Alexander Neumann: ASP DigiTach (ewi)
• Tim Suchner: Entwicklung und Implementierung eines Pokerclients mit Pokerbots (PDF) (ewi)
• Christian Wellinghorst: Konzeption und Implementierung eines modular erweiterbaren Content Management Systems (ewi)


2006:


• Ortwin Escher: Generierung vom UML-Diagrammen aus Requirements-Engineering-Werkzeugen (H.F.)
• Christian Lerch: Bridgetutor (H.F.)
• Sven Sieverding: Das Modifikationsproblem der Aussagenlogik und dessen Auswirkungen auf das Erfüllbarkeitsproblem (H.F.)
• Anke Mangels: Konvertierung von temporallogischen Formeln in unterschiedlicher Syntax (E.B.)
• Nils Müllner: Logisch-funktionale Sprachen im Vergleich (ewi)
• Sven Sieverding: Das Modifikationsproblem der Aussagenlogik und dessen Auswirkungen auf das Erfüllbarkeitsproblem (H.F.)
• Tim Strazny: Simulation von Generalized Stochastic Petri Nets (E.B.)


2005:


• Andreea Barbu (Dissertation): Developing Mobile Agents through a formal Approach
• Felix Fontein: Elliptic Curves over Rings with a Point of View on Cryptography and Factoring (E.B.)
• René Hess: Entwurf eines Group-Support-Systems mit integriertem Collaboration Engineering (H.F.)
• Margarete Muhle: Moderationsabläufe (H.F.)
• Frank Nagel: Eine M-Netz-Repräsentation für Pi-Kalkül-Terme mit Replikation (E.B., H.F.)
• Malte Diehl: Soft Skills online (PDF) (ewi)
• Harry Egbers: Entwicklung eines Programmsystems zur Unterstützung von Gemeinschaftsarbeit in Lehrveranstaltungen (H.F.)
• Felix Fontein: A Toolbox for Elliptic Curves over Finite Rings and (Automatic) Decomposition of Finite Abelian Groups (E.B.)
• Philipp Regenfuß: Ein Content Management System zur Kolloquienplanung für das Department für Informatik der Carl-von-Ossietzky-Universität Oldenburg (ewi)
• Thorsten Schlörmann: Kryptographie-Algorithmen för die Tellib: AES und visuelle Kryptographie (E.B., C.S.)
• Patrick Schulz: Entwicklung eines Bietsystem-Editors für Bridge (H.W.)


2004:


• Ortwin Escher: System zur Datensynchronisierung in einem Client-Server-System und die Einbindung in KerMod (H.F.)
• René Hess: KerMod-Modul: Datei-Upload und Dateipool (H.F.)
• Ulrich Hobelmann: Implementation of a Compiler from B(PN)² (E.B., C.S.)
• Christian Lerch: Bridge Tutor (PBN-Viewer) (H.F.)
• Margarete Muhle: Erweiterung des KerMod um Vorlagen (H.F.)
• Frank Nagel: Ein Abrechnungsprogramm für Bridge. Zweiter Evolutionszyklus (H.F.)


2003:


• Oliver Erdmann: Comparing Time Petri Nets and Timed Automata (E.B., C.S.)


2002:


• Michael Weber (Dissertation): Allgemeine Konzepte zur software-technischen Unterstützung verschiedener Petrinetz-Typen (E.B., Dissertation)
• André Hackmann: Development of a High-Throughput Automated Annotation System (E.B.)
• Michael Köhrmann: Entwicklung eines Rettungs- und Reparaturwerkzeugs für das Betriebssystem Linux (E.B.)
• Niklas Mehner: Auswertung von Spielbäumen mit unvollständiger Information - Entwicklung Implementierung und Evaluation eines Prototypen am Beispiel von Bridge (E.B., H.F.)
• Astrid Rakow: Data Mining using Artificial Neural Networks for Classifying Protein Sequences (E.B.)
• Uwe Viergutz: Ein grafischer SDL-2000-Editor für das PEP-Tool (E.B., C.S.)


2001:


• Matthias Brill: Entwurf und Implementierung eines Double-Dummy Bridge Solvers (H.F.)
• Jörg Dannemann: Entwurf eines generischen Abrechnungssystems für Kartenspielturniere und Implementierung eines Prototypen für Bridge (H.F.)
• Ernst Kretschmann: Data Mining in Large Scientific Databases (E.B.)
• André Hackmann, Astrid Rakow: HellicsClient, eine graphische Oberfläche für HELLICS (E.B.)


2000:


• Andreea Barbu: M-Netze und der Pi-Kalkül: Vergleich zweier Modelle für nebenläufige Prozesse (E.B., H.F.)
• Christian Stehno: Entfaltung von Zeit-Petrinetzen, Integration in das PEP-System und Optimierungen (E.B.)