Uni-Logo
Deutsch      
Computer Architecture - Team Bernd Becker
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

 

Degree dissertations

PhD      Master      Diploma      Bachelor      “Studienarbeit”

PhD

  • Über OBDDs und ihre Anwendung in der Testbarkeitsanalyse
    student:Rolf Krieger
    date:January 1994
  • Datenstrukturen und Algorithmen zu Testzwecken
    student:Ralf Hahn
    date:January 1994
  • Ordered Kronecker Functional Decision Diagrams und ihre Anwendung
    student:Rolf Drechsler
    date:January 1995
  • Über die Anwendung Evolutionärer Algorithmen im Schaltkreisentwurf
    student:Nicole Drechsler
    date:January 2000
  • EXOR-basierte Logiksynthese mit Kronecker Functional Diagrams
    student:Harry Hengster
    date:January 2001
  • Minimierung von Entscheidungsdiagrammen und Anwendungen im Schaltkreisentwurf
    student:Wolfgang Günther
    date:January 2001
  • Binary Expression Diagrams
    student:Andreas Hett
    date:January 2002
  • Symbolic Methods for Testing Digital Circuits
    student:Martin Keim
    date:January 2003
  • Exakte Verdrahtung mit symbolischen Methoden
    student:Frank Schmiedle
    date:January 2003
  • On Non-standard Fault Models for Logic Digital Circuits: Simulation, Design for Testability, Industrial Applications
    student:Ilia Polian
    date:January 2003
  • SAT-Algorithmen und Systemaspekte: vom Mikroprozessor zum parallelen System   [ PDF ]
    student:Tobias Schubert
    date:January 2008
  • SAT-based Verication – From Core Algorithms to Novel Application Domains
    student:Marc Herbstritt
    date:January 2008
  • Visualisierung im Schaltkreisentwurf
    student:Thomas Eschbach
    date:June 2008
  • Resistive Bridging Faults
    student:Piet Engelke
    date:January 2009
  • Automatenbasierte Entscheidungsverfahren für Theorien der Logik der erste Stufe mit Addition
    student:Jochen Eisinger
    date:January 2009
  • SAT, QBF, and Multicore Processors
    student:Matthew Lewis
    date:January 2010
  • Interconnect Reliability and Test
    student:Stefan Hillebrecht
    date:January 2010
  • Symbolische Methoden für die probabilistische Verifikation — Zustandsraumreduktion und Gegenbeispiele
    student:Ralf Wimmer
    date:January 2011
  • Efficiency and Applications of SAT-Based Test Pattern Generation — Complex fault models and optimisation problems   [ PDF ]
    student:Alexander Czutro
    date:August 2013

Master

  • Unterstützung von mehreren Zeitrahmen in der SAT-basierten Testmustergenerierung
    student:Matthias Sauer
    date:June 2010
    adviser(s):Czutro

Diploma

  • Komplexitätsüberlegungen bei wordlevel decision diagrams
    student:Thomas Weis
    date:June 1998
  • Minimierung von Ordered Binary Decision Diagrams
    student:Wolfgang Günther
    date:August 1998
  • Konfiguration eines Multiprozessorsystems und Integration von genetischen Algorithmen   [ PDF ]
    student:Tobias Schubert
    date:December 1999
    adviser(s):Mackensen
    Drechsler
  • AND/EXOR Minimierung von symmetrischen Funktionen
    student:Timo Lakner
    date:December 1999
  • Built-In Self Test für kombinatorische Schaltkreise und das Path-Delay Fehlermodell
    student:Ilia Polian
    date:August 1999
    adviser(s):Keim
  • Inbetriebnahme eines Microcontroller-Systems mit ISA-Schnittstelle, Zugriff auf Hardware unter Windows und Entwicklung einer Arbeitsumgebung
    student:Mark Jonas
    date:January 2000
  • Verifikation von Dividierern mit Word-Level-Diagrams
    student:Achim Dominik Brucker
    date:May 2000
  • Speicherplatzreduktion mittels DC-Minimierung bei der kombinatorischen Verifikation
    student:Noe Spinner
    date:July 2000
  • Partitionierung von Netzlisten
    student:Thomas Eschbach
    date:November 2001
  • Entwurf und Realisierung mit FPGAs am Beispiel eines Mikroprozessors
    student:Christian Faller
    date:December 2001
  • Bridging Faults - Fehler- und Simulationsmodelle
    student:Piet Engelke
    date:October 2002
    adviser(s):Polian
  • Logiksynthese auf der Grundlage von Kronecker-Entscheidungsdiagrammen
    student:Asmir Hadzidedic
    date:November 2002
  • Ein parametrisierter GUI-Generator für Anwendungen im Schaltkreisentwurf
    student:Jochen Römmler
    date:May 2002
  • Formale Verifikation von SystemC-Beschreibungen
    student:Daniel Große
    date:August 2002
  • Entwicklung Logik-basierter Verdrahtungsstrategien
    student:Stephan Kiefer
    date:January 2004
  • Ganzzahlige Lineare Optimierung und Separierung mit binären Entscheidungsdiagrammen   [ PDF ]
    student:Ralf Wimmer
    date:November 2004
  • Fehlerdiagnose für kombinatorische Schaltungen
    student:Matthias Büche
    date:March 2004
  • Visualisieren von Schaltkreisen
    student:Andre Markert
    date:June 2004
  • SAT basierte Black-Box Verifikation
    student:Stefan Disch
    date:August 2004
  • Strukturelles Lernen beim Bounded Model Checking unter Verwendung von AND-INVERTER-Graphen
    student:Thomas Kmieciak
    date:November 2005
    adviser(s):Herbstritt
  • Testmethoden für reversible Schaltkreise
    student:Thomas Fiehn
    date:June 2005
    adviser(s):Polian
  • Deciding First-Order Logic with Real and Integer Addition: An Automata-Based Approach
    student:Jochen Eisinger
    date:July 2005
  • And-Inverter-Graphen und deren Anwendung in der Verifikation
    student:Florian Pigorsch
    date:July 2005
  • Charakterisierung von Ausfallmechanismen Silizium-basierter Mikrosysteme
    student:Stefan Spinner
    date:August 2005
    adviser(s):Polian
  • Suchen in Presentation-Recordings am Beispiel der Technischen Informatik
    student:Martina Welte
    date:September 2005
  • Kompositionalität und Bounded Model Checking
    student:Natalija Kalinnik
    date:October 2006
    adviser(s):Ábrahám
    Wimmer
  • Verwendung der Craigschen Interpolanten in der Modellprüfung
    student:Stefan Kupferschmid
    date:October 2006
    adviser(s):Ábrahám
  • Symbolische Berechnung von Bisimulationen
    student:Kelley Strampp
    date:May 2006
    adviser(s):Wimmer
  • Untersuchungen von akzeptablen Fehlern in einem JPEG-Kompressor
    student:Damian Nowroth
    date:October 2007
    adviser(s):Polian
  • Simulation of Dynamic Effects of Resistive Open Defects   [ PDF ]
    student:Alejandro Czutro
    date:April 2007
    adviser(s):Polian
  • Bounded Model Checking auf stochastischen Systemen   [ PDF ]
    student:Bettina Braitling
    date:November 2008
    adviser(s):Wimmer
  • Entwicklung einer graphischen Oberfläche zur Umsetzung des Konzepts der Wettbewerbsparallelität bei SAT-Algorithmen
    student:Bernhard Zimmermann
    date:December 2008
    adviser(s):Schubert
  • Bounded Model Checking auf stochastischen Systemen
    student:Alexander Kortus
    date:February 2008
    adviser(s):Wimmer
  • Model-Checking für stochastische Systeme mit Black-Boxes
    student:Eric Nyaben
    date:March 2008
    adviser(s):Wimmer
  • Simulating Open-Via Defects Using Layout Information
    student:Jie Jiang
    date:March 2008
    adviser(s):Polian
  • Syntaktische und Semantische Behandlung von Quantoren als Vorverarbeitungsschritt einer automaten-basierten Entscheidungsprozedur für lineare Arithmetik
    student:Ben Kremer
    date:July 2008
  • Entwicklung einer FPGA-Platine zur Ansteuerung eines Roboters mittels eines Softcore-Prozessors
    student:Julian Eichstädt
    date:August 2008
    adviser(s):Lewis
    Schubert
  • ftc: floating precision texture compression
    student:Philipp-Klaus Krause
    date:January 2009
    adviser(s):Polian
  • Analyse, Visualisierung und Optimierung von SAT-Solvern am Beispiel von MiraXT
    student:Jan Markstahler
    date:January 2009
    adviser(s):Schubert
  • Design und Implementation einer inkrementellen Variante des parallelen SAT-Algorithmus MiraXT
    student:Markus Kocum
    date:January 2009
    adviser(s):Schubert
  • RFID-Kommunikation und Sensor-Schnittstellen für einen Altera Nios II Softcore basierten Roboter
    student:Radi Hadzhiyski
    date:March 2009
    adviser(s):Lewis
  • Verkehrsflussmodellierung mit iSAT
    student:Dimitris Kiriakidis
    date:January 2010
    adviser(s):Schubert
  • Bounded Model Checking für unvollständige Netzwerke von Zeitautomaten   [ PDF ]
    student:Karina Gitina
    date:October 2010
    adviser(s):Miller
  • Simulation von Leiterbahnunterbrechungen in sequentiellen Schaltkreisen
    student:Vahid Ljesnjanin
    date:October 2010
  • Development and Analysis of Decision Heuristics for an Interval Constraint Solver Handling Non-linear Arithmetic   [ PDF ]
    student:Linus Feiten
    date:April 2010
  • Emulation von transienten Fehlern in sequentiellen Schaltungen
    student:Shanshan Yang
    date:July 2010

Bachelor

  • PaMiraXT - Ein hierarchischer paralleler SAT-Algorithmus
    student:Christoph Birkenbihl
    date:September 2006
    adviser(s):Schubert
  • Umsetzung eines SAT/LP-Algorithmus auf moderne SAT- und LP-Solver
    student:Johannes Traub
    date:March 2007
    adviser(s):Herbstritt
  • Entwicklung und Erprobung eines USB Profils für Sick-Geräte mit der internen Kommunikationsschnittstelle NAPI
    student:Nils Langner
    date:April 2007
  • Schaltkreis- und SAT-Solver-Visualisierung
    student:Markus Fuchs
    date:June 2007
    adviser(s):Wimmer
    Eschbach
  • Entwicklung von Versuchsaufgaben, Musterlösungen und Dokumentation für das Hardware-Praktikum 2007 mit Schwerpunkt Sensorik
    student:Dennis Wehrle
    date:July 2007
    adviser(s):Schubert
  • Entwicklung von Versuchsaufgaben, Musterlösungen und Dokumentation für das Hardware-Praktikum 2007 mit Schwerpunkt Robotik
    student:Holger Bertsch
    date:July 2007
    adviser(s):Schubert
  • Minimierung von Gegenbeispielen beim Bounded Model Checking von Blackbox-Designs durch 01X-Brute-Force-Lifting
    student:Vanessa Struve
    date:September 2007
    adviser(s):Herbstritt
  • Kommunikationsmodelle für den ProBot
    student:Philipp Wollermann
    date:May 2008
    adviser(s):Schubert
  • Strong Satisfaction
    student:Nadine Keddis
    date:September 2008
    adviser(s):Kalinnik
  • Blackbox Bounded Model Checking mit SAT und BDDs
    student:Juri Lichtner
    date:September 2008
    adviser(s):Miller
    Nopper
  • Entwicklung einer automatischen Testumgebung für iSAT
    student:Jennifer Modes
    date:January 2009
    adviser(s):Schubert
  • Implementierung und Robustheitsanalyse von partikelfilterbasierter Zustandsschätzung für eingebettete Systeme
    student:Daniel Frey
    date:April 2009
    adviser(s):Polian
  • Implementierung und Robustheitsanalyse von kalmanfilterbasierter Zustandsschätzung für eingebettete Systeme
    student:Andreas Spilla
    date:April 2009
    adviser(s):Polian
  • Entwicklung und Implementierung eines MIPS-kompatiblen Prozessors in VHDL
    student:Andreas Riefert
    date:August 2009
    adviser(s):Lewis
  • Tanzende Roboter – Verarbeitung von Audio-Signalen in einer Hardware-Umgebung mit limitierten Ressourcen
    student:Dominik Erb
    date:September 2009
    adviser(s):Schubert
    Lewis
  • Parallelisierung von SAT durch dynamische Lastenverteilung
    student:Christian Maier
    date:August 2010
  • k-Induktion am Beispiel des Intervall-Constraint-Solvers iSAT   [ PDF ]
    student:Leonore Winterer
    date:December 2012
    adviser(s):Kupferschmid

“Studienarbeit”

  • Eine Partialreset-Heuristik für beliebige sequentielle Schaltkreise unter Minimierung der Anzahl der angeschlossenen Flipflops
    student:Ilia Polian
    date: 1996
    adviser(s):Keim
  • A Parameterizable Fault Simulator for Bridging Faults
    student:Piet Engelke
    date: 2001
    adviser(s):Keim
  • Bestimmung von n-fachen Fehlerentdeckungssequenzen für synchrone sequentialle Schaltkreise auf der Basis des stuck-at-Fehlermodells
    student:Nicolai Mallig
    date: 2001
    adviser(s):Polian
  • Test und Einbindung der Switch-Matrix in das Multiprozessorsystem
    student:Thomas Albrecht
    date: 2001
    adviser(s):Schubert
  • LogiX - Hardware-Interface für den PC
    student:Jan Kuypers
    date: 2001
    adviser(s):Schubert
  • High-Level Operatoren für Word-Level Decision Diagrams
    student:Kelley Strampp
    date: 2002
    adviser(s):Herbstritt
  • BLIFviz: Ein Java-Paket zur Visualierung kombinatorischer und sequentieller Schaltkreise
    student:Christine Merkel
    date: 2003
    adviser(s):Herbstritt
  • Binäre lineare Optimierung mit K*BMDs   [ PDF ]
    student:Ralf Wimmer
    date: 2003
    adviser(s):Herbstritt
  • MPI-SAT - Ein paralleler SAT-Solver
    student:Mario Emmenlauer
    date: 2003
    adviser(s):Schubert
  • Das PICee++-System
    student:Heiko Falk
    date: 2003
    adviser(s):Schubert
  • Konstruktion und Inbetriebnahme eines experimentellen Aufbaus zur Bestimmung von Ausfallmechanismen in CMOS-basierten Mikrosystemen
    student:Stefan Spinner
    date: 2004
    adviser(s):Polian
  • Funktionale Dekomposition anhand von Schaltkreisausgängen bei der Logikverifikation - Eine Fallstudie
    student:Thomas Kmieciak
    date:November 2004
    adviser(s):Herbstritt
  • Metriken für akzeptables Verhalten in der Bildverarbeitung
    student:Damian Nowroth
    date: 2006
    adviser(s):Polian
  • Automatic Test Pattern Generation for Power Droop Testing   [ PDF ]
    student:Alejandro Czutro
    date:February 2006
    adviser(s):Polian
  • xGen - ein Portal zur Generierung von Übungsblättern
    student:Christoph Löffler
    date:March 2006
    adviser(s):Wimmer
    Nopper
    Herbstritt
  • Realistic Short Defects and Their Impacts on Bridging Fault Test Methodologies
    student:Jie Jiang
    date:September 2006
    adviser(s):Engelke
  • Evaluierung unterschiedlicher SAT-Solver und SAT-Instanzen hinsichtlich des Verhaltens des dynamischen Klauseln-zu-Variablen-Verhältnisses
    student:Eric Nyaben
    date: 2007
    adviser(s):Herbstritt
  • Modellierung realer Zugfahrpläne und formale Analyse durch Modellprüfung
    student:Larissa Wissmann
    date: 2007
    adviser(s):Herbstritt
  • Bit-parallele Simulation von resistiven Brückenfehlern   [ PDF ]
    student:Bettina Braitling
    date: 2007
    adviser(s):Engelke
  • Probabilistisches Model-Checking mit exakter Arithmetik
    student:Alexander Kortus
    date:February 2007
    adviser(s):Wimmer
  • FPGA Based Web/Game Server - Utilizing the Nios II Soft Processor and MicroC/OS-II Real Time OS
    student:Julian Eichstädt
    date:September 2007
    adviser(s):Lewis
  • FPGA Based QVGA LCD Controller
    student:Radi Hadzhiyski
    date: 2008
    adviser(s):Lewis
  • Parallelisation in SAT Preprocessing   [ PDF ]
    student:Linus Feiten
    date: 2008
    adviser(s):Schubert
  • Soft Error Emulation
    student:Shanshan Yang
    date: 2009
    adviser(s):Polian
  • Bounded Model Checking für unvollständige Designs unter Verwendung von QBF-Codierung   [ PDF ]
    student:Karina Gitina
    date:January 2010
    adviser(s):Miller