HOME | CONTACT | Switch DE

Logo Universtity of Bremen
LOGO AGRA | AG Rechnerarchitektur



Group of Computer Architecture / AGRA | Computer Science | Faculty 03 | University of Bremen

Master Thesis


Dear interested parties,

ChipIn our working group, it has proven successfully that interesting topics for Bachelor's and Master's theses are worked out in a personal dialogue. Thus, we do not offer a fixed list of predefined topics.

Please do not hesitate to contact us personally, by phone or email to arrange an appointment to discuss a potential topic.

Possible thesis topics include:
  • Design methodology for quantum computers
  • Formal verification of processors
  • Approximate computing in arithmetic circuits
  • Test pattern generation for integrated circuits
  • Application of neural networks in circuit design
  • ...
To get an idea of the broad spectrum of the topics, the already completed theses are listed below:

Bachelor (alle)
NameTopicYear
Sena
Ilkbahar
Synthetische Generierung von Testdatensätzen für die forensische Datensicherung - Verbesserung der Effizienz und Handhabung von Verifizierungsmethoden 2024
Alireza
Vakili
Pipelined RISC-V Processor using High-level Synthesis2024
Muhammed Ali
Yildiz
Wie verhalten sich verschiedene Optimierungsverfahren auf Benchmarkfunktionen am Beispiel von Hill Climbing, Simulated Annealing und evolutionären Algorithmen 2024
Torben
Ebermann
HyPA: Ein hybrides PTX Analyse Programm für die Design Space Exploration von GPGPU Applikationen2023
Nils
Friedrichs
SystemC Benchmark for High-Level Synthesis (SC-HLS)2023
Jonas
Geschonke
Automatisierte Visualisierung von Daten in einer Web-Applikation auf Basis explorativer Datenanalyse2023
Steffen
Janßen
Güte- und effizienzbasierte Performanz unterschiedlicher bio-inspirierter Verfahren auf klassischen Optimierungsproblemen2023
Wilhelm
Jochim
Supporting Bluetooth Low Energy Keyboards in Environments without a Bluetooth Stack2023
Kateryna
Sieraia
Polynomial Formal Verification of a Generalized Conditional Sum Adder 2023
Pal Singh
Davinder
Vergleich zwischen ausgewählten prä- und post-quantum Verschlüsselungsalgorithmen2022
Liz-Lilly
Hahm
Entwicklung einer Softwarelösung zur Optimierung von Sportprozessen2022
Jonas
Lohmann
From Cells to Silicon: Design and Implementation of a Neuromorphic Processor Empowered with Reinforcement Learning2022
Nick
Michalek
Design, Implementierung und Evaluation einer ESP32-basierten WiFi-Schnittstelle für die MicroRV32 RISC-V Plattform 2022
Arbnor
Miftari
Optische Fehleranalyse von autonomen Robotern durch holografische Projektionen2022
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 Methoden2022
Karl Aaron
Rudkowski
Interactive Modelling Platform for Projects with Embedded Devices2022
Fabian Lukas
Blanken
Fail-Operational-System für semiautonome zivile Multicopter-Drohnen2021
Caroline
Dominik
Bestimmung polynomieller Schranken für die formale Verifikation symmetrischer Schaltungen2021
Marcel
Franzen
Implementierung einer automatischen Transformierung multilingualer Spracheingaben in Datenbankabfragen2021
Jan
Hensel
RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype2021
Philipp
Johag
RoboSim A Multi-Agent System Simulator Based on a RISC-V Virtual Prototype2021
Gregor
Kuhn
Design Understanding für Quantum-dot Cellular Automata Layouts2021
Vinh Kien
Luc
Autoencoder for dimension reduction of data in empirical asset pricing model2021
Luca
Müller
Co-Simulation-Based Verification of a Register-Transfer Level RISC-V Implementation in Reference to a Virtual Prototype2021
Daniel
Staack
Fehlerfindung in robotischen Plänen mittels Fuzzing2021
Maximilian
Eschert
Die Verifikation eines SystemC TLM Interrupt Controller für RISC-V basierend auf Fuzzing2020
Mahmoud
Fakhouri
Maschinelles Lernen von Umgebungsmodellen für die formale Verifikation von Roboterplänen2020
Leon
Klimasch
Betriebszustandserkennung von Geräten durch Auswertung von Beschleunigungssensordaten2020
Paul Amos
Kreiner
Predictive Maintenance nichttechnischer Systeme auf Basis subjektiver Zustandseinschätzungen am Beispiel der Fahrzeugreinigung im Carsharing2020
Tom
Schierenbeck
Entwicklung einer ROS-basierten Sonde zur Erkennung von Fischarten mit neuronalen Netzen2020
Till
Schlechtweg
Gate-level Placement für Field-coupled Nanocomputing unter Berücksichtigung von Clocking Constraints2020
Martha
Schnieber
SMT-based Analysis of Binarized Neural Networks 2020
Jan Frederick
Walther
esQUEape: Advanced binary bi-emulation to bridge the instruction screening performance gap2020
Christian Friedrich
Coors
Approximate Computing für Neuronale Netze in selbstfahrenden Autos2019
Hakan
Köksal
Automatisierte Fehlerdetektion in GUI-Applikationen mittels Fuzzing2019
Carmen
Naber
Konzeptionierung und Umsetzung eines adaptiven mobilen Learning-Content-Management-Systems für Schulen2019
Jan
Zielasko
Modellierung und Validierung eines 64-bit RISC-V Virtuellen Prototypen basierend auf SystemC2019
Mert
Arat
Robustheit von konvolutionalen neuronalen Netzen für Bilderkennung im Automotive Bereich2018
Niels
Jeurissen
Robustheit von Methoden zur Bilderkennung am Beispiel von Straßen bei schlechter Witterungsbedingung2018
Philipp
Kiener
Designing a communication protocol for realtime manipulation of digital microfluidic biochips2018
Lucas
Klemmer
Implementierung eines flexiblen H.264/AVC Baseline Decoder IP Cores auf Basis eines ASIC Designs2018
Rune
Krauß
Effiziente Implementierung von Binären Entscheidungsdiagrammen2018
Marcel
Merten
Entwicklung eines konvolutionalen, rekurrenten Neuronalen Netzes zur codewort-basierten Datenkompression2018
Jurij
Schmidt
Evaluationsgestützte Überwachung von Befehlssequenzen mittels isolierter Ausführung2018
Jan
von Bargen
Heuristisches IDS zur präventiven Detektion von rowhammer-typischen Systemangriffen2018
Martin
Afelt
Comparing Different Array Representations in SMT22017
Christoph
Bäck
Heuristische Kompaktierung einer Testmenge2017
Nico
Heller
Optimierte Übersetzung einer Spiele DSL nach Java 2017
Maximilian
Lünert
StackADrop: A versatile Biochip2017
Henri Leopold
Siakeu Feussom
Evaluation von Entscheidungsverfahren zur Erkennung von Verkehrsschildern auf mobilen Android-Geräten2017
Julian
Stoick
Entwicklung eines kamerabasierten Fahrerassistenzsystems mit virtuellen Prototypen2017
Niklas
Bruns
Agentenbasierte Coverage-getriebene Verifikation von SystemC-Modellen2016
Hauke
Edeler
Kuhhandel-Strategien in einer stochastischen, dynamischen und kompetitiven Mehrspielerumgebung mit partiell imperfekter Information2016
Igor
Kazhdan
Das Flow-Routing-Problem von Programmable Microfluidic Devices mithilfe des Generic Problem Solvers2016
Schneider
Kevin Leonard
Alternative area division methods for exact routing on digital microfluidic biochips2016
Patrick
Kleinermann
Zeitsynchrone Erfassung seismischer Sensordaten2016
Timo
Kohorst
Hardwareparallelität, moderne CPU-Instruktionen und effiziente Datenhaltung in Backupsoftware ausnutzen2016
Pascal
Pieper
Umgebung für automatisierte Tests von Dateisystemen auf NAND-Flash2016
Jil
Tietjen
Untersuchung verschiedener Kodierungen von speziellen Cardinality Constraints für SAT 2016
Tobias
Böhnisch
Operationsbasierte einstufige Synthese von Digital Microfluidic Biochips2015
Steven
Bösel
Verschaltung und Programmierung eines Field Programmable Gate Arrays zur Digitalisierung, Steuerung und Überwachung einer analogen Modelleisenbahn2015
Carina
Harrius
Exploiting Design for Testability for Fault Diagnosis in Reversible Circuits2015
Stefan
Hillmich
Analyse beliebiger Spielsituationen des Kartenspiels Skat mit Hilfe Boolescher Erfüllbarkeit und Bitvektorlogik2015
Hannes
Mau
Unidirektionaler Datenaustausch mittels Zweileitertechnik2015
Tim
Meywerk
Neue Strategieansätze für Stratego-Bots2015
Tom Vincent
Peters
Implementierung und Vergleich von Computergegnern für Käsekästchen2015
Janosch
Reinking
Design und Entwicklung einer Kameraschnittstelle nach dem Packet Utilisation Standard2015
Rhea C.
Rinaldo
Entwicklung und Auswertung der Telemetrie/Telekommando-Schnittstelle einer Logging-Komponente für Satelliten2015
Jöran
Schlömer
Automatische Generierung formaler Eigenschaften aus Hardwarebeschreibungssprachen2015
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 platforms2015
Hubert Fred
Tchambo
Emotion based Lyric Classification with Natural Language Processing2015
Marcel
Walter
Optimierung von Quantenschaltkreisen durch lokale Umordnung von Qubits2015
Mehmet
Bagatir
Illustrative Implementierung von Quantenalgorithmen 2014
Tobias
Kortkamp
An NLP Assistant for Clide2014
Alexander
Kröker
Synthese von digitalen mikrofluidischen Biochips mit dynamisch wachsendem Grid2014
Max Benjamin
Nitze
Automatisches Ergänzen von Klassendiagrammen mittels Informationsextraktion2014
Andree
Rebers
WLAN-ferngesteuertes Modellauto auf Basis des Raspberry Pi2014
Tim
Rühenbeck
Automatische Analyse und Verifikation von AIS-Daten2014
Frerk
Steen
Fehlertolerante drahtlose Kommunikation an Bord des Gossamer I-Satelliten2014
Luka
Dschaak
Ermittlung der optimalen Ausbeute: Was gibt mein Kühlschrank wirklich her?2013
Torben
Hansing
Modellgetriebene Simulation von Microcontrollersystemen2013
Sascha
Hestermann
Hardwarebeschleunigung eines Erfüllbarkeitsbeweisers2013
Niklas
Krafczyk
Automatische Integration von Hardware-Modulen auf Register-Transfer-Ebene2013
Aaron Frederick
Lye
Optimization of Quantum Circuits for Linear Nearest Neighbor Architectures2013
Ali
Mohammadzadeh
Synthese reversibler Funktionen mithilfe des Zauberwürfels2013
Marc
Niehaus
Comparing UML Models to Natural Language Specifications2013
Lennart
Pleuß
Entwicklung einer domänenspezifischen Sprache und eines Editors auf Basis von Xtext zur Erstellung von GUI-Modellen2013
Vladimir
Herdt
Nachweis von Zusicherungen für SystemC Modelle mithilfe symbolischer Simulation2012
Sebastian
Huhn
Entwurf eines generischen multifunktionalen 868 MHz Funkempfängermoduls auf Basis eines Mikrocontrollers2012
Eugen
Kuksa
Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen Beschreibungen2012
Clemens
Werther
Eine Multiprozessorarchitektur mit Kommunikation über Nachrichtenaustausch2012
Keszöcze
Oliver
Realization of Modular Exponentiation in Reversible Logic using Automatic Design Methods2011
Bastian
Blachetta
Ausnutzung von Kanonizität in der Darstellung reversibler Schaltkreise2010
Christian
Otterstedt
Synthese sequentieller reversibler Schaltkreise2010
Hristina
Fidanoska
Complete Algorithms for Solving the Boolean Satisfaiablitity Problem2009
Markus
Groß
Co-Simulation von SystemC-Modellen unterschiedlicher Abstraktionsebenen2009
Andreas
Schröder
Entwicklung eines Synthese-Verfahrens für SystemC-Beschreibungen2009


hide


©2023 | Group of Computer Architecture | Contact | Legal & Data Privacy