You are here: Home Teaching Student Projects and … Available

Available

Selection of proposals for student projects ("Projekt" for Bachelor, "Praktikum" and "Team-Projekt" for Master) and thesis topics (Bachelor and Master). Please do not hesitate to contact us if you are interested in a project or thesis at the Chair of Software Engineering. If you have your own idea for a project or a thesis topic: Let's talk about it!
[Varies] Component-Watchdog on SPI
Develop and implement a procedure to detect failures of components on an SPI bus
[Varies] Verification of Concurrent Programs
We analyze an approach for the verification of concurrent programs an implement this approach in our software model checker ULTIMATE.
[Varies] Driver Verification Concept for Embedded Platforms
Development of concepts and adaption of verification tools to provide formal verification of device drivers for a particular embedded platform.
[Varies] Predicates and Prejudice - Proving Correctness of Programs
If a program is correct, how can we prove it? How can teach a machine to do the proof? In this project we will examine small programs, prove their correctness manually and develop methods to prove the correctness of similar programs automatically.
[M.Sc. Teamproject] Case Study: Verified USB Driver
Development of USB drivers for seamless connection of particular embedded devices to Windows PCs. On the PC side, the driver shall pass the WHQL quality criteria.
[Varies] Automata Theory and Program Analysis Topics Related to the Ultimate Tool
Several topics that are listed at a different website. These topics range from purely theoretical projects to software development projects.