
|
Home « Lehre « Abschlussarbeiten
 |
Liebe Interessentinnen und liebe Interessenten,
in unserer Arbeitsgruppe hat es sich bewährt, dass Bachelor-, Master- und Diplomarbeitsthemen
in einem Gespräch erarbeitet werden.
Feste Themen geben wir für gewöhnlich nicht vor
und bieten daher an, sich persönlich, telefonisch oder per Email
zu melden.
Mit freundlichen Grüßen
Prof. Dr. Rolf Drechsler
|
Wählen Sie nun aus, welche Arbeiten Sie einsehen möchten:
Diplom 2013
Name | Thema |
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 |
|
Im Bereich ' Team', bzw. ' Alumni' können Sie
einsehen, wer von den Absolventen im Anschluss weiter in der Gruppe geblieben ist, bzw. bereits den Doktortitel erlangt hat.
|
|