Model Checking and the State Explosion Problem. - Edmund M. Clarke; William Klieber; Milos Novácek; Paolo Zuliani (LASER Summer School, 2011)

Automatic Inference of Heap Properties Exploiting Value Domains. - Pietro Ferrara 001; Peter Müller 001; Milos Novácek (VMCAI, 2015)