Homepage
Sitemap
Kontakt




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

in unseren Arbeitsgruppen 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,
Prof. Dr. Görschwin Fey &
Prof. Dr.-Ing. Tim Güneysu

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


Master
NameThemaJahr
Lars
Schmertmann
Analyse von SHA256 mit Hilfe von CryptoMiniSat2017
Dan
Sörgel
Generierung von UVM-SystemC Testumgebungen unter Verwendung von Testfalltransformation2017
Eike
Behrends
Detektion von Abhängigkeiten zwischen User Stories mittels NLP2016
Ronald Smith
Djomkam Yotedje
Generic Information Extraction Using Triple-Store Databases2016
Max Benjamin
Nitze
Constraint-based Test-Data Generation2016
Carsten
Schiefelbein
Entwurf einer drahtlosen Schnittstelle für die Onboard-Kommunikation am Beispiel des Kompaktsatelliten Eu:CROPIS2016
Alexander T.
Lange
Konzeptentwurf einer ereignisbasierten Steuerung für Raumfahrzeuge2015
Maxime Djao
Mola
Optimierung von Quantenschaltungen für Nearest Neighbor Architekturen2015
Katrin
Thielmann
Hardware-in-the-loop-Testen von Satelliten-on-Board-Komponenten: Design und Implementierung eines Testframeworks2015
Clemens
Werther
Allgemeine Probleme der Handlungsreise Ablaufplanung unter Realbedingungen2015
Xiao
Gao
Charakterisierung der Fehler von Eingebetteten Systemen2014
Murat
Göksu
Entwurf und Implementierung einer zur Laufzeit konfigurierbaren Logging-Komponente für Satelliten2014
Vladimir
Herdt
Complete Symbolic Simulation of SystemC Models2014
Sebastian
Huhn
Verwendung strukturellen Wissens in formalen Beweistechniken zur Beschleunigung der Testgenerierung2014
Bastian
Blachetta
SystemC-Synthese aus SysML-Modellen2012
Christoph
Hilken
Verifikation dynamischer Aspekte in SysML Modellen2012
Christian
Otterstedt
Optimierung von Quantenschaltkreisen mit Hilfe von Multiple Target Toffoli Gattern2012
Wanja
Schöpfer
Modellbasiertes Hardware-Software Codesign für eine Therapiefunktion in einem Intensivbeatmungsgerät2012
Markus
Groß
Automatische kontrollflussbasierte Programm–Synthese mithilfe formaler Methoden2011



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