Publikationen

Seite 1 von 2.

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