RNDr. Petr Ročkai, Ph.D.

2008

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

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  Automated Technology for Verification and Analysis, rok: 2008

• Shared Hash Tables in Parallel Model Checking

  BARNAT Jiří ROČKAI Petr

  Článek v odborném periodiku

  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

  Článek 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

  Článek ve sborníku

  Computer Aided Verification, rok: 2006