Homepage Sitemap Contact

Group
Reasearch
Studies
Publications
Service
Contact




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





Lesezeichen setzen
English









Sitemap Kontakt