About

In general students can feel free to contact us anytime if they want to join us for our research.

• Agent Contest
• Logics

Ongoing Projects

Tobias Ahlbrecht

Finished projects

Diploma theses

Jan-Michael Brummer: Vergleich der Ausdruckskraft von Promela und SLPNs, Diplomarbeit.

Sebastian Magnus: Intelligent City - An Ambient System for Personalized Information- and Transactionservices, Diplomarbeit.

Bernd Fuhrmann: Implementierung eines URBI- und Rubymoduls für Jazzyk zur Entwicklung von Robotern, Diplomarbeit.

Slawomir Deren: Inter-Agent Kommunikation: Modul für Jazzyk, Diplomarbeit.

Markus Gogolin: Optimierte SLPN-Model-Checker in C, 2009

Dominik Steinborn: Entwurf und Implementierung eines ontologiebasierten Systems zur Extraktion von Produktinformationen aus Webshops., 2008

Michael Köster: Module for interfacing a rule based agent-oriented programming language interpreter and Answer Set Programming solver., 2008

David Mainzer: Module for interfacing a rule based agent-oriented programming language interpreter and Quake simulation engine., 2008

Michael Lesniak: Solving consistency conflicts in distributed ontologies, 2007

Christian Reimann: Making Neural Networks Talk, 2007

Tristan Behrens: Statische Analyse von C#-Programmen, 2006

Nils Bulling: Modal Logics for Games, Time and Beliefs, 2006

Andre Eberwien: Das HP-Modell der Proteinfaltung, Übersicht und heuristische Methoden, 2006

Peter Schulz: Ausreißererkennung für die Network Intrusion Detection, 2006

Jan Winhuysen: Entwurf und Implementierung eines Werkzeugs zur statischen Analyse von Java Bytecode, 2006

Markus Winkler: Modellierung des Temperaturverlaufs in einem Brennofen, 2006

Thomas Goerz: Modellbasierte Diagnose des Zündsystems im Ottomotor zur Herleitung von Fehlersuchanleitungen in einer KFZ-Werkstatt, 2005

Jens Kaufmann: Konzeption einer Softwareanwendung für die Darstellung, Überwachung und Diagnose des anlageninternen Netzwerkes im Stahlwerk , 2005

Andrzej Kononowicz: Anwendung von semantischen Netzen auf die Strukturierung von Lehrinhalten im Rahmen einer Multi-Agentenarchitektur für das E-Learning , 2005

Stefan Schimanski: Verifikation von Schleifen in Java-Programmen, 2004

Jens Stegemann: Statische Analyse von Java-Programmen unter Verwendung der JML, 2004, FH Wolfenbüttel

Student projects

Weiyu Yi, An Interface Module for the Jazzyk interpreter That Enables Interaction with the MASSim Server, 2009.

Slawomir Deren, Xavier Queralt Mateu: Support Infrastructure for Multi-Agent Simulations II

Bernd Fuhrman, Dominik Steinborn, David Mainzer, Michael Koester: Support Infrastructure for Multi-Agent Simulations, 2006

Bernd Fuhrmann: A Metainterpreter for different kinds of Update-Semantics in the context of Logic Programming, 2005

Michael Lesniak: Syntaktische Transformation rekursiver Methoden in Java, 2005

Claus Lohrberg: Theorembeweiser für das Verification Tool (VTool), 2005

Tristan Behrens: Statische Analyse der Ausnahmebehandlung on Java-Programmen, 2004

Matthias Glagow: Analyse von Nachbarschaftsoperatoren für das Traveling Salesman Problem, 2004

Janko Heilgeist: Der SAW-Algorithmus als Lösungsansatz für G3C, 2004

Practica

Christian Reimann: Prädikatenabstraktion und Klasseninvarianten, 2005

Nils Bulling: Prädikatenlogik und automatische Theorembeweiser, 2004

Tomas Janecek: Ein Eclipse-Plugin für das Verification Tool (VTool), 2004

Tristan Behrens: Parallelisierung im Verification Tool (VTool), 2003

Michael Lesniak: Design, Implementation und Anwendung eines Testsystems für das Projekt VTool, 2003

Claus Lohrberg: Codeoptimierung für guarded commands, 2003

Stefan Schimanski: Eine Einführung in das Beweissystem Isabelle, 2002