RNDr. Petr Ročkai, Ph.D.

2016

• On verifying C++ programs with probabilities

  BARNAT Jiří ČERNÁ Ivana ROČKAI Petr ŠTILL Vladimír ZÁKOPČANOVÁ Kristína

  Článek ve sborníku

  Proceedings of the 31st Annual ACM Symposium on Applied Computing, rok: 2016

• Weak Memory Models as LLVM-to-LLVM Transformations

  ŠTILL Vladimír ROČKAI Petr BARNAT Jiří

  Článek ve sborníku

  Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, rok: 2016

2015

• Fast, Dynamically-Sized Concurrent Hash Table

  BARNAT Jiří ROČKAI Petr ŠTILL Vladimír WEISER Jiří

  Článek ve sborníku

  Model Checking Software, rok: 2015

• Techniques for Memory-Efficient Model Checking of C and C++ Code

  ROČKAI Petr ŠTILL Vladimír BARNAT Jiří

  Článek ve sborníku

  Software Engineering and Formal Methods, rok: 2015

2014

• Context-Switch-Directed Verification in DIVINE

  ŠTILL Vladimír ROČKAI Petr BARNAT Jiří

  Článek ve sborníku

  Mathematical and Engineering Methods in Computer Science, rok: 2014

• Model Checking C++ with Exceptions

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Článek v odborném periodiku

  Electronic Communications of the EASST, rok: 2014, ročník: 70, vydání: Listopad, DOI

2013

• Distributed LTL Model Checking with Hash Compaction

  BARNAT Jiří HAVLÍČEK Jan ROČKAI Petr

  Článek ve sborníku

  Electronic Notes in Theoretical Computer Science, Volume 296, rok: 2013

• DIVINE 3.0

  ROČKAI Petr BARNAT Jiří ŠTILL Vladimír WEISER Jiří BRIM Luboš HAVEL Vojtěch HAVLÍČEK Jan KRIHO Jan

  Software

  Rok: 2013

• DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs

  BARNAT Jiří BRIM Luboš HAVEL Vojtěch HAVLÍČEK Jan KRIHO Jan LENČO Milan ROČKAI Petr ŠTILL Vladimír WEISER Jiří

  Článek ve sborníku

  Computer Aided Verification 2013, rok: 2013

• Improved State Space Reductions for LTL Model Checking of C & C++ Programs

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Článek ve sborníku

  NASA Formal Methods 2013, rok: 2013