Login / Signup
Alexander Pretschner
ORCID
Publication Activity (10 Years)
Years Active: 1999-2024
Publications (10 Years): 143
Top Topics
Physical Systems
Malware Detection
Symbolic Execution
Failure Diagnosis
Top Venues
CoRR
Inform. Spektrum
ICST
ITSC
</>
Publications
</>