RNDr. Petr Ročkai, Ph.D.

2012

• On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek v odborném periodiku

  Science of Computer Programming, rok: 2012, ročník: 77, vydání: 12, DOI

• Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs

  BARNAT Jiří BERAN Jan BRIM Luboš KRATOCHVÍLA Tomáš ROČKAI Petr

  Článek ve sborníku

  Formal Methods for Industrial Critical Systems (FMICS 2012), rok: 2012

• Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  NASA Formal Methods, rok: 2012

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

• 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

• Scalable shared memory LTL model checking

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek v odborném periodiku

  International Journal on Software Tools for Technology Transfer (STTT), rok: 2010, ročník: 12, vydání: 2, DOI

2009

• A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  Formal Methods and Software Engineering, 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