|
Dr. Hongyan Zhang
Testing of Reversible Circuits, 2013
|
|
Dr. Beate Kapturek
Vorgehensmodelle für die Technische Dokumentation Eingebetteter Systeme, 2013
|
|
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 EDAA Outstanding Dissertation Award 2011
dem IEEE TTTC's E.J. McCluskey 2010 Best Doctoral Thesis Award
dem Sonderpreis der Bruker Daltonik GmbH im Rahmen des Bremer Studienpreises 2011
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
ausgezeichnet mit dem Sonderpreis des Rotary Clubs Bremen im Rahmen des Bremer Studienpreises 2010
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
|
