|
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. Ulrich Kühne
Advanced Automation in Formal Verification of Processors, 2009
|
|
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
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 Rubustness and Usability of Circuit Design Tools by Using Formal Techniques, 2006
auch vorgestellt im PhD-Forum: DATE 2007
|
|
|
|
