Name | Topic | Abschluss |
Fabian Lukas Blanken | Fail-Operational-System für semiautonome zivile Multicopter-Drohnen | Bachelor |
Caroline Dominik | Bestimmung polynomieller Schranken für die formale Verifikation symmetrischer Schaltungen | Bachelor |
Marcel Franzen | Implementierung einer automatischen Transformierung multilingualer Spracheingaben in Datenbankabfragen | Bachelor |
Milan Funck | Design, Implementierung und Evaluierung einer RISC-V Prozessorerweiterung auf VP Ebene | Master |
Jan Hensel | RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype | Bachelor |
Philipp Johag | RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype | Bachelor |
Gregor Kuhn | Design Understanding für Quantum-dot Cellular Automata Layouts | Bachelor |
Vinh Kien Luc | Autoencoder for dimension reduction of data in empirical asset pricing model | Bachelor |
Marcel Merten | Entwicklung eines Hardware-basierten Evolutionären Algorithmus unter Verwendung von Mehrzieloptimierung zur Robustheitssteigerung sequentieller Schaltkreise | Master |
Luca Müller | Co-Simulation-Based Verification of a Register-Transfer Level RISC-V Implementation in Reference to a Virtual Prototype | Bachelor |
Martha Schnieber | Polynomial Formal Verification of Approximate Functions | Master |
Daniel Staack | Fehlerfindung in robotischen Plänen mittels Fuzzing | Bachelor |