2009

• CUDA Accelerated LTL Model Checking

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

  Článek ve sborníku

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

• DiVinE 2.0

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

  Software

  Rok: 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

• 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

• 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

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

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

  Článek ve sborníku

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

• On Determinism in Modal Transition Systems

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

  Článek v odborném periodiku

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