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

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

• Efficient Large-Scale Model Checking

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

  Article in Proceedings

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

• 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

• On Algorithmic Analysis of Transcriptional Regulation by LTL Model Checking

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

  Article in Periodical

  Theoretical Computer Science, year: 2009, volume: 2009, edition: 410

• Quantitative Model Checking of Systems with Degradation

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

  Article in Proceedings

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

2008

• Can Flash Memory Help in Model Checking?

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

  Article in Proceedings

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

• DiVinE Cluster

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

  Year: 2008

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

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Article in Proceedings

  Automated Technology for Verification and Analysis, year: 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

  Article in Proceedings

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