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

2007

• ProbDiVinE

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

  Year: 2007

• ProbDiVinE: A Parallel Qualitative LTL Model Checker

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

  Article in Proceedings

  Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07), year: 2007

• Scalable Multi-core LTL Model-Checking

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Article in Proceedings

  Model Checking Software, year: 2007

• Tutorial: Parallel Model Checking

  BRIM Luboš BARNAT Jiří

  Article in Proceedings

  Model Checking Software, year: 2007

2006

• Cluster-Based LTL Model Checking of Large Systems

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Article in Proceedings

  Formal Methods for Components and Objects, year: 2006

• Distributed breadth-first search LTL model checking

  BARNAT Jiří ČERNÁ Ivana

  Article in Periodical

  Formal Methods in System Design, year: 2006, volume: 29, edition: 2

• Distributed Qualitative LTL Model Checking of Markov Decision Processes

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

  Article in Proceedings

  Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation, year: 2006

• DiVinE -- A Tool for Distributed Verification

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ROČKAI Petr ŠIMEČEK Pavel

  Article in Proceedings

  Computer Aided Verification, year: 2006

• DiVinE Library

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ŠIMEČEK Pavel CHALOUPKA Jakub

  Year: 2006

• Parallel Algorithms for Finding SCCs in Implicitly Given Graphs

  BARNAT Jiří MORAVEC Pavel

  Article in Proceedings

  Proceedings of the 5th International Workshop on Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006), year: 2006