2021

• Reproducible execution of POSIX programs with DiOS

  ROČKAI Petr BARANOVÁ Zuzana MRÁZEK Jan KEJSTOVÁ Katarína BARNAT Jiří

  Článek v odborném periodiku

  Software & Systems Modeling, rok: 2021, ročník: 2020, vydání: 2, DOI

2020

• Abstracting Strings for Model Checking of C Programs

  LAUKO Henrich OLLIARO Martina CORTESI Agostino ROČKAI Petr

  Článek v odborném periodiku

  Applied Sciences, rok: 2020, ročník: 10, vydání: 21, DOI

• Compiling C and C++ Programs for Dynamic White-Box Analysis

  BARANOVÁ Zuzana ROČKAI Petr

  Článek ve sborníku

  Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019), rok: 2020

• Model checking in a development workflow: A study on a concurrent C++ hash table

  ROČKAI Petr

  Článek ve sborníku

  Workshop on Practical Formal Verification for Software Dependability (AFFORD 2019), rok: 2020

• On Symbolic Execution of Decompiled Programs

  KORENČIK Lukáš ROČKAI Petr LAUKO Henrich BARNAT Jiří

  Článek ve sborníku

  Proceedings - 2020 IEEE 20th International Conference on Software Quality, Reliability, and Security, QRS 2020, rok: 2020

2019

• A Simulator for LLVM Bitcode

  ROČKAI Petr BARNAT Jiří

  Článek ve sborníku

  24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, rok: 2019

• Extending DIVINE with Symbolic Verification Using SMT

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

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems, rok: 2019

• Reproducible Execution of POSIX Programs with DiOS

  ROČKAI Petr BARANOVÁ Zuzana MRÁZEK Jan KEJSTOVÁ Katarína BARNAT Jiří

  Článek ve sborníku

  Software Engineering and Formal Methods, rok: 2019

• String Abstraction for Model Checking of C Programs

  ROČKAI Petr LAUKO Henrich OLLIARO Martina CORTESI Agostino

  Článek ve sborníku

  Model Checking Software, rok: 2019

2018

• DiVM: Model checking with LLVM and graph memory

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

  Článek v odborném periodiku

  Journal of Systems and Software, rok: 2018, ročník: 143, vydání: Oct, DOI