Mgr. Jiří Weiser

Department of Computer Systems and Communications

E‑mail:

Basic information

Type

Total number of publications: 3

2015

Fast, Dynamically-Sized Concurrent Hash Table

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

Article in Proceedings

Model Checking Software, year: 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

Year: 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ří

Article in Proceedings

Computer Aided Verification 2013, year: 2013