doc. RNDr. Milan Češka, Ph.D.

2010

• ProbDiVinE 2.0

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

  Software

  Rok: 2010

2009

• CUDA Accelerated LTL Model Checking

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

  Článek ve sborníku

  Proceedings of the 15th International Conference on Parallel and Distributed Systems, rok: 2009

• DiVinE 2.0

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

  Software

  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

• Local Quantitative LTL Model Checking

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

  Článek ve sborníku

  Formal Methods for Industrial Critical Systems, rok: 2009

2008

• DiVinE Cluster

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan ŠIMEČEK Pavel

  Software

  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

2007

• ProbDiVinE

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

  Software

  Rok: 2007