2009

• DiVinE 2.0: High-Performance Model Checking

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  International Workshop on High Performance Computational Systems Biology, rok: 2009

• DiVinE Cuda

  BARNAT Jiří BRIM Luboš BAUCH Petr ČEŠKA Milan LAMR Tomáš

  Software

  Rok: 2009

• DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking

  BARNAT Jiří BRIM Luboš ČEŠKA Milan

  Článek v odborném periodiku

  Electronic Proceedings in Theoretical Computer Science, rok: 2009, ročník: 14, vydání: Prosinec

• Efficient Large-Scale Model Checking

  VERSTOEP Kees BAL Henri E. BARNAT Jiří BRIM Luboš

  Článek ve sborníku

  23rd IEEE International Parallel & Distributed Processing Symposium, rok: 2009

• Quantitative Model Checking of Systems with Degradation

  BARNAT Jiří ČERNÁ Ivana TŮMOVÁ Jana

  Článek ve sborníku

  2009 Sixth International Conference on the Quantitative Evaluation of Systems, rok: 2009