prof. RNDr. Jiří Barnat, Ph.D.

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

• Local Nontermination Detection for Parallel C++ Programs

  ŠTILL Vladimír BARNAT Jiří

  Článek ve sborníku

  International Conference on Software Engineering and Formal Methods, 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

• RoFICoM - First Open-Hardware Connector for Metamorphic Robots

  MRÁZEK Jan BARNAT Jiří

  Článek ve sborníku

  2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 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

• Model Checking of C++ Programs Under the x86-TSO Memory Model

  ŠTILL Vladimír BARNAT Jiří

  Článek ve sborníku

  Formal Methods and Software Engineering, rok: 2018

• On clock-aware LTL parameter synthesis of timed automata

  BEZDĚK Peter BENEŠ Nikola ČERNÁ Ivana BARNAT Jiří

  Článek v odborném periodiku

  Journal of Logical and Algebraic Methods in Programming, rok: 2018, ročník: 99, vydání: Oct, DOI

• 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

• Detecting Attractors in Biological Models with Uncertain Parameters

  BRIM Luboš BARNAT Jiří ŠAFRÁNEK David BENEŠ Nikola DEMKO Martin PASTVA Samuel HAJNAL Matej

  Článek ve sborníku

  Computational Methods in Systems Biology. CMSB 2017, rok: 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