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

2007

• Parallel Model Checking and the FMICS-jETI Platform

  BARNAT Jiri BRIM Lubos LEUCKER Martin

  Článek ve sborníku

  Proceedings Twelfth IEEE International Conference on Engineering of Complex Computer Systems, rok: 2007

• ProbDiVinE

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

  Software

  Rok: 2007

• ProbDiVinE: A Parallel Qualitative LTL Model Checker

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

  Článek ve sborníku

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

• Scalable Multi-core LTL Model-Checking

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  Model Checking Software, rok: 2007

• Tutorial: Parallel Model Checking

  BRIM Luboš BARNAT Jiří

  Článek ve sborníku

  Model Checking Software, rok: 2007

2006

• Cluster-Based LTL Model Checking of Large Systems

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Článek ve sborníku

  Formal Methods for Components and Objects, rok: 2006

• Distributed breadth-first search LTL model checking

  BARNAT Jiří ČERNÁ Ivana

  Článek v odborném periodiku

  Formal Methods in System Design, rok: 2006, ročník: 29, vydání: 2

• Distributed Qualitative LTL Model Checking of Markov Decision Processes

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

  Článek ve sborníku

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

• DiVinE -- A Tool for Distributed Verification

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

  Článek ve sborníku

  Computer Aided Verification, rok: 2006

• DiVinE Library

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

  Software

  Rok: 2006