Cache analysis in presence of pointer-based data structures. - Tomasz Dudziak; Jörg Herter (SIGBED Rev., 2011)

Randomized Resource-Aware Path-Sensitive Static Analysis. - Tomasz Dudziak (APLAS, 2015)