Frank Rogin

According to our database, Frank Rogin authored at least 8 papers between 2006 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Debugging at the Electronic System Level.

Frank Rogin, Rolf Drechsler

Springer, ISBN: 978-90-481-9254-0, 2010

2009

Advanced verification by automatic property generation.

Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke

IET Comput. Digit. Tech., 2009

Automatic debugging of System-on-a-Chip designs.

Frank Rogin, Rolf Drechsler, Steffen Rülke

Proceedings of the Annual IEEE International SoC Conference, SoCC 2009, 2009

2008

Ad-Hoc Translations to Close Verilog Semantics Gap.

Christian Haufe, Frank Rogin

Proceedings of the 11th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2008), 2008

Automatic Generation of Complex Properties for Hardware Designs.

Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke

Proceedings of the Design, Automation and Test in Europe, 2008

2007

An Integrated SystemC Debugging Environment.

Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rülke

Proceedings of the Forum on specification and Design Languages, 2007

Debug Patterns for Efficient High-level SystemC Debugging.

Frank Rogin, Erhard Fehlauer, Christian Haufe, Sebastian Ohnewald

Proceedings of the 10th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2007), 2007

2006

Non-Intrusive High-level SystemC Debugging.

Frank Rogin, Erhard Fehlauer, Steffen Rülke, Sebastian Ohnewald, Thomas Berndt

Proceedings of the Forum on specification and Design Languages, 2006