prof. RNDr. Jiří Barnat, Ph.D.

Dean, Faculty of Informatics

office: A409
Botanická 554/68a
602 00 Brno

social and academic networks:

Type

Total number of publications: 135

2008

Improved Distributed Algorithms for SCC Decomposition

BARNAT Jiří CHALOUPKA Jakub VAN DE POL Jaco

Article in Periodical

Electronic Notes in Theoretical Computer Science, year: 2008, volume: 2008, edition: 198(1)
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven ŠAFRÁNEK David

Article in Proceedings

Electronic Notes in Theoretical Computer Science, year: 2008
ProbDiVinE-MC

BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana

Year: 2008
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems

BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana

Article in Proceedings

QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, year: 2008
Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking

BARNAT Jiří BRIM Luboš ŠIMEČEK Pavel WEBER Michael

Article in Proceedings

Tools and Algorithms for the Construction and Analysis of Systems, year: 2008
Shared Hash Tables in Parallel Model Checking

BARNAT Jiří ROČKAI Petr

Article in Periodical

Electronic Notes in Theoretical Computer Science, year: 2008, volume: 2008, edition: 198(1)
Squeeze All the Power Out of Your Hardware to Verify Your Software!

BARNAT Jiří BRIM Luboš

Article in Proceedings

Leveraging Applications of Formal Methods, Verification and Validation, year: 2008