2 Einträge gefunden

1. A non-convex abstract domain for the value analysis of binaries

   1. Mattsen, Sven
   2. Wichmann, Arne
   3. Schupp, Sibylle

   2015 - TUHH Open Research
2. Driving a sound static software analyzer with branch-and-bound

   1. Mattsen, Sven
   2. Cuoq, Pascal
   3. Schupp, Sibylle

   2013 - TUHH Open Research