Frank Rogin

Statistics

Publications

Citations

H-Index

Active since

2008

Affiliations

Fraunhofer Institute for Integrated Circuits(Current)

University of Bremen

Frank Rogin is an author at Fraunhofer Institute for Integrated Circuits specializing in design automation, computer science, and computer engineering.

Publications per year

2008–2009

Publications

Automatic generation of complex properties for hardware designs

Frank Rogin, Thomas Klotz, Görschwin Fey et al. · 2008 · 43 citations

Computing, Computer Engineering, Computer Science +16

Automatic Generation of Complex Properties for Hardware Designs

Frank Rogin, Thomas Klotz, Görschwin Fey et al. · 2008 Design, Automation and Test in Europe · 2008 · 27 citations

Computing, Computer Engineering, Computer Science +16

Advanced verification by automatic property generation

Frank Rogin, Thomas Klotz, Görschwin Fey et al. · IET Computers & Digital Techniques · 2009 · 13 citations

Computing, Computer Engineering, Computer Science +13

Ad-Hoc Translations to Close Verilog Semantics Gap

Christian Haufe, Frank Rogin · 2008 · 12 citations

Engineering, Computer Engineering, Computer Science +17

1–4 of 4