[IEEE 2009 IEEE International SOC Conference (SOCC) - Belfast, Northern Ireland (2009.09.9-2009.09.11)] 2009 IEEE International SOC Conference (SOCC) - Automatic debugging of System-on-a-Chip designsRogin, Frank; Drechsler, Rolf; Rulke, Steffen · 2009

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Automatic Generation of Complex Properties for Hardware DesignsRogin, Frank; Klotz, Thomas; Fey, Gorschwin; Drechsler, Rolf; Rulke, Steffen · 2008

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Automatic generation of complex properties for hardware designsRogin, Frank; Klotz, Thomas; Fey, Görschwin; Drechsler, Rolf; Rülke, Steffen · 2008