Travelled to:
2 × Canada
Collaborated with:
S.Schupp S.Mattsen S.Toprak
Talks about:
lightweight (1) structur (1) abstract (1) regular (1) express (1) control (1) assembl (1) analysi (1) visual (1) domain (1)
Person: Arne Wichmann
DBLP: Wichmann:Arne
Contributed to:
Wrote 2 papers:
- SANER-2015-MattsenWS #abstract domain #analysis
- A non-convex abstract domain for the value analysis of binaries (SM, AW, SS), pp. 271–280.
- VISSOFT-2014-ToprakWS #assembly #control flow #lightweight #regular expression #visualisation
- Lightweight Structured Visualization of Assembler Control Flow Based on Regular Expressions (ST, AW, SS), pp. 97–106.