Debugging VHDL Designs Using Temporal Process Instances. - Daniel Köb; Bernhard Peischl; Franz Wotawa (IEA/AIE, 2003)

Introducing Alias Information into Model-Based Debugging. - Daniel Köb; Franz Wotawa (ECAI, 2004)

Diagnosing Java Programs with Static Abstractions of Data Structures. - Rong Chen; Daniel Köb; Franz Wotawa (IIP, 2004)

Improving Fault Localization of Programs by Using Labeled Dependencies. - Rong Chen; Daniel Köb; Franz Wotawa (KI, 2004)

Fundamentals of Debugging Using a Resolution Calculus. - Daniel Köb; Franz Wotawa (FASE, 2006)