-
VERSTOEP, Kees; Henri E. BAL; Jiří BARNAT and Luboš BRIM. Efficient Large-Scale Model Checking. In 23rd IEEE International Parallel & Distributed Processing Symposium. IEEE: IEEE, 2009, p. 201-212. ISBN 978-1-4244-3751-1.
-
BARNAT, Jiří; Luboš BRIM and Petr ROČKAI. DiVinE Multi-Core -- A Parallel LTL Model-Checker. In Automated Technology for Verification and Analysis. Berlin / Heidelberg: Springer, 2008, p. 234-239. ISBN 978-3-540-88386-9.
-
BARNAT, Jiří; Jakub CHALOUPKA and Jaco VAN DE POL. Improved Distributed Algorithms for SCC Decomposition. Electronic Notes in Theoretical Computer Science. Elsevier, 2008, vol. 2008, 198(1), p. 63-77. ISSN 1571-0661.
-
BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Milan ČEŠKA and Jana TŮMOVÁ. Local Quantitative LTL Model Checking. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008). L'Aquilla: ERCIM, 2008, p. 63-78. ISBN 978-3-642-03239-4.
-
BARNAT, Jiří and Petr ROČKAI. Shared Hash Tables in Parallel Model Checking. Electronic Notes in Theoretical Computer Science. Elsevier, 2008, vol. 2008, 198(1), p. 79-91, 12 pp. ISSN 1571-0661.
-
BARNAT, Jiří and Luboš BRIM. Squeeze All the Power Out of Your Hardware to Verify Your Software! In Leveraging Applications of Formal Methods, Verification and Validation. Berlin Heidelberg: Springer, 2008, p. 604-618. ISBN 978-3-540-88478-1.
-
BARNAT, Jiří; Jakub CHALOUPKA and Jaco VAN DE POL. Improved Distributed Algorithms for SCC Decomposition. CTIT Workshop Proceedings. University of Twente: CTIT, 2007, vol. 2007, WP 07-04, p. 65-80. ISSN 0929-0672.
-
BARNAT, Jiří and Petr ROČKAI. Shared Hash Tables in Parallel Model Checking. CTIT Workshop Proceedings. University of Twente: CTIT, 2007, vol. 2007, WP 07-04, p. 81-95. ISSN 0929-0672.
-
BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Milan ČEŠKA and Jana TŮMOVÁ. Distributed Qualitative LTL Model Checking of Markov Decision Processes. In Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation. Bonn, Germany: University of Bonn, 2006, p. 1-15. ISSN 1571-0661.
-
BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ and Pavel ŠIMEČEK. DIVINE - The Distributed Verification Environment. In In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisboa, Portugal: TU Munchen, 2005, p. 89-94.
-
BARNAT, Jiří; Vojtěch FOREJT; Martin LEUCKER and Michael WEBER. DivSPIN - A SPIN compatible distributed model checker. In Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05). Lisabon, Portugalsko: TU Munchen, 2005, p. 95-100.