Name | Topic | Abschluss |
Bastian Blachetta | SystemC-Synthese aus SysML-Modellen | Master |
Pavel Dimitrov | Autonomous Track Control Systems for Trains | Diplom |
Vladimir Herdt | Nachweis von Zusicherungen für SystemC Modelle mithilfe symbolischer Simulation | Bachelor |
Christoph Hilken | Verifikation dynamischer Aspekte in SysML Modellen | Master |
Sebastian Huhn | Entwurf eines generischen multifunktionalen 868 MHz Funkempfängermoduls auf Basis eines Mikrocontrollers | Bachelor |
Eugen Kuksa | Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen Beschreibungen | Bachelor |
Christian Otterstedt | Optimierung von Quantenschaltkreisen mit Hilfe von Multiple Target Toffoli Gattern | Master |
Eleonora Schönborn | Optimierung der Synthese von reversiblen Schaltkreisen mit Hardwarebeschreibungssprachen | Diplom |
Wanja Schöpfer | Modellbasiertes Hardware-Software Codesign für eine Therapiefunktion in einem Intensivbeatmungsgerät | Master |
Julia Seiter | Property Checking of Quantum Circuits | Diplom |
Clemens Werther | Eine Multiprozessorarchitektur mit Kommunikation über Nachrichtenaustausch | Bachelor |
Fereshta Yazdani | Einbettung reversibler Logik in SystemC | Diplom |