1. The slam project: debugging system software via static analysis;Ball,2002
2. DiVinE 3.0 – an explicit-state model checker for multithreaded C & C++ programs;Barnat,2013
3. Scalable shared memory LTL model checking;Barnat;Int. J. Softw. Tools Technol. Transf. (STTT),2010
4. Fast, dynamically-sized concurrent hash table;Barnat,2015
5. Model checking LLVM using LTSmin;van der Berg,2013