RNDr. Petr Ročkai, Ph.D.

2010

• DiVinE: Parallel Distributed Model Checker (Tool paper)

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

  Stať ve sborníku

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

• Scalable shared memory LTL model checking

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Recenzovaný odborný článek

  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

  Stať ve sborníku

  Formal Methods and Software Engineering, rok: 2009, DOI

• 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

  Stať ve sborníku

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

2008

• DiVinE Multi-Core -- A Parallel LTL Model-Checker

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Stať ve sborníku

  Automated Technology for Verification and Analysis, rok: 2008

• Shared Hash Tables in Parallel Model Checking

  BARNAT Jiří ROČKAI Petr

  Recenzovaný odborný článek

  Electronic Notes in Theoretical Computer Science, rok: 2008, ročník: 2008, vydání: 198(1)

2007

• DiVinE Multi-Core

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Software

  Rok: 2007

• Scalable Multi-core LTL Model-Checking

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Stať ve sborníku

  Model Checking Software, rok: 2007

2006

• DiVinE -- A Tool for Distributed Verification

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana MORAVEC Pavel ROČKAI Petr ŠIMEČEK Pavel

  Stať ve sborníku

  Computer Aided Verification, rok: 2006