2009

• CUDA Accelerated LTL Model Checking

  BARNAT Jiří BRIM Luboš ČEŠKA Milan LAMR Tomáš

  Article in Proceedings

  Proceedings of the 15th International Conference on Parallel and Distributed Systems, year: 2009

• DiVinE 2.0

  ROČKAI Petr BARNAT Jiří BRIM Luboš ČEŠKA Milan

  Year: 2009

• DiVinE 2.0: High-Performance Model Checking

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Article in Proceedings

  International Workshop on High Performance Computational Systems Biology, year: 2009

• DiVinE Cuda

  BARNAT Jiří BRIM Luboš BAUCH Petr ČEŠKA Milan LAMR Tomáš

  Year: 2009

• 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

• 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

• On Decidability of LTL+Past Model Checking for Process Rewrite Systems

  KŘETÍNSKÝ Mojmír ŘEHÁK Vojtěch STREJČEK Jan

  Article in Proceedings

  Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008), year: 2009

• On Determinism in Modal Transition Systems

  BENEŠ Nikola KŘETÍNSKÝ Jan LARSEN Kim G. SRBA Jiří

  Article in Periodical

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