Name | Topic |
Arman Allahyari-Abhari | Exakte Synthese minimaler NCV-|v1>-Quantenschaltkreise |
Andrej Fast | Verbesserung der Fehlertoleranz von ANSI-C Programmen durch Simulation und genetische Algorithmen |
Tobias Koehler | Vergleich von formalen Methoden zur Fehlerlokalisierung in Software |
Nils Przigoda | Algorithmen von Quantencomputern und Anwendung von Boolescher Erfüllbarkeit im Entwurf |
Abirami Puvanendran | Testgetriebener Systementwurf auf Basis von SysML Modellen |
Matthias Schilmann | Optimierung von Tiefenkosten auf reversibler Ebene |
Kenneth Schmitz | Simultane Testmustergenerierung für Mehrfach Einzelfehler mittels Pseudo-Boolescher Optimierung zur Erzeugung kompakter Testmengen |
Karl Trzebiatowski | Automatisierung eines Zuweisungssystems für die Lehramtausbildung |
Aljoscha Windhorst | Entwurf und Implementierung eines C-Beweisers für die funktionale Abdeckungsanalyse |
Mathäus Wojt | Fehlerdiagnose reversibler Schaltungen unter Ausnutzung von Verfahren für den Online Test |