Open Topics for Theses

This page contains a list of currently avalibale thesis topics at our chair. This topics can apply for undergraduated student topics (e.g. FIN-SMK, programming projects, et.c) and for bachelor and master's theses.

If you do not find a fitting topic, but have a strong interest in doing you thesis at our chair, do not hesitate to contact Prof. Ortmeier via our secretary Fr. Rulf (kronelia.rulf(at)ovgu.de).

Automated Test Model Generation and Evaluation for Model Transformation Verification in Simulink-Based Systems Development

This thesis tackles the challenge of verifying semantic consistency in Simulink model transformations. It proposes an automated method for test model generation, reducing errors and saving time in complex system design