Sören Tempel

From MaRDI portal
Person:6700867

Available identifiers

MaRDI QIDQ6700867

List of research outcomes





PublicationDate of PublicationType
Artifacts for the IEEE Internet of Things Journal Publication: Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT2023-01-09Dataset
Artifacts for the 2022 ATVA Paper: SISL: Concolic Testing of Structured Binary Input Formats via Partial Specification2022-07-06Dataset
Artifacts for the FDL21 Paper: In-Vivo Stack Overflow Detection and Stack Size Estimation for Low-End Multithreaded Operating Systems using Virtual Prototypes2021-09-08Dataset

Research outcomes over time

This page was built for person: Sören Tempel

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6700867&oldid=42072352"
Powered by MediaWiki