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


Diplom 2009
NameThema
Jan CarstensTestmustergenerierung durch Kombination Boolescher Beweiser
Jannes Dinse System-on-Chip Entwurf eines RISC mit einem FPGA
Alexander FinderHeuristische Verfahren zur Logiksynthese für Pseudo Kronecker Ausdrücke
Manuel FriebusVisualisierung von SystemC auf Systemebene
Finn HaedickeConstraint gesteuerte pseudo-zufällige Stimuli-Erzeugung basierend auf SMT-Beweisern
Hoang M. LeFormal Verification of abstract SystemC designs via Bounded Model Checking
Olaf von der AheFormale Verifikation von sequentiellen Schaltkreisen mittels QBF-Beweisern
Hongyan ZhangModellierung, Validation und Verifikation der SIMATIC S5 CPU



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