Články

2016

• Model checking C++ programs with exceptions

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Science of Computer Programming, rok: 2016, ročník: 128, vydání: 15 October 2016, DOI

2014

• Model Checking C++ with Exceptions

  ROČKAI Petr BARNAT Jiří BRIM Luboš

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

2012

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

  BARNAT Jiří BRIM Luboš ROČKAI Petr

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

2010

• Scalable shared memory LTL model checking

  BARNAT Jiří BRIM Luboš ROČKAI Petr

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

2008

• Shared Hash Tables in Parallel Model Checking

  BARNAT Jiří ROČKAI Petr

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

Články ve sbornících

2016

• DIVINE: Explicit-State LTL Model Checker

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

  Proceedings of the 22Nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, rok: 2016

• On verifying C++ programs with probabilities

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

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

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

  Model Checking Software, rok: 2015

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

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

  Software Engineering and Formal Methods, rok: 2015