|
|
TEAM - 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.
|
|
| Name |
Topic |
Year |
| Große, Daniel |
Quality-Driven Design and Verification Flow for Digital Systems |
2008 |
| Kinder, Sebastian |
Automated Validation and Verification of Railway Specific Components and Systems |
2008 |
| Shi, Junhao |
Boolean Techniques in Testing of Digital Circuits |
2007 |
| Fey, Görschwin |
Increasing Rubustness and Usability of Circuit Design Tools by Using Formal Techniques |
2006 |
|
|
|
