|
Home « Lehre « Abschlussarbeiten
Liebe Interessentinnen
und liebe Interessenten,
in unserer Arbeitsgruppe hat es sich bewährt, dass Themen für Bachelor- und Masterarbeiten 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.
Mögliche Themengebiete sind unter anderem:
- Entwurfsmethodik für Quantencomputer
- Formale Verifikation von Prozessoren
- Approximative Berechnung in arithmetischen Schaltungen
- Testmustergenerierung für integrierte Schaltungen
- Einsatz neuronaler Netze im Schaltkreisentwurf
- ...
Um einen Überblick über die Bandbreite der möglichen Themen zu geben, findet sich auf dieser Seite eine Übersicht über bereits abgeschlossene Abschlussarbeiten.
|
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.
|
|
