Non-Intrusive High-level SystemC Debugging. - Frank Rogin; Erhard Fehlauer; Steffen Rülke; Sebastian Ohnewald; Thomas Berndt (FDL, 2006)

Debug Patterns for Efficient High-level SystemC Debugging. - Frank Rogin; Erhard Fehlauer; Christian Haufe; Sebastian Ohnewald (DDECS, 2007)

An Integrated SystemC Debugging Environment. - Frank Rogin; Christian Genz; Rolf Drechsler; Steffen Rülke (FDL, 2007)

Automatic Generation of Complex Properties for Hardware Designs. - Frank Rogin; Thomas Klotz; Görschwin Fey; Rolf Drechsler; Steffen Rülke (DATE, 2008)

Ad-Hoc Translations to Close Verilog Semantics Gap. - Christian Haufe; Frank Rogin (DDECS, 2008)

Automatic debugging of System-on-a-Chip designs. - Frank Rogin; Rolf Drechsler; Steffen Rülke (SoCC, 2009)

Advanced verification by automatic property generation. - Frank Rogin; Thomas Klotz; Görschwin Fey; Rolf Drechsler; Steffen Rülke (IET Comput. Digit. Tech., 2009)

Debugging at the Electronic System Level. - Frank Rogin; Rolf Drechsler (Springer, 2010)