Embedded Intelligence

Page 3 of 8.

1. Niklas Bruns; Vladimir Herdt; Rolf Drechsler

   Unified HW/SW Coverage: A Novel Metric to Boost Coverage-guided Fuzzing for Virtual Prototype based HW/SW Co-Verification

   In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

2. Jan Zielasko; Sören Tempel; Vladimir Herdt; Rolf Drechsler

   3D Visualization of Symbolic Execution Traces

   In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2022), September 14-16, Linz, Austria, 2022.

3. Sören Tempel; Vladimir Herdt; Rolf Drechsler

   SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification

   In: Automated Technology for Verification and Analysis (ATVA). International Symposium on Automated Technology for Verification and Analysis …

4. Sören Tempel; Vladimir Herdt; Rolf Drechsler

   Symbolic Execution for RISC-V Embedded Software Using SystemC Peripheral Models

   In: 3rd International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, September 15-16, London, United Kingdom, 2022.

5. Sören Tempel; Vladimir Herdt; Rolf Drechsler

   Automated Testing of RIOT modules using SymEx-VP

   In: RIOT Summit 2022. RIOT Summit, 7th get-together of the friendly Operating System for the Internet of Things, September 5-6, Hamburg, Germany, …

6. Sallar Ahmadi-Pour; Vladimir Herdt; Rolf Drechsler

   The MicroRV32 framework: An Accessible and Configurable Open Source RISC-V Cross-Level Platform for Education and Research

   In: Journal of Systems Architecture: Embedded Software Design (JSA), Vol. 133, Elsevier, 2022.

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

   Mutation-based Compliance Testing for RISC-V

   In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021), January …

8. Sören Tempel; Vladimir Herdt; Rolf Drechsler

   An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, Grenoble, France, 2021.

9. Shubham Rai; Siddharth Garg; Christian Pilato; Vladimir Herdt; Elmira Moussavi; Dominik Sisejkovic; Ramesh Karri; Rolf Drechsler; Farhad Merchant; Akash Kumar

   Vertical IP Protection of the Next-Generation Devices: Quo Vadis?

   In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2021), February 1-5, Grenoble, France, 2021.

10. Vladimir Herdt; Rolf Drechsler

    Efficient Techniques to Boost RISC-V Compliance Testing

    In: Workshop on Interdependent Challenges of Reliability, Security and Quality (RESCUE). Workshop on Interdependent Challenges of Reliability, …

• previous
• 1
• …
• 2
• 3
• 4
• …
• 8
• next