Cyber-Physical Systems

Page 2 of 2.

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

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

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

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

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

   Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing

   In: 58th Design Automation Conference (DAC). Design Automation Conference (DAC-2021), December 5-9, San Francisco, CA, USA, 2021.

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

   Adaptive Simulation with Virtual Prototypes in an Open-Source RISC-V Evaluation Platform

   In: Journal of Systems Architecture: Embedded Software Design (JSA), Elsevier, 2021.

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

   In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes

   In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2021), September 8-10, Antibes/Hybrid, France, …

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

   Verification of RISC-V Embedded Software by Integrating Concolic Testing with SystemC-based Virtual Prototypes

   In: 4th Workshop on RISC-V Activities. Workshop on RISC-V Activities, December 2, virtuell, 2021.

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

• 1
• 2