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

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

• Optimal observation mode scheduling for systems under temporal constraints

  TESAŘOVÁ Eva SVOREŇOVÁ Mária BARNAT Jiří ČERNÁ Ivana

  Článek ve sborníku

  2016 American Control Conference (ACC), rok: 2016

• SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration

  MRÁZEK Jan BAUCH Petr LAUKO Henrich BARNAT Jiří

  Článek ve sborníku

  Model Checking Software, rok: 2016

• Tunable Online MUS/MSS Enumeration

  BENDÍK Jaroslav BENEŠ Nikola ČERNÁ Ivana BARNAT Jiří

  Článek ve sborníku

  Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016, 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

• Quo Vadis Explicit-State Model Checking

  BARNAT Jiří

  Článek ve sborníku

  SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, 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

2014

• Context-Switch-Directed Verification in DIVINE

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

  Článek ve sborníku

  Mathematical and Engineering Methods in Computer Science, rok: 2014