Jiří Weiser

2016

Jiří Weiser:
TCP vrstva pro verifikační nástroj DIVINE,
Diplomová práce, 2016. [bibtex, pdf, url]

2015

Jiří Barnat, Petr Ročkai, Vladimír Štill, and Jiří Weiser:
Fast, Dynamically-Sized Concurrent Hash Table,
Model Checking Software (SPIN 2015), Springer International Publishing, 2015, volume 9232 of Lecture Notes in Computer Science, 49-65. [bibtex, pdf, url]

2013

Jiří Barnat, Luboš Brim, Vojtěch Havel, Jan Havlíček, Jan Kriho, Milan Lenčo, Petr Ročkai, Vladimír Štill, and Jiří Weiser:
DiVinE 3.0 – An Explicit-State Model Checker for Multithreaded C & C++ Programs,
Computer Aided Verification, Springer Berlin Heidelberg, 2013, volume 8044 of Lecture Notes in Computer Science, 863–868. [bibtex, url]

Jiří Weiser:
Dynamicky rostoucí sdílená hašovací tabulka pro DiVinE,
Bakalářská práce, 2013. [bibtex, pdf, url]