2020

Retracing State Machine Evolution with respect to Preceding Specification using Reflection Models. Bachelor Thesis, TU Hamburg, January 2020
Bibtex entry  Paper (PDF)

 


2019

Inference Attacks on Location Data and its Countermeasures. Bachelor Thesis, TU Hamburg, Dec 2019
Bibtex entry  Paper(PDF)

Constraint Logic Programming with Relaxation in Timetabling. Bachelor Thesis, TU Hamburg, Dec 2019.
Bibtex entry

Optimizing Run-Time Performance of Look Ahead Online Model-Based Testing by Distributed Execution. Master thesis, TU Hamburg, January 2019.
Bibtex entry  Paper (PDF)

Improving The Quality of Requirement Specifications Using Automatic Ambiguity Detection Tools. Master thesis, TU Hamburg, April 2019.
Bibtex entry  Paper (PDF)

Incremental Measurement of Model Similarities in Probabilistic Timed Automata Learning. Master thesis, TU Hamburg, June 2019.
Bibtex entry  Paper (PDF)

Automatic generation of fraudulent user behaviour. Master thesis, TU Hamburg, July 2019.
Bibtex entry  Paper (PDF)

Lazy Synthesis of AIGER Circuits by solving Safety Games with NuSMV. Bachelor thesis, TU Hamburg, September 2019.
Bibtex entry  Paper (PDF)

Optimizing CPU Inference Speed of Deep Neural Networks for Regression Tasks used in Real-Time Audio Applications. Master thesis, TU Hamburg, October 2019.
Bibtex entry  Paper (PDF)

Lock Scheduling with Estimated Times of Arrival Based on Historical AIS Data. Master thesis, TU Hamburg, January 2019.
Bibtex entry  Paper (PDF)

A Study of Generated versus Recorded Geolocation Data. Projektarbeit, TU Hamburg, February 2019.
Bibtex entry  Paper (PDF)

An Analytic Time Metric for Execution Time Evaluation in Online Model Checking. Projektarbeit, TU Hamburg, March 2019.
Bibtex entry  Paper (PDF)

Solving Symbolic Energy Games with NuSMV. Bachelor thesis, TU Hamburg, March 2019.
Bibtex entry  Paper (PDF)

Index


2018

Formally Describing and Proving Privacy in Software Architectures. Master thesis, TU Hamburg, January 2018.
Bibtex entry  Paper (PDF)


Structure and parametrization learning for probabilistic timed automata
. Projektarbeit, TU Hamburg, June 2018.
Bibtex entry  Paper (PDF)

Understanding and Improving Neural Network Classification. Projektarbeit, TU Hamburg, November 2018.
Bibtex entry  Paper (PDF)

An Implementation of T-Closeness Through Steered Miroaggregation. Bachelor thesis, TU Hamburg, August 2018.
Bibtex entry  Paper (PDF)

Computational Verification of Differentially Private Algorithms and an Improved Accuracy Estimate for the Sparse Vector Technique. Bachelor thesis, TU Hamburg, February 2018.
Bibtex entry  Paper (PDF)

Transparent Quality Prediction for Software Requirements using Artificial Neural Networks. Master thesis, TU Hamburg, November 2018.
Bibtex entry  Paper (PDF)

A New User Simulation-Based Approach for Application Performance Monitoring. Bachelor thesis, TU Hamburg, June 2018.
Bibtex entry  Paper (PDF)

A layered architecture for time-series problems in logistics. Projektarbeit, TU Hamburg, 2018.
Bibtex entry  Paper (PDF)

Trajectory Anonymisation by Multivariate Microaggregation. Bachelor thesis, TU Hamburg, July 2018.
Bibtex entry  Paper (PDF)

Konsistenzprüfung von UML-Sequenzdiagrammen mit LTL-Spezifikationen in NuSMV. Bachelor thesis, TU Hamburg, July 2018.
Bibtex entry  Paper (PDF)

Visual Analysis of Memory Usage for DSP-based Multi-core Systems. Master thesis, TU Hamburg, April 2018.
Bibtex entry  Paper (PDF)

An Energy Type System for OMNeT++ Modules and their Extension by Energy Statistics. Bachelor thesis, TU Hamburg, November 2018.
Bibtex entry  Paper (PDF)

A Type System for Energy-Aware-Progamming for Proceduaral Languages. Bachelor thesis, TU Hamburg, September 2018.
Bibtex entry  Paper (PDF)

Index


2017

Winnowing Algorithm for Program Code. Bachelor thesis, TU Hamburg, July 2017.
Bibtex entry  Paper (PDF)

Multric: Multiple Ranking Metrics Combined for Fault Localization. Projektarbeit, TU Hamburg, October 2017.
Bibtex entry  Paper (PDF)

Ein Algorithmus für einen universellen Klassifikator zur Software Prediction. Bachelor thesis, TU Hamburg, March 2017.
Bibtex entry

Goal-oriented Test-case Generation for iOS Mobile Applications. Master thesis, TU Hamburg, October 2017.
Bibtex entry  Paper (PDF)

Automated Power Consumption Automata Analysis. Projektarbeit, TU Hamburg, February 2017.
Bibtex entry  Paper (PDF)

Using Uppaal-SMC for Stochastic Modeling of Wireless Sensor Networks. Master thesis, TU Hamburg, September 2017.
Bibtex entry

An Underapproximating Reachability Analysis for Hyrid Automata. Master thesis, TU Hamburg, April 2017.
Bibtex entry  Paper (PDF)

Solving Floating-Point SAT by Optimizing a Represeting Function. Projektarbeit, TU Hamburg, July 2017.
Bibtex entry  Paper (PDF)

Automated Verification of Song's Protocol for Smart Cards using ProVerif. Projektarbeit, TU Hamburg, July 2017.
Bibtex entry  Paper (PDF)

Multiplication of BDD-Based Integer Sets for Abstract Interpretation of Executables. Bachelor thesis, TU Hamburg, March 2017.
Bibtex entry  Paper (PDF)

Swarm Testing using CSmith. Projektarbeit, TU Hamburg, February 2017.
Bibtex entry  Paper (PDF)

Feature Omission with C-Bounded Model Checking. Projektarbeit, TU Hamburg, February 2017.
Bibtex entry  Paper (PDF)

LTL model repair. Master thesis, TU Hamburg, November 2017.
Bibtex entry  Paper (PDF)

Implementation of Continuous Data Testing and an Application to a pharmaceutical Software. Bachelor thesis, TU Hamburg, June 2017.
Bibtex entry  Paper (PDF)

Implementing a Type System on Differential Privacy for Security Protocols. Bachelor thesis, TU Hamburg, August 2017.
Bibtex entry  Paper (PDF)

From UPPAAL to C: Code Generation and Semantic Model Constraints. Bachelor thesis, TU Hamburg, July 2017.
Bibtex entry  Paper (PDF)

Index


2016

Mutation Analysis: A Case Study in Python. Master thesis, TU Hamburg, April 2016.
Bibtex entry  Paper (PDF)

Code Generation for UML Activity Diagrams in Real-Time Systems. Master thesis, TU Hamburg, October 2016.
Bibtex entry  Paper (PDF)

Semantic-Driven Model Repair for BDD-based Model Checking in NuSMV. Master thesis, TU Hamburg, July 2016.
Bibtex entry  Paper (PDF)

Extracting and Using Power Channel Data for Automaton Inverence Using Sparse Alphabets. Bachelor thesis, TU Hamburg, June 2016.
Bibtex entry  Paper (PDF)

GUI Ripping of iOS Mobile Applications. Project work, TU Hamburg-Harburg, April 2016.
Bibtex entry  Paper (PDF)

Translation of Modelica Code into Hybrid Automata. Project work, TU Hamburg-Harburg, December 2016.
Bibtex entry  Paper (PDF)

Automatic Code Synthesis of UML/SysML State Machines for Applications. Bachelor thesis, TU Hamburg, August 2016.
Bibtex entry  Paper (PDF)

Automated C-Code Generation for SysML-based Architectures in the Context of Avionic Software. Bachelor thesis, TU Hamburg, August 2016.
Bibtex entry  Paper (PDF)

Valid Initial States for the Reachability Analysis of Differential-Algebraic Equations. Projektarbeit, TU Hamburg, August 2016.
Bibtex entry  Paper (PDF)

Combining Statistical and Online Model Checking based on UPPAAL and PRISM. Master thesis, TU Hamburg, October 2016.
Bibtex entry  Paper (PDF)

Online Model Checking with UPPAAL SMC. Projektarbeit, TU Hamburg, February 2016.
Bibtex entry  Paper (PDF)

Change- and Precision-sensitive Widening for BDD-based Integer Sets. Bachelor thesis, TU Hamburg, October 2016.
Bibtex entry  Paper (PDF)

A hybrid architecture for pathfinding in dynamic environments. Master thesis, TU Hamburg, November 2016.
Bibtex entry  Paper (PDF)

A Signedness-Agnostic Interval Domain with Congruences and an Implementation for Jakstab. Bachelor thesis, TU Hamburg, May 2016.
Bibtex entry  Paper (PDF)

A Line Based Approach for Bugspots. Bachelor thesis, TU Hamburg, October 2016.
Bibtex entry  Paper (PDF)

Automated Analysis of Natural Language Requirements using Boilerplates. Bachelor thesis, TU Hamburg, January 2016.
Bibtex entry  Paper (PDF)

Index


2015

CTL Model Repair with NuSMV. Projektarbeit, TU Hamburg-Harburg, October 2015.
Bibtex entry  Paper (PDF)

Increasing Accuracy at Generating Verified Sandboxes for Cyber-Physical Systems Using Reachability Computations. Master thesis, TU Hamburg-Harburg, February 2015.
Bibtex entry  Paper (PDF)

Evaluating Angluin's Algorithm for Learning Integrated Circuits. Projektarbeit, TU Hamburg-Harburg, January 2015.
Bibtex entry  Paper (PDF)

Teaching Angluin to Learn the Inner Workings of Integrated Circuits. Master thesis, TU Hamburg-Harburg, August 2015.
Bibtex entry  Paper (PDF)

Entwurf und Entwicklung eines Metamodells und graphischen Editors für Hybride Automaten. Bachelor thesis, TU Hamburg-Harburg, March 2015.
Bibtex entry  Paper (PDF)

Matching of Control- and Data-Flow Constructs in Disassembled Code. Bachelor thesis, TU Hamburg-Harburg, September 2015.
Bibtex entry  Paper (PDF)

An Interval-Based Abstract Domain for Jakstab Supporting up to k Arbitrary Disjunctions. Bachelor thesis, TU Hamburg-Harburg, October 2015.
Bibtex entry  Paper (PDF)

Applying Precision-Improving Rules to Reachability Computations for Hybrid Automata in HyCreate. Projektarbeit, TU Hamburg-Harburg, September 2015.
Bibtex entry  Paper (PDF)

Improvement and Evaluation of Jakstab's Interval Domain with a Focus on Bitwise Operations. Bachelor thesis, TU Hamburg-Harburg, September 2015.
Bibtex entry  Paper (PDF)

Semantic Preserving Transformations from ATLAS Testcase Descriptions to Teststand Sequences. Master thesis, TU Hamburg-Harburg, June 2015.
Bibtex entry  Paper (PDF)

Fallbasiertes Schließen in strategischen Spielentscheidungen auf der NAO Robotik Plattform. Bachelor thesis, TU Hamburg-Harburg, August 2015.
Bibtex entry  Paper (PDF)

Reimplementing Lintent: A Type Checker for Android Permission Configurations. Projektarbeit, TU Hamburg-Harburg, July 2015.
Bibtex entry  Paper (PDF)

Transformation of GRAFCET-Based Control Specifications Into an IEC 61131-3 Implementation. Master thesis, TU Hamburg-Harburg, July 2015.
Bibtex entry  Paper (PDF)

Investigating the Influence of Different Counting Conditions in Count Matrix Based Code Clone Detection. Bachelor thesis, TU Hamburg-Harburg, August 2015.
Bibtex entry  Paper (PDF)

Transformation of GRAFCET-Based Control Specifications Into an IEC 61131-3 Implementation. Master thesis, TU Hamburg-Harburg, July 2015.
Bibtex entry  Paper (PDF)

Static Data Flow Analysis for Vulnerable Permission Configurations of Android Applications. Projektarbeit, TU Hamburg-Harburg, January 2015.
Bibtex entry  Paper (PDF)

Repository Mining at Machine-Code Level. Master thesis, TU Hamburg-Harburg, June 2015.
Bibtex entry  Paper (PDF)

Index


2014

Flow-Insensitive Points-To Analyses for Frama-C Based on Tarjan's Disjoint-Sets. Bachelor thesis, TU Hamburg-Harburg, March 2014.
Bibtex entry  Paper (PDF)

Fast SAT-Count for Labelless Complementable BDDs in BDDStab. Bachelor thesis, TU Hamburg-Harburg, July 2014.
Bibtex entry  Paper (PDF)

Numerische Fehlerkorrektur und Programmflusskontrolle zur Behandlung von Soft Errors. Corrigendum, TU Hamburg-Harburg, August 2014.
Bibtex entry  Paper (PDF)

Numerische Fehlerkorrektur und Programmflusskontrolle zur Behandlung von Soft Errors. Bachelor thesis, TU Hamburg-Harburg, July 2014.
Bibtex entry  Paper (PDF)

Bidirectional Predicate Propagation in Frama-C and its Application to Warning Removal. Master thesis, TU Hamburg-Harburg, September 2014.
Bibtex entry  Paper (PDF)

A Frama-C Plug-In for Finding Equal-Valued Expressions Using Dataflow Analysis. Projektarbeit, TU Hamburg-Harburg, January 2014.
Bibtex entry  Paper (PDF)

Validierung des Schleifenerkennungsalgorithmus von Wei, Mao, Zou und Chen. Bachelorarbeit, TU Hamburg-Harburg, September 2014.
Bibtex entry  Paper (PDF)

Entwicklung eines universellen Visualisierungs- und Datenverwaltungstools für asynchrone Messwerte. Bachelorarbeit, TU Hamburg-Harburg, October 2014.
Bibtex entry  Paper (PDF)

Automated Generation of Unit Tests from UML Activity Diagrams using the AMPL Interface for Constraint Solvers. Master thesis, TU Hamburg-Harburg, January 2014.
Bibtex entry  Paper (PDF)

Burrows-Wheeler compression with modified sort orders and exceptions to the MTF phase, and their impact on the compression rate. Bachelor thesis, TU Hamburg-Harburg, September 2014.
Bibtex entry  Paper (PDF)

Burrows-Wheeler compression with modified sort orders and exceptions to the MTF phase, and their impact on the compression rate. Bachelor thesis, TU Hamburg-Harburg, September 2014.
Bibtex entry  Paper (PDF)

Test-Case Coverage Analysis of State-Based Automata for Fuel-Cell Systems in Commercial Aircraft. Bachelor thesis, TU Hamburg-Harburg, July 2014.
Bibtex entry  Paper (PDF)

A GUI for Real-time Visualization of On-line Model Checking with UPPAAL. Bachelor thesis, TU Hamburg-Harburg, July 2014.
Bibtex entry  Paper (PDF)

3D Modelling, Feature Extraction and Segmentation of Modern Warehouse Environments using Laserscanners. Master thesis, TU Hamburg-Harburg, September 2014.
Bibtex entry  Paper (PDF)

Intraprocedural Control Flow Visualization based on Regular Expressions. Bachelor thesis, TU Hamburg-Harburg, January 2014.
Bibtex entry  Paper (PDF)

Selecting Attributes for Automated Clustering of Disassembled Code from Embedded Systems. Bachelor thesis, TU Hamburg-Harburg, February 2014.
Bibtex entry  Paper (PDF)

Clone Detection For Reserve Engineering of Disassembled Code. Bachelor thesis, TU Hamburg-Harburg, July 2014.
Bibtex entry  Paper (PDF)

Index


2013

Grammar Transformations for Comparing Modelica Versions. Bachelor thesis, TU Hamburg-Harburg, July 2013.
Bibtex entry  Paper (PDF)

Bitfehlerinjektionen in Register auf der Basis von FITIn. Bachelor thesis, TU Hamburg-Harburg, June 2013.
Bibtex entry  Paper (PDF)

Anwendung von ASP auf Planungsprobleme. Studienarbeit, TU Hamburg-Harburg, November 2013.
Bibtex entry  Paper (PDF)

Reusable QVT patterns for state machine model transformations and their verification in VMTS. Project work, TU Hamburg-Harburg, September 2013.
Bibtex entry  Paper (PDF)

Model Checking of a Closed-Loop Medical Device System in UPPAAL. Projektarbeit, TU Hamburg-Harburg, February 2013.
Bibtex entry  Paper (PDF)

Online Checking of a Hybrid Laser Tracheotomy Model in UPPAAL-SMC. Master thesis, TU Hamburg-Harburg, December 2013.
Bibtex entry  Paper (PDF)

Automatic Case Analysis for Improving Path Sensitivity in Frama-C. Diplomarbeit, TU Hamburg-Harburg, March 2013.
Bibtex entry  Paper (PDF)

Static Single-Assignment for Program Slicing on Binary Intermediate Language. Bachelor thesis, TU Hamburg-Harburg, May 2013.
Bibtex entry  Paper (PDF)

Automatic Evolutionary GUI Testing Assisted by Static Analysis. Master thesis, TU Hamburg-Harburg, October 2013.
Bibtex entry  Paper (PDF)

A Valgrind-based Soft Error Injection Tool for SIHFT Evaluations. Master thesis, TU Hamburg-Harburg, March 2013.
Bibtex entry  Paper (PDF)

Evaluation of Standard Information retrieval system related to specific queries. Projektarbeit, TU Hamburg-Harburg, May 2013.
Bibtex entry  Paper (PDF)

Index


2012

Modelling and Verification of QoS properties of a Biomedical Wireless Sensor Network. Projektarbeit, TU Hamburg-Harburg, February 2012.
Bibtex entry  Paper (PDF)

Implementing a Multi-Target .NetCompiler for TouchDevelop. Diplomarbeit, TU Hamburg-Harburg, May 2012.
Bibtex entry  Paper (PDF)

Detection of Zeno Sets in Hybrid Systems to Validate Modelica Simulations. Bachelor thesis, TU Hamburg-Harburg, July 2012.
Bibtex entry  Paper (PDF)

Implementing Exhaustive Search for the Coil-in-the-box Problem using MPI. Project work, TU Hamburg-Harburg, June 2012.
Bibtex entry  Paper (PDF)

Boolean Analysis for Path-senvitive Interprocedural Analyses of Asynchronous Programs. Bachelor thesis, TU Hamburg-Harburg, September 2012.
Bibtex entry  Paper (PDF)

An interprocedural Points - To Analysis for Event-Driven Programs. Diplomarbeit, TU Hamburg-Harburg, January 2012.
Bibtex entry  Paper (PDF)

Reverse Engineering und Analyse eines auf RS-232 basierenden Protokolls zur Reimplementierung. Diplomarbeit, TU Hamburg-Harburg, July 2012.
Bibtex entry  Paper (PDF)

Das risikoorientierte und automatisierte Testen einer medizinischen Software mit Hilfe von Black-Box-Regressionstests. Diplomarbeit, TU Hamburg-Harburg, December 2012.
Bibtex entry  Paper (PDF)

User Event Tracking for Test Case Generation for Web Applications. Projektarbeit, TU Hamburg-Harburg, February 2012.
Bibtex entry  Paper (PDF)

Enhancing UPPAAL's Explanatory Power using Static Zeno Run Analysis. Diplomarbeit, TU Hamburg-Harburg, April 2012.
Bibtex entry  Paper (PDF)

Scalability Analysis of the Simulin Design Verifier on an Avionic System. Bachelor thesis, TU Hamburg-Harburg, August 2012.
Bibtex entry  Paper (PDF)

Investitgation of Sensor Networks using Algebraic Topology. Bachelor thesis, TU Hamburg-Harburg, November 2012.
Bibtex entry  Paper (PDF)

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)

Binary Analysis for Code Reconstruction of Control Software. Diplomarbeit, TU Hamburg-Harburg, October 2012.
Bibtex entry  Paper (PDF)

A Data Partitioning Algorithm for Sound Particle Radiosity. Bachelor thesis, TU Hamburg-Harburg, August 2012.
Bibtex entry  Paper (PDF)

Index


2011

Inferring Alias Contracts in VCC using Separation Analysis. Studienarbeit, TU Hamburg-Harburg, May 2011.
Bibtex entry  Paper (PDF)

Symbolic Execution of nesC Programs. Studienarbeit, TU Hamburg-Harburg, April 2011.
Bibtex entry  Paper (PDF)

An OBDD-based Representation of Sets of Integers for Frama-C. Studienarbeit, TU Hamburg-Harburg, April 2011.
Bibtex entry  Paper (PDF)

Entwicklung eines Datenloggers für Beatmungsdaten und Mutationsanalyse für Robustheitstests. Bachelorarbeit, TU Hamburg-Harburg, August 2011.
Bibtex entry  Paper (PDF)

Evaluation von Optimierungsalgorithmen zur Tourplanung im Hamburger Hafen. Diplomarbeit, TU Hamburg-Harburg, November 2011.
Bibtex entry  Paper (PDF)

Entwurf einer komponentenbasierten und sicheren Formularbeschreibungssprache für heterogene Ausgabemedien. Diplomarbeit, TU Hamburg-Harburg, February 2011.
Bibtex entry  Paper (PDF)

Performancetests für SQL Server 2008 bei der Verarbeitung räumlich-thematischer Daten. Bachelorarbeit, TU Hamburg-Harburg, November 2011.
Bibtex entry  Paper (PDF)

Index


2010

Performance comparison of heuristic algorithms in routing optimization of sequencing traversing cars in a warehouse. Bachelor thesis, TU Hamburg-Harburg, April 2010.
Bibtex entry  Paper (PDF)

Dynamic Invariant Detection for Sensor Network Applications. Projektarbeit, TU Hamburg-Harburg, December 2010.
Bibtex entry  Paper (PDF)

Trafotest - A robust and fault-tolerant control software for transformer test stands. Bachelor thesis, TU Hamburg-Harburg, March 2010.
Bibtex entry  Paper (PDF)

Evaluation von Optimierungsmaßnahmen bezüglich des Datencaches anhand von einfachen Algorithmen aus der Bildverarbeitung. Bachelor thesis, TU Hamburg-Harburg, July 2010.
Bibtex entry  Paper (PDF)

Erkennung von Quellkodeduplikaten in WSN-Routingprotokollen mittels Klondetektoren. Bachelor thesis, TU Hamburg-Harburg, August 2010.
Bibtex entry  Paper (PDF)

Inter-Context Control-Flow Graph for NesC, with Improved Split-Phase Handling. Studienarbeit, TU Hamburg-Harburg, July 2010.
Bibtex entry  Paper (PDF)

Index


2009

Evaluation einer agentenbasierten Modellierung für ein AIS-Überwachungssystem mit optimierter Festmacheinsatzplanung. Diplomarbeit, TU Hamburg-Harburg, November 2009.
Bibtex entry  Paper (PDF)

Conceptual-to-Oject Schema Mapping. Studienarbeit, TU Hamburg-Harburg, July 2009.
Bibtex entry  Paper (PDF)

Program Transformation in Scala. Master thesis, TU Hamburg-Harburg, October 2009.
Bibtex entry  

Language-Integrated Queries in Scala. Master thesis, TU Hamburg-Harburg, December 2009.
Bibtex entry  Paper (PDF)

Index