Student Projects

About

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

Project Proposals

Ongoing Projects

Philipp Czerner: tba

Mazen Bouchur/Thomas Borgardt: Implementing a solution for "BattleCode" using AI/agent-oriented concepts

Jonathan Pieper: A solution for the MAPC with Jason and comparison to conventional approaches

Hayyan Helal: Counterpoint with genetic algorithms

Sarah Diedrich: Improving the MAPC scenario

Niklas Fiekas: A scalable AgentSpeak interpreter with MapReduce

Finished projects

Bachelor/Master/Diploma theses

Sarah Diedrich. Agentenbasierte Parameteroptimierung eines Multi-Agent Programming Contest-Szenarios. German. Bachelor thesis. Sept. 2016.

Tobias Ahlbrecht. Modular modelling support for multiagent simulation. Master thesis. July 2016.

Aaron Sillus. Ein Genetischer Algorithmus zur Komposition von Musik. Ger- man. Bachelor thesis. June 2016.

Naghmeh Fannipour. Adaptation of Systems Theoretic Process Analysis (STPA) for SCADE-based designs. Oct. 2015.

Niklas Fiekas. Ein leichtgewichtiger AgentSpeak Interpreter für C++. German. Bachelor thesis. Oct. 2015.

Pierre Colin Kaptue Wafo. Graphisches Werkzeug für die Strukturmodellierung von Bahnsicherungsanlagen. Mar. 2015.

Marc Sebastian Lucksch. Modellgetriebene Entwicklung von textuellen Editoren für die Strukturmodellierung von Bahnsicherungsanlagen. Apr. 2015.

Timo Rienäcker. Weiterentwicklung eines Werkzeugs zur Verifikation von SCADE- Programmen mit SMT Model Checking. Oct. 2015.

J. Wang. Lernmaterialien zu Algorithmen und Datenstrukturen. 2015. Xiaoqian Gu. Modellierung und Veri kation einer Familie von sicherheitskritis- chen, medizinischen Geräten mit SCADE. Sept. 2014.

Sara Mahvi. Model-Based Safety Analysis of a Medical Device using SCADE Modeling Tool. Oct. 2014.

Tobias Ahlbrecht. A Tool for Computing Stable Topologies in Mobile Ad-Hoc Networks. Bachelor thesis. June 2013.

Jens Dehnert. Game representations and their complexity. Diploma thesis. Oct. 2012.

Sascha Kattelmann. Die Ehrenfeucht-Vermutung und verwandte Probleme. Bach- elorarbeit. 2012.

Jan-Michael Brummer. Transformation von Promela nach SLPN. Diploma the- sis. Sept. 2009.

Slawomir Deren. Inter Agent Kommunikationsmodul für Jazzyk. Diploma thesis. Aug. 2009.

Bernd Fuhrmann. Implementierung eines URBI- und Rubymoduls für Jazzyk zur Entwicklung von Robotern. Diploma thesis. July 2009.

Markus Gogolin. Optimierte SLPN-LTL-Modelchecker. Diploma thesis. Feb. 2009.

Sebastian Magnus. Intelligent City - An Ambient System for Personalized Information- and Transactionservices. Diploma thesis. TU Clausthal, June 2009.

Michael Köster. Implementierung eines autonomen Agenten in einer Simulierten 3D Umgebung: Wissensrepräsentation. Diploma thesis. Mar. 2008.

David Mainzer. Implementierung eines autonomen Agenten in einer simulierten 3D-Umgebung: Interaktion mit der Umwelt. Diplomarbeit. TU Clausthal, Aug. 2008.

Dominik Steinborn. Entwurf und Implementierung eines outdogiebasierten Sys- tems zur Extraktion von Produktinformationen aus Onlineshops. Diplomarbeit. TU Clausthal, Aug. 2008.

Michael Lesniak. Communicating over con icts in evolving, distributed ontolo- gies. Diplomarbeit. TU Clausthal, June 2007.

Xavier Queralt Mateu. Model checking of rational behavior of agents. Diplomar- beit. TU Clausthal, July 2007.

Tristan Behrens. Statische Analyse von Spec-Sharp-Programmen. Diploma the- sis. TU Clausthal, Feb. 2006.

Nils Bulling. Modal logics for games, time and beliefs. Diploma thesis. TU Clausthal, Mar. 2006.

Jan Winhuysen. Entwurf und Implementierung eines Werkzeugs zur statischen Analyse von JAVA Bytecode. Diploma thesis. TU Clausthal, Mar. 2006.

Markus Winkler. Modellierung des Temperaturverlaufs in einem Schmelzofen. Diploma thesis. TU Clausthal, May 2006.

Thomas Görz. Modellbasierte Diagnose des Zündsystems im Ottomotor zur Her- leitung von Fehlersuchanleitungen in einer KFZ-Werkstatt. Diploma thesis. TU Clausthal, Oct. 2005.

Andrzej Kononowicz. Agenten im E-Learning. Diplomarbeit. TU Clausthal, July 2005.

Stefan Schimanski. Veri kation von Schleifen in Java-Programmen. Diploma thesis. TU Clausthal, June 2004.

Jens Stegemann. Statische Analyse von Java-Programmen unter Verwendung der JML. Diploma thesis. TU Clausthal/FH Wolfenbüttel, Sept. 2004.

Student projects

Tobias Ahlbrecht: DemSyMC - An Android app for dispatching and managing ATL formulae for the MOCHA model checker, 2010.

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 von 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

 

Kontakt  Suche  Sitemap  Datenschutz  Imprint
© TU Clausthal 2017