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

  Article in Proceedings

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

• Weak Memory Models as LLVM-to-LLVM Transformations

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

  Article in Proceedings

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

2015

• Fast, Dynamically-Sized Concurrent Hash Table

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

  Article in Proceedings

  Model Checking Software, year: 2015

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

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

  Article in Proceedings

  Software Engineering and Formal Methods, year: 2015

2014

• Context-Switch-Directed Verification in DIVINE

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

  Article in Proceedings

  Mathematical and Engineering Methods in Computer Science, year: 2014

• Model Checking C++ with Exceptions

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Article in Periodical

  Electronic Communications of the EASST, year: 2014, volume: 70, edition: Listopad, DOI

2013

• Distributed LTL Model Checking with Hash Compaction

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

  Article in Proceedings

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

• DIVINE 3.0

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

  Year: 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ří

  Article in Proceedings

  Computer Aided Verification 2013, year: 2013

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

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Article in Proceedings

  NASA Formal Methods 2013, year: 2013