Fertiggestellte Abschlussarbeiten am Lehrstuhl
Dissertationen Masterarbeiten Diplomarbeiten Bachelorarbeiten Studienarbeiten
Dissertationen
- Über OBDDs und ihre Anwendung in der Testbarkeitsanalyse
Student: Rolf Krieger Datum: Januar 1994 - Datenstrukturen und Algorithmen zu Testzwecken
Student: Ralf Hahn Datum: Januar 1994 - Ordered Kronecker Functional Decision Diagrams und ihre Anwendung
Student: Rolf Drechsler Datum: Januar 1995 - Über die Anwendung Evolutionärer Algorithmen im Schaltkreisentwurf
Student: Nicole Drechsler Datum: Januar 2000 - EXOR-basierte Logiksynthese mit Kronecker Functional Diagrams
Student: Harry Hengster Datum: Januar 2001 - Minimierung von Entscheidungsdiagrammen und Anwendungen im Schaltkreisentwurf
Student: Wolfgang Günther Datum: Januar 2001 - Binary Expression Diagrams
Student: Andreas Hett Datum: Januar 2002 - Symbolic Methods for Testing Digital Circuits
Student: Martin Keim Datum: Januar 2003 - Exakte Verdrahtung mit symbolischen Methoden
Student: Frank Schmiedle Datum: Januar 2003 - On Non-standard Fault Models for Logic Digital Circuits: Simulation, Design for Testability, Industrial Applications
Student: Ilia Polian Datum: Januar 2003 - SAT-Algorithmen und Systemaspekte: vom Mikroprozessor zum parallelen System [ PDF ]
Student: Tobias Schubert Datum: Januar 2008 - SAT-based Verication – From Core Algorithms to Novel Application Domains
Student: Marc Herbstritt Datum: Januar 2008 - Visualisierung im Schaltkreisentwurf
Student: Thomas Eschbach Datum: Juni 2008 - Resistive Bridging Faults
Student: Piet Engelke Datum: Januar 2009 - Automatenbasierte Entscheidungsverfahren für Theorien der Logik der erste Stufe mit Addition
Student: Jochen Eisinger Datum: Januar 2009 - SAT, QBF, and Multicore Processors
Student: Matthew Lewis Datum: Januar 2010 - Interconnect Reliability and Test
Student: Stefan Hillebrecht Datum: Januar 2010 - Symbolische Methoden für die probabilistische Verifikation — Zustandsraumreduktion und Gegenbeispiele
Student: Ralf Wimmer Datum: Januar 2011 - Efficiency and Applications of SAT-Based Test Pattern Generation — Complex fault models and optimisation problems [ PDF ]
Student: Alexander Czutro Datum: August 2013
Masterarbeiten
- Unterstützung von mehreren Zeitrahmen in der SAT-basierten Testmustergenerierung
Student: Matthias Sauer Datum: Juni 2010 Betreuer: Czutro
Diplomarbeiten
- Komplexitätsüberlegungen bei wordlevel decision diagrams
Student: Thomas Weis Datum: Juni 1998 - Minimierung von Ordered Binary Decision Diagrams
Student: Wolfgang Günther Datum: August 1998 - Konfiguration eines Multiprozessorsystems und Integration von genetischen Algorithmen [ PDF ]
Student: Tobias Schubert Datum: Dezember 1999 Betreuer: Mackensen Drechsler - AND/EXOR Minimierung von symmetrischen Funktionen
Student: Timo Lakner Datum: Dezember 1999 - Built-In Self Test für kombinatorische Schaltkreise und das Path-Delay Fehlermodell
Student: Ilia Polian Datum: August 1999 Betreuer: Keim - Inbetriebnahme eines Microcontroller-Systems mit ISA-Schnittstelle, Zugriff auf Hardware unter Windows und Entwicklung einer Arbeitsumgebung
Student: Mark Jonas Datum: Januar 2000 - Verifikation von Dividierern mit Word-Level-Diagrams
Student: Achim Dominik Brucker Datum: Mai 2000 - Speicherplatzreduktion mittels DC-Minimierung bei der kombinatorischen Verifikation
Student: Noe Spinner Datum: Juli 2000 - Partitionierung von Netzlisten
Student: Thomas Eschbach Datum: November 2001 - Entwurf und Realisierung mit FPGAs am Beispiel eines Mikroprozessors
Student: Christian Faller Datum: Dezember 2001 - Bridging Faults - Fehler- und Simulationsmodelle
Student: Piet Engelke Datum: Oktober 2002 Betreuer: Polian - Logiksynthese auf der Grundlage von Kronecker-Entscheidungsdiagrammen
Student: Asmir Hadzidedic Datum: November 2002 - Ein parametrisierter GUI-Generator für Anwendungen im Schaltkreisentwurf
Student: Jochen Römmler Datum: Mai 2002 - Formale Verifikation von SystemC-Beschreibungen
Student: Daniel Große Datum: August 2002 - Entwicklung Logik-basierter Verdrahtungsstrategien
Student: Stephan Kiefer Datum: Januar 2004 - Ganzzahlige Lineare Optimierung und Separierung mit binären Entscheidungsdiagrammen [ PDF ]
Student: Ralf Wimmer Datum: November 2004 - Fehlerdiagnose für kombinatorische Schaltungen
Student: Matthias Büche Datum: März 2004 - Visualisieren von Schaltkreisen
Student: Andre Markert Datum: Juni 2004 - SAT basierte Black-Box Verifikation
Student: Stefan Disch Datum: August 2004 - Strukturelles Lernen beim Bounded Model Checking unter Verwendung von AND-INVERTER-Graphen
Student: Thomas Kmieciak Datum: November 2005 Betreuer: Herbstritt - Testmethoden für reversible Schaltkreise
Student: Thomas Fiehn Datum: Juni 2005 Betreuer: Polian - Deciding First-Order Logic with Real and Integer Addition: An Automata-Based Approach
Student: Jochen Eisinger Datum: Juli 2005 - And-Inverter-Graphen und deren Anwendung in der Verifikation
Student: Florian Pigorsch Datum: Juli 2005 - Charakterisierung von Ausfallmechanismen Silizium-basierter Mikrosysteme
Student: Stefan Spinner Datum: August 2005 Betreuer: Polian - Suchen in Presentation-Recordings am Beispiel der Technischen Informatik
Student: Martina Welte Datum: September 2005 - Kompositionalität und Bounded Model Checking
Student: Natalija Kalinnik Datum: Oktober 2006 Betreuer: Ábrahám Wimmer - Verwendung der Craigschen Interpolanten in der Modellprüfung
Student: Stefan Kupferschmid Datum: Oktober 2006 Betreuer: Ábrahám - Symbolische Berechnung von Bisimulationen
Student: Kelley Strampp Datum: Mai 2006 Betreuer: Wimmer - Untersuchungen von akzeptablen Fehlern in einem JPEG-Kompressor
Student: Damian Nowroth Datum: Oktober 2007 Betreuer: Polian - Simulation of Dynamic Effects of Resistive Open Defects [ PDF ]
Student: Alejandro Czutro Datum: April 2007 Betreuer: Polian - Bounded Model Checking auf stochastischen Systemen [ PDF ]
Student: Bettina Braitling Datum: November 2008 Betreuer: Wimmer - Entwicklung einer graphischen Oberfläche zur Umsetzung des Konzepts der Wettbewerbsparallelität bei SAT-Algorithmen
Student: Bernhard Zimmermann Datum: Dezember 2008 Betreuer: Schubert - Bounded Model Checking auf stochastischen Systemen
Student: Alexander Kortus Datum: Februar 2008 Betreuer: Wimmer - Model-Checking für stochastische Systeme mit Black-Boxes
Student: Eric Nyaben Datum: März 2008 Betreuer: Wimmer - Simulating Open-Via Defects Using Layout Information
Student: Jie Jiang Datum: März 2008 Betreuer: Polian - Syntaktische und Semantische Behandlung von Quantoren als Vorverarbeitungsschritt einer automaten-basierten Entscheidungsprozedur für lineare Arithmetik
Student: Ben Kremer Datum: Juli 2008 - Entwicklung einer FPGA-Platine zur Ansteuerung eines Roboters mittels eines Softcore-Prozessors
Student: Julian Eichstädt Datum: August 2008 Betreuer: Lewis Schubert - ftc: floating precision texture compression
Student: Philipp-Klaus Krause Datum: Januar 2009 Betreuer: Polian - Analyse, Visualisierung und Optimierung von SAT-Solvern am Beispiel von MiraXT
Student: Jan Markstahler Datum: Januar 2009 Betreuer: Schubert - Design und Implementation einer inkrementellen Variante des parallelen SAT-Algorithmus MiraXT
Student: Markus Kocum Datum: Januar 2009 Betreuer: Schubert - RFID-Kommunikation und Sensor-Schnittstellen für einen Altera Nios II Softcore basierten Roboter
Student: Radi Hadzhiyski Datum: März 2009 Betreuer: Lewis - Verkehrsflussmodellierung mit iSAT
Student: Dimitris Kiriakidis Datum: Januar 2010 Betreuer: Schubert - Bounded Model Checking für unvollständige Netzwerke von Zeitautomaten [ PDF ]
Student: Karina Gitina Datum: Oktober 2010 Betreuer: Miller - Simulation von Leiterbahnunterbrechungen in sequentiellen Schaltkreisen
Student: Vahid Ljesnjanin Datum: Oktober 2010 - Development and Analysis of Decision Heuristics for an Interval Constraint Solver Handling Non-linear Arithmetic [ PDF ]
Student: Linus Feiten Datum: April 2010 - Emulation von transienten Fehlern in sequentiellen Schaltungen
Student: Shanshan Yang Datum: Juli 2010
Bachelorarbeiten
- PaMiraXT - Ein hierarchischer paralleler SAT-Algorithmus
Student: Christoph Birkenbihl Datum: September 2006 Betreuer: Schubert - Umsetzung eines SAT/LP-Algorithmus auf moderne SAT- und LP-Solver
Student: Johannes Traub Datum: März 2007 Betreuer: Herbstritt - Entwicklung und Erprobung eines USB Profils für Sick-Geräte mit der internen Kommunikationsschnittstelle NAPI
Student: Nils Langner Datum: April 2007 - Schaltkreis- und SAT-Solver-Visualisierung
Student: Markus Fuchs Datum: Juni 2007 Betreuer: Wimmer Eschbach - Entwicklung von Versuchsaufgaben, Musterlösungen und Dokumentation für das Hardware-Praktikum 2007 mit Schwerpunkt Sensorik
Student: Dennis Wehrle Datum: Juli 2007 Betreuer: Schubert - Entwicklung von Versuchsaufgaben, Musterlösungen und Dokumentation für das Hardware-Praktikum 2007 mit Schwerpunkt Robotik
Student: Holger Bertsch Datum: Juli 2007 Betreuer: Schubert - Minimierung von Gegenbeispielen beim Bounded Model Checking von Blackbox-Designs durch 01X-Brute-Force-Lifting
Student: Vanessa Struve Datum: September 2007 Betreuer: Herbstritt - Kommunikationsmodelle für den ProBot
Student: Philipp Wollermann Datum: Mai 2008 Betreuer: Schubert - Strong Satisfaction
Student: Nadine Keddis Datum: September 2008 Betreuer: Kalinnik - Blackbox Bounded Model Checking mit SAT und BDDs
Student: Juri Lichtner Datum: September 2008 Betreuer: Miller Nopper - Entwicklung einer automatischen Testumgebung für iSAT
Student: Jennifer Modes Datum: Januar 2009 Betreuer: Schubert - Implementierung und Robustheitsanalyse von partikelfilterbasierter Zustandsschätzung für eingebettete Systeme
Student: Daniel Frey Datum: April 2009 Betreuer: Polian - Implementierung und Robustheitsanalyse von kalmanfilterbasierter Zustandsschätzung für eingebettete Systeme
Student: Andreas Spilla Datum: April 2009 Betreuer: Polian - Entwicklung und Implementierung eines MIPS-kompatiblen Prozessors in VHDL
Student: Andreas Riefert Datum: August 2009 Betreuer: Lewis - Tanzende Roboter – Verarbeitung von Audio-Signalen in einer Hardware-Umgebung mit limitierten Ressourcen
Student: Dominik Erb Datum: September 2009 Betreuer: Schubert Lewis - Parallelisierung von SAT durch dynamische Lastenverteilung
Student: Christian Maier Datum: August 2010 - k-Induktion am Beispiel des Intervall-Constraint-Solvers iSAT [ PDF ]
Student: Leonore Winterer Datum: Dezember 2012 Betreuer: Kupferschmid
Studienarbeiten
- Eine Partialreset-Heuristik für beliebige sequentielle Schaltkreise unter Minimierung der Anzahl der angeschlossenen Flipflops
Student: Ilia Polian Datum: 1996 Betreuer: Keim - A Parameterizable Fault Simulator for Bridging Faults
Student: Piet Engelke Datum: 2001 Betreuer: Keim - Bestimmung von n-fachen Fehlerentdeckungssequenzen für synchrone sequentialle Schaltkreise auf der Basis des stuck-at-Fehlermodells
Student: Nicolai Mallig Datum: 2001 Betreuer: Polian - Test und Einbindung der Switch-Matrix in das Multiprozessorsystem
Student: Thomas Albrecht Datum: 2001 Betreuer: Schubert - LogiX - Hardware-Interface für den PC
Student: Jan Kuypers Datum: 2001 Betreuer: Schubert - High-Level Operatoren für Word-Level Decision Diagrams
Student: Kelley Strampp Datum: 2002 Betreuer: Herbstritt - BLIFviz: Ein Java-Paket zur Visualierung kombinatorischer und sequentieller Schaltkreise
Student: Christine Merkel Datum: 2003 Betreuer: Herbstritt - Binäre lineare Optimierung mit K*BMDs [ PDF ]
Student: Ralf Wimmer Datum: 2003 Betreuer: Herbstritt - MPI-SAT - Ein paralleler SAT-Solver
Student: Mario Emmenlauer Datum: 2003 Betreuer: Schubert - Das PICee++-System
Student: Heiko Falk Datum: 2003 Betreuer: Schubert - Konstruktion und Inbetriebnahme eines experimentellen Aufbaus zur Bestimmung von Ausfallmechanismen in CMOS-basierten Mikrosystemen
Student: Stefan Spinner Datum: 2004 Betreuer: Polian - Funktionale Dekomposition anhand von Schaltkreisausgängen bei der Logikverifikation - Eine Fallstudie
Student: Thomas Kmieciak Datum: November 2004 Betreuer: Herbstritt - Metriken für akzeptables Verhalten in der Bildverarbeitung
Student: Damian Nowroth Datum: 2006 Betreuer: Polian - Automatic Test Pattern Generation for Power Droop Testing [ PDF ]
Student: Alejandro Czutro Datum: Februar 2006 Betreuer: Polian - xGen - ein Portal zur Generierung von Übungsblättern
Student: Christoph Löffler Datum: März 2006 Betreuer: Wimmer Nopper Herbstritt - Realistic Short Defects and Their Impacts on Bridging Fault Test Methodologies
Student: Jie Jiang Datum: September 2006 Betreuer: Engelke - Evaluierung unterschiedlicher SAT-Solver und SAT-Instanzen hinsichtlich des Verhaltens des dynamischen Klauseln-zu-Variablen-Verhältnisses
Student: Eric Nyaben Datum: 2007 Betreuer: Herbstritt - Modellierung realer Zugfahrpläne und formale Analyse durch Modellprüfung
Student: Larissa Wissmann Datum: 2007 Betreuer: Herbstritt - Bit-parallele Simulation von resistiven Brückenfehlern [ PDF ]
Student: Bettina Braitling Datum: 2007 Betreuer: Engelke - Probabilistisches Model-Checking mit exakter Arithmetik
Student: Alexander Kortus Datum: Februar 2007 Betreuer: Wimmer - FPGA Based Web/Game Server - Utilizing the Nios II Soft Processor and MicroC/OS-II Real Time OS
Student: Julian Eichstädt Datum: September 2007 Betreuer: Lewis - FPGA Based QVGA LCD Controller
Student: Radi Hadzhiyski Datum: 2008 Betreuer: Lewis - Parallelisation in SAT Preprocessing [ PDF ]
Student: Linus Feiten Datum: 2008 Betreuer: Schubert - Soft Error Emulation
Student: Shanshan Yang Datum: 2009 Betreuer: Polian - Bounded Model Checking für unvollständige Designs unter Verwendung von QBF-Codierung [ PDF ]
Student: Karina Gitina Datum: Januar 2010 Betreuer: Miller