2010

• DiVinE 2.4

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Software

  Rok: 2010

• DiVinE: Parallel Distributed Model Checker (Tool paper)

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

  Článek ve sborníku

  Proceedings of joint HiBi/PDMC workshop (HiBi/PDMC 2010), rok: 2010

• Employing Multiple CUDA Devices to Accelerate LTL Model Checking

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

  Článek ve sborníku

  Proceedings of 16th International Conference on Parallel and Distributed Systems (ICPADS 2010), rok: 2010

• E-photosynthesis: web software for modeling and analysis of biological processes behind photosynthesis

  KLEMENT Matej ŠAFRÁNEK David ČERVENÝ Jan BRIM Luboš NEDBAL Ladislav

  Software

  Rok: 2010

• Formal Analysis of Piecewise Affine Systems through Formula-Guided Refinement

  YORDANOV Boyan TŮMOVÁ Jana BELTA Calin ČERNÁ Ivana BARNAT Jiří

  Článek ve sborníku

  Proceedings of of the 49th IEEE Conference on Decision and Control (CDC), rok: 2010

• Formal Verification of Component-based Architectures - Motivation, Methods & Challenges

  ČERNÁ Ivana

  Vyžádané přednášky

  Rok: 2010, druh: Vyžádané přednášky

• High-performance analysis of biological systems dynamics with the DiVinE model checker

  BARNAT Jiří BRIM Luboš ŠAFRÁNEK David

  Článek v odborném periodiku

  Briefings in Bioinformatics, rok: 2010, ročník: 11, vydání: 3

• MWC-DiVinE

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

  Software

  Rok: 2010

• Optimal Path Planning under Temporal Logic Contstraints

  SMITH Stephen L. TŮMOVÁ Jana BELTA Calin RUS Daniela

  Článek ve sborníku

  Proceedings of the 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2010), rok: 2010

• Parallel Partial Order Reduction with Topological Sort Proviso

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  Software Engineering and Formal Methods (SEFM 2010), rok: 2010