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

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

• 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

• On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking

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

  Článek v odborném periodiku

  Theoretical Computer Science, rok: 2009, ročník: 2009, vydání: 410

• 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

2008

• Can Flash Memory Help in Model Checking?

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

  Článek ve sborníku

  13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008), rok: 2008

• DiVinE Cluster

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

  Software

  Rok: 2008

• DiVinE Multi-Core -- A Parallel LTL Model-Checker

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  Automated Technology for Verification and Analysis, rok: 2008

• From Simple Regulatory Motifs to Parallel Model Checking of Complex Transcriptional Networks

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

  Článek ve sborníku

  Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation, rok: 2008