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

2009

• A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  Formal Methods and Software Engineering, rok: 2009

• BioDiVinE: A Framework for Parallel Analysis of Biological Models

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven FABRIKOVÁ Jana LÁNÍK Jan ŠAFRÁNEK David HONGWU Ma

  Článek ve sborníku

  Proceedings of 2nd International Workshop on Computational Models for Cell Processes, rok: 2009

• BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven FABRIKOVÁ Jana LÁNÍK Jan ŠAFRÁNEK David

  Článek ve sborníku

  Computational Mehotds in Systems Biology: Abstract of the Posters, rok: 2009

• Can Flash Memory Help in Model Checking?

  BARNAT Jiří BRIM Luboš EDELKAMP Stefan SULEWSKI Damian ŠIMEČEK Pavel

  Článek ve sborníku

  Formal Methods for Industrial Critical Systems, rok: 2009

• Cluster-Based I/O-Efficient LTL Model Checking

  BARNAT Jiří BRIM Luboš ŠIMEČEK Pavel

  Článek ve sborníku

  24th IEEE/ACM International Conference on Automated Software Engineering, rok: 2009

• Computational Analysis of Large-Scale Multi-Affine ODE Models

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven FABRIKOVÁ Jana ŠAFRÁNEK David

  Článek ve sborníku

  International Workshop on High Performance Computational Systems Biology, rok: 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 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