Steffen Rlke
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
5
Active years
2001–2012
Best venue rank
C
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | DDECS | Bounded model checking of Contiki applications. | Thilo Vrtler, Steffen Rlke, Petra Hofstedt |
| 2008 | DATE | Automatic Generation of Complex Properties for Hardware Designs. | Frank Rogin, Thomas Klotz, Grschwin Fey, Rolf Drechsler, Steffen Rlke |
| 2007 | DSD | A Run-Time Scheduling Framework for a Reconfigurable Hardware Emulator. | Rene Beckert, Thomas Fuchs, Steffen Rlke, Wolfram Hardt |
| 2007 | FDL | An Integrated SystemC Debugging Environment. | Frank Rogin, Christian Genz, Rolf Drechsler, Steffen Rlke |
| 2007 | RSP | A Tailored Design Partitioning Method for Hardware Emulation. | Rene Beckert, Thomas Fuchs, Steffen Rlke, Wolfram Hardt |
| 2006 | FDL | Non-Intrusive High-level SystemC Debugging. | Frank Rogin, Erhard Fehlauer, Steffen Rlke, Sebastian Ohnewald, Thomas Berndt |
| 2004 | DSD | Cost-Efficient Implementation of Adaptive Finite State Machines. | Maik Boden, Manfred Koegst, Jos Luis Tiburcio Bada, Steffen Rlke |
| 2002 | DSD | Enhanced Reusability for SoC-Based HW/SW Co-Design. | Maik Boden, Jrg Schneider, Klaus Feske, Steffen Rlke |
| 2002 | DSD | Use of HDL Code Checkers to Support the IP Entrance Check - A Requirement Analysis. | Ronny Frevert, Steffen Rlke, Torsten Schfer, Frank Dresig |
| 2001 | DSD | Two-Criterial Constraint-Driven FSM State Encoding for Low Power. | Manfred Koegst, Steffen Rlke, Gnter Franke, Maria J. Avedillo |