DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs. - Jiri Barnat; Lubos Brim; Vojtech Havel; Jan Havlícek; Jan Kriho; Milan Lenco; Petr Rockai; Vladimír Still; Jirí Weiser (CAV, 2013)

Fast, Dynamically-Sized Concurrent Hash Table. - Jiri Barnat; Petr Rockai; Vladimír Still; Jirí Weiser (SPIN, 2015)