Liebe Interessentinnen
und liebe Interessenten,

in unserer Arbeitsgruppe hat es sich bewährt, dass Themen für Bachelor- und Masterarbeiten in einem persönlichen Gespräch erarbeitet werden.

Für gewöhnlich geben wir keine fest definierten Themen vor. Zur Vereinbarung eines Termins für die Besprechung eines konkreten Themenbereiches bietet sich die Kontaktaufnahme per Telefon oder Email an.

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 Thematik zu erhalten, sind im Folgenden die bereits abgeschlossenen Abschlussarbeiten gelistet:

Alle	Bachelor	Master	Diplom
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005

Alle

Name	Thema	Abschluss	Jahr
Karl Aaron Rudkowski	Verification of SystemC RTL Peripherals using Symbolic Execution	Master	2024
Fawad Ahmed	Erweiterung und Evaluation von Kodierungen des All-Different-Constraints in SAT	Master	2023
Fabian Lukas Blanken	Implementierung und Verifikation eines Anmeldevorgangs für eine Java Webanwendung	Master	2023
Torben Ebermann	HyPA: Ein hybrides PTX Analyse Programm für die Design Space Exploration von GPGPU Applikationen	Bachelor	2023
Nils Friedrichs	SystemC Benchmark for High-Level Synthesis (SC-HLS)	Bachelor	2023
Jonas Geschonke	Automatisierte Visualisierung von Daten in einer Web-Applikation auf Basis explorativer Datenanalyse	Bachelor	2023
Steffen Janßen	Güte- und effizienzbasierte Performanz unterschiedlicher bio-inspirierter Verfahren auf klassischen Optimierungsproblemen	Bachelor	2023
Wilhelm Jochim	Supporting Bluetooth Low Energy Keyboards in Environments without a Bluetooth Stack	Bachelor	2023
Kateryna Sieraia	Polynomial Formal Verification of a Generalized Conditional Sum Adder	Bachelor	2023
Christian Friedrich Coors	Verification of Programs Generated from HDL for the Programmable Logic-In-Memory (PLiM) Architecture	Master	2022
Pal Singh Davinder	Vergleich zwischen ausgewählten prä- und post-quantum Verschlüsselungsalgorithmen	Bachelor	2022
Liz-Lilly Hahm	Entwicklung einer Softwarelösung zur Optimierung von Sportprozessen	Bachelor	2022
Jan Kleinekathöfer	Formal Verification of Floating Point Adders in Polynomial Time	Master	2022
Leon Klimasch	Verfahren zur automatisierten Generierung eines Digital Twins für die Berechnung der Goldenen LBIST Signatur	Master	2022
Rune Krauss	Speichereffizienter Aufbau von binären Entscheidungsdiagrammen für Logiksynthese und Verifikation durch Ausnutzung von Ordnungseigenschaften	Master	2022
Mathis Logemann	Design, Implementierung und Cross-level Verifikation eines SpinalHDL-basierten RISC-V Interrupt Controllers	Master	2022
Jonas Lohmann	From Cells to Silicon: Design and Implementation of a Neuromorphic Processor Empowered with Reinforcement Learning	Bachelor	2022
Nick Michalek	Design, Implementierung und Evaluation einer ESP32-basierten WiFi-Schnittstelle für die MicroRV32 RISC-V Plattform	Bachelor	2022
Arbnor Miftari	Optische Fehleranalyse von autonomen Robotern durch holografische Projektionen	Bachelor	2022
Arbnor Miftari	Development of New Software Tests for Robotic Motion Plans Through Mutation Testing	Master	2022
David Möllmann	Entwurf und Umsetzung eines Demonstrators für Eingebettete Systeme für den Einsatz in der Lehre mit Hilfe von Simulations- und Modellbasierten Methoden	Bachelor	2022
Karl Aaron Rudkowski	Interactive Modelling Platform for Projects with Embedded Devices	Bachelor	2022
Lennart Ove Weingarten	Formaler Nachweis von Schaltkreisen auf Polynomiale Verifizierbarkeit	Master	2022
Jan Zielasko	Visualization of Symbolic Execution 3D Visualization of Symbolic Program Execution-Traces Generated by Instrumentation of a RISC-V Virtual Prototype	Master	2022
Fabian Lukas Blanken	Fail-Operational-System für semiautonome zivile Multicopter-Drohnen	Bachelor	2021
Caroline Dominik	Bestimmung polynomieller Schranken für die formale Verifikation symmetrischer Schaltungen	Bachelor	2021
Marcel Franzen	Implementierung einer automatischen Transformierung multilingualer Spracheingaben in Datenbankabfragen	Bachelor	2021
Milan Funck	Design, Implementierung und Evaluierung einer RISC-V Prozessorerweiterung auf VP Ebene	Master	2021
Jan Hensel	RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype	Bachelor	2021
Philipp Johag	RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype	Bachelor	2021
Gregor Kuhn	Design Understanding für Quantum-dot Cellular Automata Layouts	Bachelor	2021
Vinh Kien Luc	Autoencoder for dimension reduction of data in empirical asset pricing model	Bachelor	2021
Marcel Merten	Entwicklung eines Hardware-basierten Evolutionären Algorithmus unter Verwendung von Mehrzieloptimierung zur Robustheitssteigerung sequentieller Schaltkreise	Master	2021
Luca Müller	Co-Simulation-Based Verification of a Register-Transfer Level RISC-V Implementation in Reference to a Virtual Prototype	Bachelor	2021
Martha Schnieber	Polynomial Formal Verification of Approximate Functions	Master	2021
Daniel Staack	Fehlerfindung in robotischen Plänen mittels Fuzzing	Bachelor	2021
Sallar Ahmadi-Pour	MicroRV32 - Eine SpinalHDL basierte RISC-V RV32I_Zicsr Implementierung für die Nutzung auf einem Field Programmable Gate Array	Master	2020
Maximilian Eschert	Die Verifikation eines SystemC TLM Interrupt Controller für RISC-V basierend auf Fuzzing	Bachelor	2020
Mahmoud Fakhouri	Maschinelles Lernen von Umgebungsmodellen für die formale Verifikation von Roboterplänen	Bachelor	2020
Christoph Kellermann	Effizienzerhöhung des Fine-Tunings nach dem Prunen von Convolutional Neural Networks	Master	2020
Leon Klimasch	Betriebszustandserkennung von Geräten durch Auswertung von Beschleunigungssensordaten	Bachelor	2020
Paul Amos Kreiner	Predictive Maintenance nichttechnischer Systeme auf Basis subjektiver Zustandseinschätzungen am Beispiel der Fahrzeugreinigung im Carsharing	Bachelor	2020
Tom Schierenbeck	Entwicklung einer ROS-basierten Sonde zur Erkennung von Fischarten mit neuronalen Netzen	Bachelor	2020
Till Schlechtweg	Gate-level Placement für Field-coupled Nanocomputing unter Berücksichtigung von Clocking Constraints	Bachelor	2020
Martha Schnieber	SMT-based Analysis of Binarized Neural Networks	Bachelor	2020
Matthias von Rüden	Optimierung einer RISC-V Simulation mit Just-in-Time Kompilierung	Master	2020
Jan Frederick Walther	esQUEape: Advanced binary bi-emulation to bridge the instruction screening performance gap	Bachelor	2020
Gösta Brünjes	Probabilistic Topic Modeling for Industrial Documents	Master	2019
Christian Friedrich Coors	Approximate Computing für Neuronale Netze in selbstfahrenden Autos	Bachelor	2019
Igor Kazhdan	Entwurf und Simulation von QCA-Schaltungen auf Gatterebene	Master	2019
Hakan Köksal	Automatisierte Fehlerdetektion in GUI-Applikationen mittels Fuzzing	Bachelor	2019
Maximilian Lünert	Optimization of biochip escape routing algorithms and integration into KiCAD	Master	2019
Carmen Naber	Konzeptionierung und Umsetzung eines adaptiven mobilen Learning-Content-Management-Systems für Schulen	Bachelor	2019
Jonas Wloka	Development of an Optimized GPU-based Implementation of the Elliptic Curve Factorization Method	Master	2019
Jan Zielasko	Modellierung und Validierung eines 64-bit RISC-V Virtuellen Prototypen basierend auf SystemC	Bachelor	2019
Mert Arat	Robustheit von konvolutionalen neuronalen Netzen für Bilderkennung im Automotive Bereich	Bachelor	2018
Hauke Edeler	Lösung komplexer DMFB-Routenprobleme per Reinforcement Learning	Master	2018
Stefan Hillmich	Graph-Based Analysis of Growth Patterns in the True Slime Mold Physarum polycephalum	Master	2018
Niels Jeurissen	Robustheit von Methoden zur Bilderkennung am Beispiel von Straßen bei schlechter Witterungsbedingung	Bachelor	2018
Philipp Kiener	Designing a communication protocol for realtime manipulation of digital microfluidic biochips	Bachelor	2018
Lucas Klemmer	Implementierung eines flexiblen H.264/AVC Baseline Decoder IP Cores auf Basis eines ASIC Designs	Bachelor	2018
Rune Krauß	Effiziente Implementierung von Binären Entscheidungsdiagrammen	Bachelor	2018
Marcel Merten	Entwicklung eines konvolutionalen, rekurrenten Neuronalen Netzes zur codewort-basierten Datenkompression	Bachelor	2018
Bruns Niklas	Erkennung von Hardware-Trojanern in SystemC HLS Modellen durch Coverage-getriebenes Fuzzing	Master	2018
Tom Vincent Peters	Mastering the game of Dots and Boxes with deep neural networks and tree search	Master	2018
Jurij Schmidt	Evaluationsgestützte Überwachung von Befehlssequenzen mittels isolierter Ausführung	Bachelor	2018
Kevin Leonhard Schneider	Improving the Heuristics for One-Pass-Synthesis of Digital Microfluidic Biochips	Master	2018
Malte Christian Struck	Ein Service-Discovery-Protokoll für Netze heterogener Sensoreinheiten	Master	2018
Jil Tietjen	Symbolische Ausführung eines RISC-V-Prozessors	Master	2018
Jan von Bargen	Heuristisches IDS zur präventiven Detektion von rowhammer-typischen Systemangriffen	Bachelor	2018
Martin Afelt	Comparing Different Array Representations in SMT2	Bachelor	2017
Christoph Bäck	Heuristische Kompaktierung einer Testmenge	Bachelor	2017
Nico Heller	Optimierte Übersetzung einer Spiele DSL nach Java	Bachelor	2017
Maximilian Lünert	StackADrop: A versatile Biochip	Bachelor	2017
Lars Schmertmann	Analyse von SHA256 mit Hilfe von CryptoMiniSat	Master	2017
Henri Leopold Siakeu Feussom	Evaluation von Entscheidungsverfahren zur Erkennung von Verkehrsschildern auf mobilen Android-Geräten	Bachelor	2017
Julian Stoick	Entwicklung eines kamerabasierten Fahrerassistenzsystems mit virtuellen Prototypen	Bachelor	2017
Dan Sörgel	Generierung von UVM-SystemC Testumgebungen unter Verwendung von Testfalltransformation	Master	2017
Eike Behrends	Detektion von Abhängigkeiten zwischen User Stories mittels NLP	Master	2016
Niklas Bruns	Agentenbasierte Coverage-getriebene Verifikation von SystemC-Modellen	Bachelor	2016
Ronald Smith Djomkam Yotedje	Generic Information Extraction Using Triple-Store Databases	Master	2016
Hauke Edeler	Kuhhandel-Strategien in einer stochastischen, dynamischen und kompetitiven Mehrspielerumgebung mit partiell imperfekter Information	Bachelor	2016
Igor Kazhdan	Das Flow-Routing-Problem von Programmable Microfluidic Devices mithilfe des Generic Problem Solvers	Bachelor	2016
Schneider Kevin Leonard	Alternative area division methods for exact routing on digital microfluidic biochips	Bachelor	2016
Patrick Kleinermann	Zeitsynchrone Erfassung seismischer Sensordaten	Bachelor	2016
Timo Kohorst	Hardwareparallelität, moderne CPU-Instruktionen und effiziente Datenhaltung in Backupsoftware ausnutzen	Bachelor	2016
Max Benjamin Nitze	Constraint-based Test-Data Generation	Master	2016
Pascal Pieper	Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash	Bachelor	2016
Carsten Schiefelbein	Entwurf einer drahtlosen Schnittstelle für die Onboard-Kommunikation am Beispiel des Kompaktsatelliten Eu:CROPIS	Master	2016
Jil Tietjen	Untersuchung verschiedener Kodierungen von speziellen Cardinality Constraints für SAT	Bachelor	2016
Tobias Böhnisch	Operationsbasierte einstufige Synthese von Digital Microfluidic Biochips	Bachelor	2015
Steven Bösel	Verschaltung und Programmierung eines Field Programmable Gate Arrays zur Digitalisierung, Steuerung und Überwachung einer analogen Modelleisenbahn	Bachelor	2015
Carina Harrius	Exploiting Design for Testability for Fault Diagnosis in Reversible Circuits	Bachelor	2015
Stefan Hillmich	Analyse beliebiger Spielsituationen des Kartenspiels Skat mit Hilfe Boolescher Erfüllbarkeit und Bitvektorlogik	Bachelor	2015
Jannis Kranz	Entwicklung eines elektronikunterstützten Fahrradassistenzsystems	Diplom	2015
Alexander T. Lange	Konzeptentwurf einer ereignisbasierten Steuerung für Raumfahrzeuge	Master	2015
Hannes Mau	Unidirektionaler Datenaustausch mittels Zweileitertechnik	Bachelor	2015
Tim Meywerk	Neue Strategieansätze für Stratego-Bots	Bachelor	2015
Maxime Djao Mola	Optimierung von Quantenschaltungen für Nearest Neighbor Architekturen	Master	2015
Tom Vincent Peters	Implementierung und Vergleich von Computergegnern für Käsekästchen	Bachelor	2015
Janosch Reinking	Design und Entwicklung einer Kameraschnittstelle nach dem Packet Utilisation Standard	Bachelor	2015
Rhea C. Rinaldo	Entwicklung und Auswertung der Telemetrie/Telekommando-Schnittstelle einer Logging-Komponente für Satelliten	Bachelor	2015
Jöran Schlömer	Automatische Generierung formaler Eigenschaften aus Hardwarebeschreibungssprachen	Bachelor	2015
Michael A. Schulze	The development of an autonomous data-capture system for use in the service module of the XCOR Lynx suborbital spaceplane, in the drop tower, and in other microgravity platforms	Bachelor	2015
Hubert Fred Tchambo	Emotion based Lyric Classification with Natural Language Processing	Bachelor	2015
Katrin Thielmann	Hardware-in-the-loop-Testen von Satelliten-on-Board-Komponenten: Design und Implementierung eines Testframeworks	Master	2015
Marcel Walter	Optimierung von Quantenschaltkreisen durch lokale Umordnung von Qubits	Bachelor	2015
Clemens Werther	Allgemeine Probleme der Handlungsreise Ablaufplanung unter Realbedingungen	Master	2015
Stefan Wichmann	Modellierung einer Mikrocontroller-basierten Plattform in SystemC	Diplom	2015
Mehmet Bagatir	Illustrative Implementierung von Quantenalgorithmen	Bachelor	2014
Tino Flenker	Wörterbuchgenerierung für die Lokalisierung von Verzögerungsfehlern in Logikschaltungen	Diplom	2014
Xiao Gao	Charakterisierung der Fehler von Eingebetteten Systemen	Master	2014
Murat Göksu	Entwurf und Implementierung einer zur Laufzeit konfigurierbaren Logging-Komponente für Satelliten	Master	2014
Amatulwaseh Hayat	Analyse von strukturell monotonen reversiblen Schaltkreisen	Diplom	2014
Vladimir Herdt	Complete Symbolic Simulation of SystemC Models	Master	2014
Sebastian Huhn	Verwendung strukturellen Wissens in formalen Beweistechniken zur Beschleunigung der Testgenerierung	Master	2014
Philipp Kastner	Vergleich evolutionärer Algorithmen zur Stimuli-Generierung für SystemC-Designs	Diplom	2014
Tobias Kortkamp	An NLP Assistant for Clide	Bachelor	2014
Alexander Kröker	Synthese von digitalen mikrofluidischen Biochips mit dynamisch wachsendem Grid	Bachelor	2014
Max Benjamin Nitze	Automatisches Ergänzen von Klassendiagrammen mittels Informationsextraktion	Bachelor	2014
Juan Albert Hugo Prinzhorn Mendia	Verifikation von Bedingungen im C++	Diplom	2014
Andree Rebers	WLAN-ferngesteuertes Modellauto auf Basis des Raspberry Pi	Bachelor	2014
Tim Rühenbeck	Automatische Analyse und Verifikation von AIS-Daten	Bachelor	2014
Frerk Steen	Fehlertolerante drahtlose Kommunikation an Bord des Gossamer I-Satelliten	Bachelor	2014
Arman Allahyari-Abhari	Exakte Synthese minimaler NCV-|v1>-Quantenschaltkreise	Diplom	2013
Luka Dschaak	Ermittlung der optimalen Ausbeute: Was gibt mein Kühlschrank wirklich her?	Bachelor	2013
Andrej Fast	Verbesserung der Fehlertoleranz von ANSI-C Programmen durch Simulation und genetische Algorithmen	Diplom	2013
Torben Hansing	Modellgetriebene Simulation von Microcontrollersystemen	Bachelor	2013
Sascha Hestermann	Hardwarebeschleunigung eines Erfüllbarkeitsbeweisers	Bachelor	2013
Tobias Koehler	Vergleich von formalen Methoden zur Fehlerlokalisierung in Software	Diplom	2013
Niklas Krafczyk	Automatische Integration von Hardware-Modulen auf Register-Transfer-Ebene	Bachelor	2013
Aaron Frederick Lye	Optimization of Quantum Circuits for Linear Nearest Neighbor Architectures	Bachelor	2013
Ali Mohammadzadeh	Synthese reversibler Funktionen mithilfe des Zauberwürfels	Bachelor	2013
Marc Niehaus	Comparing UML Models to Natural Language Specifications	Bachelor	2013
Lennart Pleuß	Entwicklung einer domänenspezifischen Sprache und eines Editors auf Basis von Xtext zur Erstellung von GUI-Modellen	Bachelor	2013
Nils Przigoda	Algorithmen von Quantencomputern und Anwendung von Boolescher Erfüllbarkeit im Entwurf	Diplom	2013
Abirami Puvanendran	Testgetriebener Systementwurf auf Basis von SysML Modellen	Diplom	2013
Matthias Schilmann	Optimierung von Tiefenkosten auf reversibler Ebene	Diplom	2013
Kenneth Schmitz	Simultane Testmustergenerierung für Mehrfach Einzelfehler mittels Pseudo-Boolescher Optimierung zur Erzeugung kompakter Testmengen	Diplom	2013
Karl Trzebiatowski	Automatisierung eines Zuweisungssystems für die Lehramtausbildung	Diplom	2013
Aljoscha Windhorst	Entwurf und Implementierung eines C-Beweisers für die funktionale Abdeckungsanalyse	Diplom	2013
Mathäus Wojt	Fehlerdiagnose reversibler Schaltungen unter Ausnutzung von Verfahren für den Online Test	Diplom	2013
Bastian Blachetta	SystemC-Synthese aus SysML-Modellen	Master	2012
Pavel Dimitrov	Autonomous Track Control Systems for Trains	Diplom	2012
Vladimir Herdt	Nachweis von Zusicherungen für SystemC Modelle mithilfe symbolischer Simulation	Bachelor	2012
Christoph Hilken	Verifikation dynamischer Aspekte in SysML Modellen	Master	2012
Sebastian Huhn	Entwurf eines generischen multifunktionalen 868 MHz Funkempfängermoduls auf Basis eines Mikrocontrollers	Bachelor	2012
Eugen Kuksa	Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen Beschreibungen	Bachelor	2012
Christian Otterstedt	Optimierung von Quantenschaltkreisen mit Hilfe von Multiple Target Toffoli Gattern	Master	2012
Eleonora Schönborn	Optimierung der Synthese von reversiblen Schaltkreisen mit Hardwarebeschreibungssprachen	Diplom	2012
Wanja Schöpfer	Modellbasiertes Hardware-Software Codesign für eine Therapiefunktion in einem Intensivbeatmungsgerät	Master	2012
Julia Seiter	Property Checking of Quantum Circuits	Diplom	2012
Clemens Werther	Eine Multiprozessorarchitektur mit Kommunikation über Nachrichtenaustausch	Bachelor	2012
Fereshta Yazdani	Einbettung reversibler Logik in SystemC	Diplom	2012
Melanie Diepenbeck	SAT-basierte Fehlererkennung auf Basis des Sigle Stuck-At Fehlermodells	Diplom	2011
Markus Groß	Automatische kontrollflussbasierte Programm–Synthese mithilfe formaler Methoden	Master	2011
Norman Gülcü	Einbetten irreversibler Funktionen mit Hilfe evolutionärer Algorithmen	Diplom	2011
Sebastian Jauert	Formale Robustheitsprüfung komplexer Systeme - Steigerung der Effizienz durch Nutzung hierarchischer Zusammenhänge	Diplom	2011
Markus Möhrke	Exakte Synthese von NAND-Schaltungen mit Erfüllbarkeitsbeweisern	Diplom	2011
Keszöcze Oliver	Realization of Modular Exponentiation in Reversible Logic using Automatic Design Methods	Bachelor	2011
Bastian Blachetta	Ausnutzung von Kanonizität in der Darstellung reversibler Schaltkreise	Bachelor	2010
Philipp Klaffert	Fehlertolerante Schaltkreise mit geringem Ressourcenbedarf unter Verwendung partieller Redundanz	Diplom	2010
Stefanie Meyer	Optimierung der Don't Care Anzahl bei SAT-basierter Testmustergenerierung mittels 3-wertiger Logik	Diplom	2010
Christian Otterstedt	Synthese sequentieller reversibler Schaltkreise	Bachelor	2010
Jan Carstens	Testmustergenerierung durch Kombination Boolescher Beweiser	Diplom	2009
Jannes Dinse	System-on-Chip Entwurf eines RISC mit einem FPGA	Diplom	2009
Hristina Fidanoska	Complete Algorithms for Solving the Boolean Satisfaiablitity Problem	Bachelor	2009
Alexander Finder	Heuristische Verfahren zur Logiksynthese für Pseudo Kronecker Ausdrücke	Diplom	2009
Manuel Friebus	Visualisierung von SystemC auf Systemebene	Diplom	2009
Markus Groß	Co-Simulation von SystemC-Modellen unterschiedlicher Abstraktionsebenen	Bachelor	2009
Finn Haedicke	Constraint gesteuerte pseudo-zufällige Stimuli-Erzeugung basierend auf SMT-Beweisern	Diplom	2009
Hoang M. Le	Formal Verification of abstract SystemC designs via Bounded Model Checking	Diplom	2009
Andreas Schröder	Entwicklung eines Synthese-Verfahrens für SystemC-Beschreibungen	Bachelor	2009
Olaf von der Ahe	Formale Verifikation von sequentiellen Schaltkreisen mittels QBF-Beweisern	Diplom	2009
Hongyan Zhang	Modellierung, Validation und Verifikation der SIMATIC S5 CPU	Diplom	2009
Stefan Frehse	Formaler Nachweis der Fehlertoleranz von Schaltungen -- Modellierung und effiziente Algorithmen	Diplom	2008
Florian Harjes	Exakte Synthese von Multiplexerschaltkreisen	Diplom	2008
Marc Messing	Evaluierung neuer Ansätze zur Fehlersortierung bei der automatischen Testmustergenerierung	Diplom	2008
Sebastian Offermann	Faktorisierung mittels SAT-Beweisern	Diplom	2008
Mathias Soeken	Vorverarbeitung von Erfüllbarkeitsproblemen auf der Wortebene	Diplom	2008
Sara Badkoubeh	Einsatz von interaktiven Lernmodulen in der technischen Informatik	Diplom	2007
Tim Cassens	Statische Kompaktierung von Testmustern für Schaltkreise	Diplom	2007
Xiaobo Chen	Exakte Logiksynthese von Quantenschaltkreisen durch das Erfüllbarkeitsproblem	Diplom	2007
Jinghong Jin	Voroptimierung von Instanzen des Erfüllbarkeitsproblems durch BDDs	Diplom	2007
Frank Riese	Implementierung eines GCC Backends für eine RISC Architektur	Diplom	2007
Stephan Eggersglüß	Testmustergenerierung für Pfadverzögerungsfehler für industrielle Schaltkreise auf Basis des Erfüllbarkeitsproblems Ausgezeichnet als beste Abschlussarbeit des Jahrgangs	Diplom	2006
Christian Genz	Analyse und Visualisierung von SystemC-Spezifikationen	Diplom	2006
Marcin Grden	Überdeckungsmaße in der formalen Hardware Verifikation	Diplom	2006
Michael Klemm	Testmusterkompaktierung mit Genetischen Algorithmen	Diplom	2006
Ulrich Kühne	Modellierung und Verifikation eines RISC Prozessors Ausgezeichnet mit dem Bremer Studienpreis 2006	Diplom	2006
André Steinkamp	Heuristik Lernen auf der Basis Genetischer Programmierung für das Graphenfärbeproblem	Diplom	2006
Andre Sülflow	Über die Anwendung der Mehrzieloptimierung in der Erstellung von Dienstplänen im Krankenhaus	Diplom	2006
Tim Warode	Strukturelles Lernen in der erfüllbarkeits-basierten Testmustergenerierung	Diplom	2006
Robert Wille	Erstellung von Free Binary Decision Diagrams mit SAT-Beweisern	Diplom	2006
Sebastian Kinder	Speichereffiziente Manipulation von Entscheidungsdiagrammen: Theorie und Implementierung Ausgezeichnet mit dem Bremer Ingenieurpreis 2005	Diplom	2005

ausblenden