Thomas Dziemian.
Entwicklung, Evaluierung und Optimierung einer Einfeldsuche für das
Fahrplanauskunftssystem des Hamburger Verkehrsverbunds.
Diplomarbeit, TU Hamburg-Harburg, September 2012.
Bibtex entry Paper (PDF)
Pavichaya Eaungpulswat.
Area Coverage Algorithms for Multiagent surveillance Tasks.
Master thesis, TU Hamburg-Harburg, May 2012.
Bibtex entry Paper (PDF)
Emmanouil Fanourgakis.
Modelling and Verification of QoS properties of a Biomedical Wireless
Sensor Network.
Projektarbeit, TU Hamburg-Harburg, February 2012.
Bibtex entry Paper (PDF)
Alexander Galkin.
Implementing a Multi-Target .NetCompiler for TouchDevelop.
Diplomarbeit, TU Hamburg-Harburg, May 2012.
Bibtex entry Paper (PDF)
Marcel Gehrke.
Detection of Zeno Sets in Hybrid Systems to Validate Modelica
Simulations.
Bachelor thesis, TU Hamburg-Harburg, July 2012.
Bibtex entry Paper (PDF)
Marcel Gehrke and Jan Winkelmann.
Implementing Exhaustive Search for the Coil-in-the-box Problem using
MPI.
Project work, TU Hamburg-Harburg, June 2012.
Bibtex entry Paper (PDF)
Aleksandar Gudov.
Implementation of a Perfect Rewriting Algorithm for Ontology Bases Query
Answering over Spatiall Databases.
Master thesis, TU Hamburg-Harburg, October 2012.
Bibtex entry Paper (PDF)
Jakob Hennings.
Verhaltensmodellierung von Agenten mit Hybridensystemen.
Diplomarbeit, TU Hamburg-Harburg, October 2012.
Bibtex entry Paper (PDF)
Jan Holste.
On the Application of Model-Checking Tools for Hybrid Automata.
Bachelor thesis, TU Hamburg-Harburg, July 2012.
Bibtex entry Paper (PDF)
Jonathan Hüser.
Boolean Analysis for Path-senvitive Interprocedural Analyses of
Asynchronous Programs.
Bachelor thesis, TU Hamburg-Harburg, September 2012.
Bibtex entry Paper (PDF)
Timo Kamph.
An interprocedural Points - To Analysis for Event-Driven Programs.
Diplomarbeit, TU Hamburg-Harburg, January 2012.
Bibtex entry Paper (PDF)
Tobias Kaupat.
Reverse Engineering und Analyse eines auf RS-232 basierenden Protokolls zur
Reimplementierung.
Diplomarbeit, TU Hamburg-Harburg, July 2012.
Bibtex entry Paper (PDF)
Valerii Kebenko.
Das risikoorientierte und automatisierte Testen einer medizinischen
Software mit Hilfe von Black-Box-Regressionstests.
Diplomarbeit, TU Hamburg-Harburg, December 2012.
Bibtex entry Paper (PDF)
Nikita Khristianov.
Vergleich der RIA-Technologien zur Implementierung einer Webanwendung zur
Vereinheitlichung logistischer Vorgänge.
Studienarbeit, TU Hamburg-Harburg, February 2012.
Bibtex entry Paper (PDF)
Christian Matzat.
Untersuchung von Konzepten zur Formationseinnahme und Einhaltung in einer
UAV-Simulationsumgebung.
Bachelorarbeit, TU Hamburg-Harburg, February 2012.
Bibtex entry Paper (PDF)
Anna Mempel.
User Event Tracking for Test Case Generation for Web Applications.
Projektarbeit, TU Hamburg-Harburg, February 2012.
Bibtex entry Paper (PDF)
Florian Meyer.
Probabilistic Graphical Models.
Studienarbeit, TU Hamburg-Harburg, May 2012.
Bibtex entry Paper (PDF)
Hannes Molsen.
Ontology Based Data Access for Separating User Interfaces from Application
Logic.
Master thesis, TU Hamburg-Harburg, April 2012.
Bibtex entry Paper (PDF)
Christian Neuenstadt.
Efficient Conjunctive Queries over Semi-Expressive Ontologies.
Master thesis, TU Hamburg-Harburg, September 2012.
Bibtex entry Paper (PDF)
Eric Stephen Nyassi Ngatcha.
Bildverarbeitung für Waldbranderkennung.
Diplomarbeit, TU Hamburg-Harburg, February 2012.
Bibtex entry Paper (PDF)
Paul-David Piotrowski.
Realization of a UAV simulation environment for USARSim-UDK.
Diplomarbeit, TU Hamburg-Harburg, July 2012.
Bibtex entry Paper (PDF)
Jonas Rinast.
Enhancing UPPAAL's Explanatory Power using Static Zeno Run Analysis.
Diplomarbeit, TU Hamburg-Harburg, April 2012.
Bibtex entry Paper (PDF)
Malte Schultjan.
Towards the deployment of UAVs for fire surveillance.
Master thesis, TU Hamburg-Harburg, July 2012.
Bibtex entry Paper (PDF)
Max Schürenberg.
Scalability Analysis of the Simulin Design Verifier on an Avionic
System.
Bachelor thesis, TU Hamburg-Harburg, August 2012.
Bibtex entry Paper (PDF)
Jan Seba.
Investitgation of Sensor Networks using Algebraic Topology.
Bachelor thesis, TU Hamburg-Harburg, November 2012.
Bibtex entry Paper (PDF)
Nikolai Weh.
Run-Time Load Analysis of Multi-Threaded Aplications by Inspection of
Inter-Process Communication.
Bachelor thesis, TU Hamburg-Harburg, July 2012.
Bibtex entry Paper (PDF)
Arne Wichmann.
Binary Analysis for Code Reconstruction of Control Software.
Diplomarbeit, TU Hamburg-Harburg, October 2012.
Bibtex entry Paper (PDF)
Jan Winkelmann.
A Data Partitioning Algorithm for Sound Particle Radiosity.
Bachelor thesis, TU Hamburg-Harburg, August 2012.
Bibtex entry Paper (PDF)