Skip to main content Skip to main navigation

Robotics Innovation Center

Publications

Page 6 of 10.

  1. Saman Fröhlich; Daniel Große; Rolf Drechsler

    One Method - All Error-Metrics: A Three-Stage Approach for Error-Metric Evaluation in Approximate Computing

    In: Design, Automation and Test in Europe (DATE). Design, Automation & Test in Europe (DATE-2019), March 25-29, Florence, Italy, 2019.

  2. Security Validation of VP-based SoCs Using Dynamic Information Flow Tracking

    In: Stefan Conrad; Paul Molitor (Hrsg.). IT - information technology (IT), DE GRUYTER OLDENBOURG, 2019.

  3. Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler

    Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach

    In: Daniel Große; Sara Vinco; Hiren Patel. Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2017. …

  4. Saman Fröhlich; Daniel Große; Rolf Drechsler

    Approximate Hardware Generation Using Formal Techniques

    In: Sherief Reda; Muhammad Shafique. Approximate Circuits: Methodologies and CAD. Pages 155-174, Approximate Circuits: Methodologies and CAD, 2019.

  5. Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler

    Combining Sequentialization-based Verification of Multi-Threaded C Programs with Symbolic Partial Order Reduction

    In: International Journal on Software Tools for Technology Transfer (STTT), 2019.

  6. Kenneth Schmitz; Buse Ustaoglu; Daniel Große; Rolf Drechsler

    (ReCo) Fuse Your PRC or Lose Security: Finally Reliable Reconfiguration-based Countermeasures on FPGAs

    In: Proceedings of the 15th International Symposium on Applied Reconfigurable Computing (ARC). International Symposium on Applied Reconfigurable …

  7. Vladimir Herdt; Daniel Große; Hoang M. Le; Rolf Drechsler

    Early Concolic Testing of Embedded Binaries with Virtual Prototypes: A RISC-V Case Study

    In: Design Automation Conference (DAC). Design Automation Conference (DAC-2019), June 2-6, Las Vegas, Nevada, USA, 2019.

  8. Alireza Mahzoon; Daniel Große; Rolf Drechsler

    RevSCA: Using Reverse Engineering to Bring Light intoBackward Rewriting for Big and Dirty Multipliers

    In: Design Automation Conference (DAC). Design Automation Conference (DAC-2019), June 2-6, Las Vegas, USA, 2019.

  9. Marcel Walter; Robert Wille; Daniel Große; Frank Sill Torres; Rolf Drechsler

    Placement & Routing for Tile-based Field-coupled Nanocomputing Circuits is NP-complete

    In: Journal on Emerging Technologies in Computing Systems (JETC), Vol. 15, No. 29, ACM, 2019.

Contact

Main site in Bremen

Phone: +49 421 17845 0
Fax: +49 421 17845 4150


Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI)
Robotics Innovation Center
Robert-Hooke-Str. 1
28359 Bremen
Germany