prof. RNDr. Luboš Brim, CSc.

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

• 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

• Faster Algorithm for Mean-Payoff Games

  CHALOUPKA Jakub BRIM Luboš

  Článek ve sborníku

  MEMICS 2009, rok: 2009

• Faster Algorithm for Mean-Payoff Games

  CHALOUPKA Jakub BRIM Luboš

  Článek ve sborníku

  Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09), 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

• Partial Order Reduction for State/Event LTL

  BENEŠ Nikola BRIM Luboš ČERNÁ Ivana SOCHOR Jiří VAŘEKOVÁ Pavlína ZIMMEROVÁ Barbora

  Článek ve sborníku

  Proceedings of the International Conference on Integrated Formal Methods (IFM'09), 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