prof. RNDr. Luboš Brim, CSc.

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

• Faster Algorithm for Mean-Payoff Games

  CHALOUPKA Jakub BRIM Luboš

  Article in Proceedings

  MEMICS 2009, year: 2009

• Faster Algorithm for Mean-Payoff Games

  CHALOUPKA Jakub BRIM Luboš

  Article in Proceedings

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

• Partial Order Reduction for State/Event LTL

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

  Article in Proceedings

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

• Component-Interaction Automata Approach (CoIn)

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

  Chapter of a book

  The Common Component Modeling Example: Comparing Software Component Models, year: 2008, number of pages: 31 s.