Thomas Vogel

Projects

As Principal Investigator

FLASH II: Controlling Search-Based Test Case Generation and Program Repair

Dynamically controlling search processes to improve automated test case generation and program repair using control and self-adaptation principles (funded by DFG, project website).

S3: Self-Adaptive Search for Sapienz

Transferring self-adaptation principles to the search process of Sapienz, a search-based test suite generation tool for mobile applications (funded by the 2018 Facebook Testing and Verification Research Award, project website).

As Research Assistant

FONDA – Foundations of Workflows for Large-Scale Scientific Data Analysis

As part of the DFG Collaborative Research Center 1404 “FONDA – Foundations of Workflows for Large-Scale Scientific Data Analysis”, I contribute to two subprojects:

  • Deriving Trust Levels for Multi-Choice Data Analysis Workflows: The goal of this subproject is to improve the dependability of data analysis workflows in computational materials science by sampling configurations of such workflows and testing based on the NOMAD repository.
  • Distributed Run-Time Monitoring and Control of Data Analysis Workflows: The goal of this subproject is to improve the dependability of data analysis workflows by monitoring and controlling such workflows at run-time.

FLASH: Fitness landscape analysis to improve search-based software engineering

Analyzing and understanding the search space and search methods for software engineering problems to improve state-of-the-art search heuristics to solve these problems (funded by DFG, project website).

Specification and Verification of Requirements and Safety Contracts

Developing a domain-specific language for specifying and verifying requirements and safety contracts in the automotive industry, and techniques for explaining counter examples of the verification process (in cooperation with BOSCH Research).

Safe.Spec: Quality Assurance for Requirements Specifications

Developing a user-friendly, model-driven approach to specify, compose, and verify scenario-based requirements. This includes the pattern-based specification of scenarios using sequence diagrams, composing scenarios to automaton-based specifications, and integrating natural language-based property specification patterns with UPPAAL. (in cooperation with TWT GmbH, funded by BMBF, project website).

Ph.D. Projects

EUREMA: Executable Runtime Megamodels

A model-driven engineering approach to specify, execute, adapt, and evolve feedback loops in self-adaptive software systems (project website).

MORISIA: Models at Runtime for Self-Adaptive Software

Researching runtime models for feedback loops in self-adaptive software systems to realize self-awareness and self-adaptation (project website).

mRUBiS: modular Rice University Bidding System

An exemplar for model-based architectural self-healing and self-optimization of an information system. See paper and artifact at GitHub.

Impressum/Datenschutz