Embedded Intelligence

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 …

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, …

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 …

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 …

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, …

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, …

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

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