Sören Tempel

From MaRDI portal
Person:6700867

MaRDI QIDQ6700867ORCIDFDO



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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