Sören Tempel

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 16

Top Topics

Operating System

Minimally Invasive

Instruction Set Architecture

Top Venues

J. Syst. Archit.

Publications

Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler
BinSym: Binary-Level Symbolic Execution using Formal Descriptions of Instruction Semantics. CoRR (2024)
Sören Tempel, Vladimir Herdt, Rolf Drechsler
Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT. IEEE Internet Things J. 10 (11) (2023)
Sören Tempel, Tobias Brandt, Christoph Lüth, Rolf Drechsler
Minimally Invasive Generation of RISC-V Instruction Set Simulators from Formal ISA Models. FDL (2023)
Sören Tempel, Tobias Brandt, Christoph Lüth
Versatile and Flexible Modelling of the RISC-V Instruction Set Architecture. TFP (2023)
Sören Tempel, Vladimir Herdt, Rolf Drechsler
Automated Detection of Spatial Memory Safety Violations for Constrained Devices. ASP-DAC (2022)
Sören Tempel, Vladimir Herdt, Rolf Drechsler
SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification. ATVA (2022)
Sören Tempel, Vladimir Herdt, Rolf Drechsler
Towards Quantification and Visualization of the Effects of Concretization During Concolic Testing. IEEE Embed. Syst. Lett. 14 (4) (2022)
Jan Zielasko, Sören Tempel, Vladimir Herdt, Rolf Drechsler
3D Visualization of Symbolic Execution Traces. FDL (2022)
Sören Tempel, Vladimir Herdt, Rolf Drechsler
SymEx-VP: An open source virtual prototype for OS-agnostic concolic testing of IoT firmware. J. Syst. Archit. 126 (2022)
Sören Tempel, Vladimir Herdt, Rolf Drechsler
Towards Reliable Spatial Memory Safety for Embedded Software by Combining Checked C with Concolic Testing. DAC (2021)
Vladimir Herdt, Sören Tempel, Daniel Große, Rolf Drechsler
Mutation-based Compliance Testing for RISC-V. ASP-DAC (2021)
Sören Tempel, Vladimir Herdt, Rolf Drechsler
An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes. DATE (2021)
Vladimir Herdt, Daniel Große, Sören Tempel, Rolf Drechsler
Adaptive simulation with Virtual Prototypes in an open-source RISC-V evaluation platform. J. Syst. Archit. 116 (2021)
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. FDL (2021)
Sören Tempel, Tristan Bruns
RIOT-POLICE: An implementation of spatial memory safety for the RIOT operating system. CoRR (2020)
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. ICCD (2020)