Sven Mattsen

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 2

Top Topics

Tree Search Algorithm

Branch And Bound Search

Top Venues

Softwaretechnik-Trends

Technical University of Hamburg, Germany (PHD)

Education History

Technical University of Hamburg, Germany

PHD

Publications

Sven Mattsen, Sibylle Schupp
The Challenge of Indirection: Treating Flags During Sound Analysis of Machine Code. Softwaretechnik-Trends 36 (2) (2016)
Sven Mattsen, Arne Wichmann, Sibylle Schupp
A non-convex abstract domain for the value analysis of binaries. SANER (2015)
Sven Mattsen, Pascal Cuoq, Sibylle Schupp
Driving a sound static software analyzer with branch-and-bound. SCAM (2013)