Homepage
Sitemap
Kontakt




Universität Bremen Universität Bremen Fachbereich 3 Informatik
Home « Arbeitsgruppe « Promotionen

In der Arbeitgruppe ist die Förderung des wissenschaftlichen Nachwuchs von großer Bedeutung. Die folgenden Dissertationen sind in der Arbeitsgruppe auch in enger Zusammenarbeit mit Forschungs- und Industriepartnern entstanden.

Die Liste gibt einen chronologischen Überblick über die Absolventen sowie die Titel der jeweiligen Dissertationen.






Dr. Arun Chandrasekharan

Design Automation Techniques for Approximation Circuits - Synthesis, Verification and Test -, 2017






Dr. Oliver Keszöcze

Exact Design of Digital Microfluidic Biochips, 2017






Dr. Nils Przigoda

SMT-based Validation & Verification of UML/OCL Models, 2017






Dr. Amr Sayed-Ahmed

Highly Automated Formal Verification of Arithmetic Circuits, 2017






Dr. Jannis Stoppe

Non-Intrusive Analysis of Electronic System Level Designs in SystemC, 2017






Dr. Thole Niels

Formal Verification throughout the Development of Robust Systems, 2016






Dr. Ngouo´goum Tague Laura Sandrine

Using Decision Diagrams in the Design of Reversible Circuit, 2016






Dr. Philipp Niemann

Towards Computer-Aided Design of Quantum Logic: Compact Representations and Efficient Synthesis Methods for an Emerging Technology, 2016






Dr. Eleonora Schönborn

Scalable Design and Synthesis of Reversible Circuits, 2016






Dr. Finn Haedicke

High-Quality Hardware Design and Verification using Word-Level Satisfiability Techniques, 2016






Dr. Judith Peters

Exploiting MARTE/CCSL in Modern Design Flows, 2015






Dr. Nabila Abdessaied

Reversible and Quantum Circuits | Optimization and Complexity Analysis, 2015






Dr. Jan Malburg

Feature Localization and Design Understanding for Hardware Designs, 2015






Dr. Melanie Diepenbeck

Completing Behaviour Driven Development for Testing and Verification, 2015






Dr. Julia Seiter

Formal Model Refinement, 2015






Dr. Hoang M. Le

Automated Techniques for Functional Verification at the Electronic System Level, 2015
ausgezeichnet mit dem Sonderpreis des Rotary Clubs Bremen im Rahmen des Bremer Studienpreises 2016
auch vorgestellt im PhD-Forum: DATE 2013 (Best Poster Award)





Dr. Shuo Yang

Improving Coverage in Simulation-based Verification, 2015






Dr. Marc Michael

Methoden zum Erfassen und Entwickeln von SystemC Modellen, 2014






Dr. Elsa Andrea Kirchner

Embedded Brain Reading, 2014






Dr. Mathias Soeken

Formal Specification Level Concepts, Methods, and Algorithms, 2013






Dr. Mehdi Dehbashi

Debug Automation from Pre-Silicon to Post-Silicon, 2013






Dr. Stefan Frehse

Quality and Quantity in Robustness Checking Using Formal Techniques, 2013






Dr. Hongyan Zhang

Testing of Reversible Circuits, 2013






Dr. Beate Kapturek

Vorgehensmodelle für die Technische Dokumentation Eingebetteter Systeme, 2013






Dr. Daniel Tille

Advanced Utilization of Formal Methods in Automatic Test Pattern Generation for Industrial Designs, 2011
auch vorgestellt im Student-Forum: ETS 2009





Dr. Stephan Eggersglüß

Robust Algorithms for High Quality Test Pattern Generation Using Boolean Satisfiability, 2010
auszeichnet mit
dem EDAA Outstanding Dissertation Award 2011
dem IEEE TTTC's E.J. McCluskey 2010 Best Doctoral Thesis Award
dem Sonderpreis der Bruker Daltonik GmbH im Rahmen des Bremer Studienpreises 2011

auch vorgestellt im PhD-Forum: DATE 2009





Dr. André Sülflow

WoLFram – A Word Level Framework for Formal Verification and its Application, 2010
auch vorgestellt im PhD-Forum: DATE 2011





Dr. Robert Wille

Towards a Design Flow for Reversible Logic, 2009
ausgezeichnet mit dem Sonderpreis des Rotary Clubs Bremen im Rahmen des Bremer Studienpreises 2010
auch vorgestellt im PhD-Forum: DAC 2009





Dr. Ulrich Kühne

Advanced Automation in Formal Verification of Processors, 2009
auch vorgestellt im PhD-Forum: DATE 2010





Dr. Frank Rogin

An Integrated Approach to Utilize Designer´s Debug Capacity in System-on-a-Chip Designs, 2009
auch vorgestellt im PhD-Forum: DATE 2009





Dr. Daniel Große

Quality-Driven Design and Verification Flow for Digital Systems, 2008
ausgezeichnet mit dem Sonderpreis der Bruker Daltonik GmbH im Rahmen des Bremer Studienpreises 2009
auch vorgestellt im PhD-Forum: DATE 2008





Dr. Sebastian Kinder

Automated Validation and Verification of Railway Specific Components and Systems, 2008






Dr. Junhao Shi

Boolean Techniques in Testing of Digital Circuits, 2007






Dr. Görschwin Fey

Increasing Robustness and Usability of Circuit Design Tools by Using Formal Techniques, 2006
auch vorgestellt im PhD-Forum: DATE 2007





English









Zum Seitenanfang Zur Homepage
Zur Sitemap
Kontakt