2018

• Symbolic Computation via Program Transformation

  LAUKO Henrich ROČKAI Petr BARNAT Jiří

  Článek ve sborníku

  Theoretical Aspects of Computing – ICTAC 2018, rok: 2018

2017

• From Model Checking to Runtime Verification and Back

  KEJSTOVÁ Katarína ROČKAI Petr BARNAT Jiří

  Článek ve sborníku

  Runtime Verification - 17th International Conference, RV 2017, rok: 2017

• Model Checking of C and C++ with DIVINE 4

  BARANOVÁ Zuzana BARNAT Jiří KEJSTOVÁ Katarína KUČERA Tadeáš LAUKO Henrich MRÁZEK Jan ROČKAI Petr ŠTILL Vladimír

  Článek ve sborníku

  Automated Technology for Verification and Analysis, rok: 2017

• Using Off-the-Shelf Exception Support Components in C++ Verification

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

  Článek ve sborníku

  IEEE International Conference on Software Quality, Reliability and Security - QRS 2017, rok: 2017

2016

• DIVINE: Explicit-State LTL Model Checker

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

  Článek ve sborníku

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

• Model checking C++ programs with exceptions

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Článek v odborném periodiku

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

• 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