2015

• Fast, Dynamically-Sized Concurrent Hash Table

  BARNAT Jiří ROČKAI Petr ŠTILL Vladimír WEISER Jiří

  Článek ve sborníku

  Model Checking Software, rok: 2015

2013

• DIVINE 3.0

  ROČKAI Petr BARNAT Jiří ŠTILL Vladimír WEISER Jiří BRIM Luboš HAVEL Vojtěch HAVLÍČEK Jan KRIHO Jan

  Software

  Rok: 2013

• DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs

  BARNAT Jiří BRIM Luboš HAVEL Vojtěch HAVLÍČEK Jan KRIHO Jan LENČO Milan ROČKAI Petr ŠTILL Vladimír WEISER Jiří

  Článek ve sborníku

  Computer Aided Verification 2013, rok: 2013