Skip to main content Skip to main navigation

Publications

Page 6 of 8.

  1. Vladimir Herdt; Daniel Große; Rolf Drechsler

    Fuzz-Testing RISC-V Simulators

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2020), March 19-20, Stuttgart, Germany, 2020.

  2. Vladimir Herdt; Rolf Drechsler

    Efficient Techniques to Strongly Enhance the Virtual Prototype based Design Flow

    In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2020), July 6-8, Limassol, Cyprus, 2020.

  3. Vladimir Herdt; Daniel Große; Rolf Drechsler

    RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms

    In: 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis. International Symposium on Automated Technology for Verification and Analysis (ATVA-2020), October 19-23, Hanoi, Viet Nam, 2020.

  4. Vladimir Herdt; Daniel Große; Eyck Jentzsch; Rolf Drechsler

    Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study

    In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2020), September 15-17, Kiel, Germany, 2020.

  5. Tim Meywerk; Marcel Walter; Vladimir Herdt; Jan Kleinekathöfer; Daniel Große; Rolf Drechsler

    Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling

    In: 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-2020), October 20-24, Rhodes, Greece, 2020.

  6. Vladimir Herdt; Daniel Große; Rolf Drechsler

    Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

    ISBN 978-3-030-54827-8, Springer, 2020.

  7. Vladimir Herdt; Daniel Große; Sören Tempel; Rolf Drechsler

    Adaptive Simulation with Virtual Prototypes for RISC-V: Switching Between Fast and Accurate at Runtime

    In: 38th IEEE International Conference on Computer Design (ICCD). IEEE International Conference on Computer Design (ICCD-2020), October 18-21, Hartford, USA, 2020.

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

    Maximizing Power State Cross Coverage in Firmware-based Power Management

    In: 24th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-24), 24th, January 21-24, Tokyo, Japan, 2019.

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

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