Robotics Innovation Center

Page 6 of 10.

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

   Verifying Instruction Set Simulators using Coverage-guided Fuzzing

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

2. 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.

3. Mehran Goli; Muhammad Hassan; Daniel Große; Rolf Drechsler

   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.

4. Daniel Große; Sara Vinco; Hiren Patel (Eds.)

   Languages, Design Methods, and Tools for Electronic System Design - Selected Contributions from FDL 2017

   Springer, 2019.

5. 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. Springer, 2019.

6. 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.

7. 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.

8. 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 Computing (ARC-2019), April 9-11, Darmstadt, Germany, 2019.

9. 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.

10. 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.

• previous
• 1
• …
• 5
• 6
• 7
• …
• 10
• next