Meine Forschung liegt im Bereich des automatischen Debuggings für Eingebettete System. Die Entwicklung von formalen und semi-formalen Methoden steht dabei im Fokus.
Debug Automation from Pre-Silicon to Post-Silicon
Transaction-based online debug for NoC-based multiprocessor SoCs
Debug Automation for Logic Circuits Under Timing Variations
Automated Design Debugging in a Testbench-Based Verification Environment