prof. RNDr. Jiří Barnat, Ph.D.

2010

• A Symbolic Approach to Controlling Piecewise Affine Systems

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

  Article in Proceedings

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

• DiVinE 2.4

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Year: 2010

• DiVinE: Parallel Distributed Model Checker (Tool paper)

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

  Article in Proceedings

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

• Employing Multiple CUDA Devices to Accelerate LTL Model Checking

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

  Article in Proceedings

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

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

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

  Article in Proceedings

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

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

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

  Article in Periodical

  Briefings in Bioinformatics, year: 2010, volume: 11, edition: 3

• MWC-DiVinE

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

  Year: 2010

• Parallel Partial Order Reduction with Topological Sort Proviso

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Article in Proceedings

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

• Parameter Scanning by Parallel Model Checking with Applications in Systems Biology

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

  Article in Proceedings

  Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology, year: 2010

• ProbDiVinE 2.0

  APPL Jiří BARNAT Jiří BRIM Luboš ČERNÁ Ivana ČEŠKA Milan TŮMOVÁ Jana

  Year: 2010