Milos Novácek

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 1

Top Topics

Structural Properties

Probabilistic Inference

Top Venues

Publications

Pietro Ferrara, Peter Müller, Milos Novácek
Automatic Inference of Heap Properties Exploiting Value Domains. VMCAI (2015)
Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani
Model Checking and the State Explosion Problem. LASER Summer School (2011)