Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Lehre « Abschlussarbeiten
Liebe Interessentinnen und liebe Interessenten,

in unserer Arbeitsgruppe hat es sich bewährt, dass Bachelor-, Master- und Diplomarbeitsthemen in einem Gespräch erarbeitet werden.

Feste Themen geben wir für gewöhnlich nicht vor und bieten daher an, sich persönlich, telefonisch oder per Email zu melden.

Mit freundlichen Grüßen
Prof. Dr. Rolf Drechsler

Wählen Sie nun aus, welche Arbeiten Sie einsehen möchten:

Alle Bachelor Master Diplom
2017 anzeigen
anzeigen
2016 anzeigen
anzeigen
2015 anzeigen
anzeigen
anzeigen
2014 anzeigen
anzeigen
anzeigen
2013 anzeigen
anzeigen
2012 anzeigen
anzeigen
anzeigen
2011 anzeigen anzeigen anzeigen
2010 anzeigen anzeigen
2009 anzeigen anzeigen
2008 anzeigen
2007 anzeigen
2006 anzeigen
2005 anzeigen


Bachelor
NameThemaJahr
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



Im Bereich 'Team', bzw. 'Alumni' können Sie einsehen, wer von den Absolventen im Anschluss weiter in der Gruppe geblieben ist, bzw. bereits den Doktortitel erlangt hat.



English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt