Name | Topic |
Maximilian Eschert | Die Verifikation eines SystemC TLM Interrupt Controller für RISC-V basierend auf Fuzzing |
Mahmoud Fakhouri | Maschinelles Lernen von Umgebungsmodellen für die formale Verifikation von Roboterplänen |
Leon Klimasch | Betriebszustandserkennung von Geräten durch Auswertung von Beschleunigungssensordaten |
Paul Amos Kreiner | Predictive Maintenance nichttechnischer Systeme auf Basis subjektiver Zustandseinschätzungen am Beispiel der Fahrzeugreinigung im Carsharing |
Tom Schierenbeck | Entwicklung einer ROS-basierten Sonde zur Erkennung von Fischarten mit neuronalen Netzen |
Till Schlechtweg | Gate-level Placement für Field-coupled Nanocomputing unter Berücksichtigung von Clocking Constraints |
Martha Schnieber | SMT-based Analysis of Binarized Neural Networks |
Jan Frederick Walther | esQUEape: Advanced binary bi-emulation to bridge the instruction screening performance gap |