All | Bachelor | Master | Diploma |
2024 |
|
|
|
2023 |
|
|
|
2022 |
|
|
|
2021 |
|
|
|
2020 |
|
|
|
2019 |
|
|
|
2018 |
|
|
|
2017 |
|
|
|
2016 |
|
|
|
2015 |
|
|
|
2014 |
|
|
|
2013 |
|
|
|
2012 |
|
|
|
2011 | |||
2010 | |||
2009 | |||
2008 | |||
2007 | |||
2006 | |||
2005 |
Name | Topic | Degree |
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 |