S. Rülke

Statistics

Publications

Citations

H-Index

Active since

1997

Affiliations

Fraunhofer Institute for Integrated Circuits(Current)

University of Bremen

S. Rülke is an author at Fraunhofer Institute for Integrated Circuits specializing in computer engineering, computer science, and simulation-based design.

Publications per year

1997–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

Low power design of FSMs by state assignment and disabling self-loops

M. Koegst, G. Franke, S. Rülke et al. · 1997 · 12 citations

Engineering, Computer Engineering, Electrical Engineering +17

1–4 of 4