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

2008

• Improved Distributed Algorithms for SCC Decomposition

  BARNAT Jiří CHALOUPKA Jakub VAN DE POL Jaco

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2008, ročník: 2008, vydání: 198(1)

• Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

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

  Článek ve sborníku

  Electronic Notes in Theoretical Computer Science, rok: 2008

• ProbDiVinE-MC

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

  Software

  Rok: 2008

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

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

  Článek ve sborníku

  QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, rok: 2008

• Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking

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

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems, rok: 2008

• Shared Hash Tables in Parallel Model Checking

  BARNAT Jiří ROČKAI Petr

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2008, ročník: 2008, vydání: 198(1)

• Squeeze All the Power Out of Your Hardware to Verify Your Software!

  BARNAT Jiří BRIM Luboš

  Článek ve sborníku

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

2007

• DiVinE Multi-Core

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Software

  Rok: 2007

• I/O Efficient Accepting Cycle Detection

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

  Článek ve sborníku

  19th International Conference on Computer Aided Verification, rok: 2007

• Parallel Algorithms for Finding SCCs in Implicitly Given Graphs

  BARNAT Jiří MORAVEC Pavel

  Článek ve sborníku

  Formal Methods: Applications and Technology, rok: 2007