BDD-based value analysis for X86 executables Mattsen, Sven 2017 - TUHH Open Research - frei zugänglich
A non-convex abstract domain for the value analysis of binaries Mattsen, Sven Wichmann, Arne Schupp, Sibylle 2015 - TUHH Open Research
Driving a sound static software analyzer with branch-and-bound Mattsen, Sven Cuoq, Pascal Schupp, Sibylle 2013 - TUHH Open Research