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


NameThemaAbschlussJahr
Martin
Afelt
Comparing Different Array Representations in SMT2Bachelor2017
Christoph
Bäck
Heuristische Kompaktierung einer TestmengeBachelor2017
Nico
Heller
Optimierte Übersetzung einer Spiele DSL nach Java Bachelor2017
Maximilian
Lünert
StackADrop: A versatile BiochipBachelor2017
Lars
Schmertmann
Analyse von SHA256 mit Hilfe von CryptoMiniSatMaster2017
Henri Leopold
Siakeu Feussom
Evaluation von Entscheidungsverfahren zur Erkennung von Verkehrsschildern auf mobilen Android-GerätenBachelor2017
Julian
Stoick
Entwicklung eines kamerabasierten Fahrerassistenzsystems mit virtuellen PrototypenBachelor2017
Dan
Sörgel
Generierung von UVM-SystemC Testumgebungen unter Verwendung von TestfalltransformationMaster2017
Eike
Behrends
Detektion von Abhängigkeiten zwischen User Stories mittels NLPMaster2016
Niklas
Bruns
Agentenbasierte Coverage-getriebene Verifikation von SystemC-ModellenBachelor2016
Ronald Smith
Djomkam Yotedje
Generic Information Extraction Using Triple-Store DatabasesMaster2016
Hauke
Edeler
Kuhhandel-Strategien in einer stochastischen, dynamischen und kompetitiven Mehrspielerumgebung mit partiell imperfekter InformationBachelor2016
Igor
Kazhdan
Das Flow-Routing-Problem von Programmable Microfluidic Devices mithilfe des Generic Problem SolversBachelor2016
Schneider
Kevin Leonard
Alternative area division methods for exact routing on digital microfluidic biochipsBachelor2016
Patrick
Kleinermann
Zeitsynchrone Erfassung seismischer SensordatenBachelor2016
Timo
Kohorst
Hardwareparallelität, moderne CPU-Instruktionen und effiziente Datenhaltung in Backupsoftware ausnutzenBachelor2016
Max Benjamin
Nitze
Constraint-based Test-Data GenerationMaster2016
Pascal
Pieper
Umgebung für automatisierte Tests von Dateisystemen auf NAND-FlashBachelor2016
Carsten
Schiefelbein
Entwurf einer drahtlosen Schnittstelle für die Onboard-Kommunikation am Beispiel des Kompaktsatelliten Eu:CROPISMaster2016
Jil
Tietjen
Untersuchung verschiedener Kodierungen von speziellen Cardinality Constraints für SAT Bachelor2016
Tobias
Böhnisch
Operationsbasierte einstufige Synthese von Digital Microfluidic BiochipsBachelor2015
Steven
Bösel
Verschaltung und Programmierung eines Field Programmable Gate Arrays zur Digitalisierung, Steuerung und Überwachung einer analogen ModelleisenbahnBachelor2015
Carina
Harrius
Exploiting Design for Testability for Fault Diagnosis in Reversible CircuitsBachelor2015
Stefan
Hillmich
Analyse beliebiger Spielsituationen des Kartenspiels Skat mit Hilfe Boolescher Erfüllbarkeit und BitvektorlogikBachelor2015
Jannis
Kranz
Entwicklung eines elektronikunterstützten FahrradassistenzsystemsDiplom2015
Alexander T.
Lange
Konzeptentwurf einer ereignisbasierten Steuerung für RaumfahrzeugeMaster2015
Hannes
Mau
Unidirektionaler Datenaustausch mittels ZweileitertechnikBachelor2015
Tim
Meywerk
Neue Strategieansätze für Stratego-BotsBachelor2015
Maxime Djao
Mola
Optimierung von Quantenschaltungen für Nearest Neighbor ArchitekturenMaster2015
Tom Vincent
Peters
Implementierung und Vergleich von Computergegnern für KäsekästchenBachelor2015
Janosch
Reinking
Design und Entwicklung einer Kameraschnittstelle nach dem Packet Utilisation StandardBachelor2015
Rhea C.
Rinaldo
Entwicklung und Auswertung der Telemetrie/Telekommando-Schnittstelle einer Logging-Komponente für SatellitenBachelor2015
Jöran
Schlömer
Automatische Generierung formaler Eigenschaften aus HardwarebeschreibungssprachenBachelor2015
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 platformsBachelor2015
Hubert Fred
Tchambo
Emotion based Lyric Classification with Natural Language ProcessingBachelor2015
Katrin
Thielmann
Hardware-in-the-loop-Testen von Satelliten-on-Board-Komponenten: Design und Implementierung eines TestframeworksMaster2015
Marcel
Walter
Optimierung von Quantenschaltkreisen durch lokale Umordnung von QubitsBachelor2015
Clemens
Werther
Allgemeine Probleme der Handlungsreise Ablaufplanung unter RealbedingungenMaster2015
Stefan
Wichmann
Modellierung einer Mikrocontroller-basierten Plattform in SystemCDiplom2015
Mehmet
Bagatir
Illustrative Implementierung von Quantenalgorithmen Bachelor2014
Tino
Flenker
Wörterbuchgenerierung für die Lokalisierung von Verzögerungsfehlern in LogikschaltungenDiplom2014
Xiao
Gao
Charakterisierung der Fehler von Eingebetteten SystemenMaster2014
Murat
Göksu
Entwurf und Implementierung einer zur Laufzeit konfigurierbaren Logging-Komponente für SatellitenMaster2014
Amatulwaseh
Hayat
Analyse von strukturell monotonen reversiblen SchaltkreisenDiplom2014
Vladimir
Herdt
Complete Symbolic Simulation of SystemC ModelsMaster2014
Sebastian
Huhn
Verwendung strukturellen Wissens in formalen Beweistechniken zur Beschleunigung der TestgenerierungMaster2014
Philipp
Kastner
Vergleich evolutionärer Algorithmen zur Stimuli-Generierung für SystemC-DesignsDiplom2014
Tobias
Kortkamp
An NLP Assistant for ClideBachelor2014
Alexander
Kröker
Synthese von digitalen mikrofluidischen Biochips mit dynamisch wachsendem GridBachelor2014
Max Benjamin
Nitze
Automatisches Ergänzen von Klassendiagrammen mittels InformationsextraktionBachelor2014
Juan Albert Hugo
Prinzhorn Mendia
Verifikation von Bedingungen im C++Diplom2014
Andree
Rebers
WLAN-ferngesteuertes Modellauto auf Basis des Raspberry PiBachelor2014
Tim
Rühenbeck
Automatische Analyse und Verifikation von AIS-DatenBachelor2014
Frerk
Steen
Fehlertolerante drahtlose Kommunikation an Bord des Gossamer I-SatellitenBachelor2014
Arman
Allahyari-Abhari
Exakte Synthese minimaler NCV-|v1>-QuantenschaltkreiseDiplom2013
Luka
Dschaak
Ermittlung der optimalen Ausbeute: Was gibt mein Kühlschrank wirklich her?Bachelor2013
Andrej
Fast
Verbesserung der Fehlertoleranz von ANSI-C Programmen durch Simulation und genetische AlgorithmenDiplom2013
Torben
Hansing
Modellgetriebene Simulation von MicrocontrollersystemenBachelor2013
Sascha
Hestermann
Hardwarebeschleunigung eines ErfüllbarkeitsbeweisersBachelor2013
Tobias
Koehler
Vergleich von formalen Methoden zur Fehlerlokalisierung in SoftwareDiplom2013
Niklas
Krafczyk
Automatische Integration von Hardware-Modulen auf Register-Transfer-EbeneBachelor2013
Aaron Frederick
Lye
Optimization of Quantum Circuits for Linear Nearest Neighbor ArchitecturesBachelor2013
Ali
Mohammadzadeh
Synthese reversibler Funktionen mithilfe des ZauberwürfelsBachelor2013
Marc
Niehaus
Comparing UML Models to Natural Language SpecificationsBachelor2013
Lennart
Pleuß
Entwicklung einer domänenspezifischen Sprache und eines Editors auf Basis von Xtext zur Erstellung von GUI-ModellenBachelor2013
Nils
Przigoda
Algorithmen von Quantencomputern und Anwendung von Boolescher Erfüllbarkeit im EntwurfDiplom2013
Abirami
Puvanendran
Testgetriebener Systementwurf auf Basis von SysML ModellenDiplom2013
Matthias
Schilmann
Optimierung von Tiefenkosten auf reversibler EbeneDiplom2013
Kenneth
Schmitz
Simultane Testmustergenerierung für Mehrfach Einzelfehler mittels Pseudo-Boolescher Optimierung zur Erzeugung kompakter TestmengenDiplom2013
Karl
Trzebiatowski
Automatisierung eines Zuweisungssystems für die LehramtausbildungDiplom2013
Aljoscha
Windhorst
Entwurf und Implementierung eines C-Beweisers für die funktionale AbdeckungsanalyseDiplom2013
Mathäus
Wojt
Fehlerdiagnose reversibler Schaltungen unter Ausnutzung von Verfahren für den Online TestDiplom2013
Bastian
Blachetta
SystemC-Synthese aus SysML-ModellenMaster2012
Pavel
Dimitrov
Autonomous Track Control Systems for TrainsDiplom2012
Vladimir
Herdt
Nachweis von Zusicherungen für SystemC Modelle mithilfe symbolischer SimulationBachelor2012
Christoph
Hilken
Verifikation dynamischer Aspekte in SysML ModellenMaster2012
Sebastian
Huhn
Entwurf eines generischen multifunktionalen 868 MHz Funkempfängermoduls auf Basis eines MikrocontrollersBachelor2012
Eugen
Kuksa
Generierung von OCL-Ausdrücken aus eingeschränkt natürlichsprachlichen BeschreibungenBachelor2012
Christian
Otterstedt
Optimierung von Quantenschaltkreisen mit Hilfe von Multiple Target Toffoli GatternMaster2012
Eleonora
Schönborn
Optimierung der Synthese von reversiblen Schaltkreisen mit HardwarebeschreibungssprachenDiplom2012
Wanja
Schöpfer
Modellbasiertes Hardware-Software Codesign für eine Therapiefunktion in einem IntensivbeatmungsgerätMaster2012
Julia
Seiter
Property Checking of Quantum CircuitsDiplom2012
Clemens
Werther
Eine Multiprozessorarchitektur mit Kommunikation über NachrichtenaustauschBachelor2012
Fereshta
Yazdani
Einbettung reversibler Logik in SystemCDiplom2012
Melanie
Diepenbeck
SAT-basierte Fehlererkennung auf Basis des Sigle Stuck-At FehlermodellsDiplom2011
Markus
Groß
Automatische kontrollflussbasierte Programm–Synthese mithilfe formaler MethodenMaster2011
Norman
Gülcü
Einbetten irreversibler Funktionen mit Hilfe evolutionärer AlgorithmenDiplom2011
Sebastian
Jauert
Formale Robustheitsprüfung komplexer Systeme - Steigerung der Effizienz durch Nutzung hierarchischer ZusammenhängeDiplom2011
Markus
Möhrke
Exakte Synthese von NAND-Schaltungen mit ErfüllbarkeitsbeweisernDiplom2011
Keszöcze
Oliver
Realization of Modular Exponentiation in Reversible Logic using Automatic Design MethodsBachelor2011
Bastian
Blachetta
Ausnutzung von Kanonizität in der Darstellung reversibler SchaltkreiseBachelor2010
Philipp
Klaffert
Fehlertolerante Schaltkreise mit geringem Ressourcenbedarf unter Verwendung partieller RedundanzDiplom2010
Stefanie
Meyer
Optimierung der Don't Care Anzahl bei SAT-basierter Testmustergenerierung mittels 3-wertiger LogikDiplom2010
Christian
Otterstedt
Synthese sequentieller reversibler SchaltkreiseBachelor2010
Jan
Carstens
Testmustergenerierung durch Kombination Boolescher BeweiserDiplom2009
Jannes
Dinse
System-on-Chip Entwurf eines RISC mit einem FPGA Diplom2009
Hristina
Fidanoska
Complete Algorithms for Solving the Boolean Satisfaiablitity ProblemBachelor2009
Alexander
Finder
Heuristische Verfahren zur Logiksynthese für Pseudo Kronecker AusdrückeDiplom2009
Manuel
Friebus
Visualisierung von SystemC auf SystemebeneDiplom2009
Markus
Groß
Co-Simulation von SystemC-Modellen unterschiedlicher AbstraktionsebenenBachelor2009
Finn
Haedicke
Constraint gesteuerte pseudo-zufällige Stimuli-Erzeugung basierend auf SMT-BeweisernDiplom2009
Hoang M.
Le
Formal Verification of abstract SystemC designs via Bounded Model CheckingDiplom2009
Andreas
Schröder
Entwicklung eines Synthese-Verfahrens für SystemC-BeschreibungenBachelor2009
Olaf
von der Ahe
Formale Verifikation von sequentiellen Schaltkreisen mittels QBF-BeweisernDiplom2009
Hongyan
Zhang
Modellierung, Validation und Verifikation der SIMATIC S5 CPUDiplom2009
Stefan
Frehse
Formaler Nachweis der Fehlertoleranz von Schaltungen -- Modellierung und effiziente AlgorithmenDiplom2008
Florian
Harjes
Exakte Synthese von MultiplexerschaltkreisenDiplom2008
Marc
Messing
Evaluierung neuer Ansätze zur Fehlersortierung bei der automatischen TestmustergenerierungDiplom2008
Sebastian
Offermann
Faktorisierung mittels SAT-BeweisernDiplom2008
Mathias
Soeken
Vorverarbeitung von Erfüllbarkeitsproblemen auf der WortebeneDiplom2008
Sara
Badkoubeh
Einsatz von interaktiven Lernmodulen in der technischen InformatikDiplom2007
Tim
Cassens
Statische Kompaktierung von Testmustern für SchaltkreiseDiplom2007
Xiaobo
Chen
Exakte Logiksynthese von Quantenschaltkreisen durch das ErfüllbarkeitsproblemDiplom2007
Jinghong
Jin
Voroptimierung von Instanzen des Erfüllbarkeitsproblems durch BDDsDiplom2007
Frank
Riese
Implementierung eines GCC Backends für eine RISC ArchitekturDiplom2007
Stephan
Eggersglüß
Testmustergenerierung für Pfadverzögerungsfehler für industrielle Schaltkreise auf Basis des Erfüllbarkeitsproblems

Ausgezeichnet als beste Abschlussarbeit des Jahrgangs
Diplom2006
Christian
Genz
Analyse und Visualisierung von SystemC-SpezifikationenDiplom2006
Marcin
Grden
Überdeckungsmaße in der formalen Hardware VerifikationDiplom2006
Michael
Klemm
Testmusterkompaktierung mit Genetischen AlgorithmenDiplom2006
Ulrich
Kühne
Modellierung und Verifikation eines RISC Prozessors

Ausgezeichnet mit dem Bremer Studienpreis 2006
Diplom2006
André
Steinkamp
Heuristik Lernen auf der Basis Genetischer Programmierung für das GraphenfärbeproblemDiplom2006
Andre
Sülflow
Über die Anwendung der Mehrzieloptimierung in der Erstellung von Dienstplänen im KrankenhausDiplom2006
Tim
Warode
Strukturelles Lernen in der erfüllbarkeits-basierten TestmustergenerierungDiplom2006
Robert
Wille
Erstellung von Free Binary Decision Diagrams mit SAT-BeweisernDiplom2006
Sebastian
Kinder
Speichereffiziente Manipulation von Entscheidungsdiagrammen: Theorie und Implementierung

Ausgezeichnet mit dem Bremer Ingenieurpreis 2005
Diplom2005



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