Skip to main content Skip to main navigation

Publications

Page 1 of 3.

  1. Sören Tempel; Tobias Brandt; Christoph Lüth; Christian Dietrich; Rolf Drechsler

    Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.

  2. Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler

    Symbolic Execution of Binary Code based on Formal ISA Semantics

    In: 4th International KLEE Workshop on Symbolic Execution. KLEE Workshop on Symbolic Execution, April 14-16, Lisbon, Portugal, 2024.

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

    Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT

    In: IEEE Internet of Things Journal (IoT), Vol. o.a. IEEE, 2023.

  4. Sören Tempel; Tobias Brandt; Christoph Lüth

    Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture

    In: 24th International Symposium on Trends in Functional Programming (TFP). International Symposium on Trends in Functional Programming (TFP-2023), January 12-15, Boston, MA, USA, 2023.

  5. Niklas Bruns; Sallar Ahmadi-Pour; Sören Tempel; Rolf Drechsler

    Towards Comprehensive Verification of Hardware and Software for RISC-V based Embedded Systems

    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-2023), March 23-24, 2023.

  6. Sören Tempel; Tobias Brandt; Christoph Lüth; Rolf Drechsler

    Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models

    In: Forum on specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2023), September 13-15, Turin, Italy, 2023.

  7. Sören Tempel; Rolf Drechsler

    Automated Testing of Stateful Network Protocol Implementations in the IoT

    In: ROIT Summit. RIOT Summit, September 18-19, Frankfurt am Main, Germany, 2023.

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

    Automated Detection of Spatial Memory Safety Violations for Constrained Devices

    In: 27th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC), January 17-20, 2022.

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

    SymEx-VP: An Open Source Virtual Prototype for OS-Agnostic Concolic Testing of IoT Firmware

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

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

    Towards Quantification and Visualization of the Effects of Concretization during Concolic Testing

    In: IEEE Embedded Systems Letters (ESL), IEEE, 2022.