|
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 TTTC's E.J. McCluskey 2010 Best Doctoral Thesis Award
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
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
|
