Openings
Available Theses
HiWi Calls
PhD and PostDoc Positions
Research @ COMSYS
Research Vision
Publications
Books
Technical Reports
Projects
Past Projects
Research Groups
Cyber-Physical Systems
Network Architectures
Security and Privacy
Systems Analysis
Research Overview
Industrial Internet of Things
Internet Measurements
Medical Data (Privacy)

Publications

Year:  
All :: 2005, ... , 2019, 2021, 2022, 2023
Author:  
All :: A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, Ö, P, Q, R, S, T, U, V, W, X, Y, Z 
All :: Cadar, ... , Chao, Cheng, Choffnes, ... , Cutting-Decelle 
42.
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, and Cristian Cadar
A Deterministic Memory Allocator for Dynamic Symbolic Execution
European Conference on Object-Oriented Programming (ECOOP 2022)
June 2022
DOI: 10.4230/LIPIcs.ECOOP.2022.9
Export as:
BibTeX, XML
- Impressum | Datenschutz -