Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

 

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