|
Home « Group « Doctoral Thesis
|
Supporting doctoral candidates is very important. The following doctoral theses have been
supervised in the group, the list gives a chronological overview of authors and titles.
|
|
|
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
also presented at PhD-Forum: DATE 2009
|
|
Dr. Daniel Große
Quality-Driven Design and Verification Flow for Digital Systems, 2008
also presented at 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
also presented at PhD-Forum: DATE 2007
|
|
|
|
