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

  Year: 2010

2009

• CUDA Accelerated LTL Model Checking

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

  Article in Proceedings

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

• DiVinE 2.0

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

  Year: 2009

• DiVinE Cuda

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

  Year: 2009

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

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

  Article in Periodical

  Electronic Proceedings in Theoretical Computer Science, year: 2009, volume: 14, edition: Prosinec

• Local Quantitative LTL Model Checking

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

  Article in Proceedings

  Formal Methods for Industrial Critical Systems, year: 2009

2008

• DiVinE Cluster

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

  Year: 2008

• ProbDiVinE-MC

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

  Year: 2008

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

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

  Article in Proceedings

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

2007

• ProbDiVinE

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

  Year: 2007