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

2016

• Model checking C++ programs with exceptions

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Article in Periodical

  Science of Computer Programming, year: 2016, volume: 128, edition: 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

  Article in Proceedings

  Proceedings of the 31st Annual ACM Symposium on Applied Computing, year: 2016

• Optimal observation mode scheduling for systems under temporal constraints

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

  Article in Proceedings

  2016 American Control Conference (ACC), year: 2016

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

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

  Article in Proceedings

  Model Checking Software, year: 2016

• Tunable Online MUS/MSS Enumeration

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

  Article in Proceedings

  Foundations of Software Technology and Theoretical Computer Science - 36th International Conference, FSTTCS 2016, year: 2016

• Weak Memory Models as LLVM-to-LLVM Transformations

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

  Article in Proceedings

  Mathematical and Engineering Methods in Computer Science - 10th International Doctoral Workshop, year: 2016

2015

• Fast, Dynamically-Sized Concurrent Hash Table

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

  Article in Proceedings

  Model Checking Software, year: 2015

• Quo Vadis Explicit-State Model Checking

  BARNAT Jiří

  Article in Proceedings

  SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, year: 2015

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

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

  Article in Proceedings

  Software Engineering and Formal Methods, year: 2015

2014

• Context-Switch-Directed Verification in DIVINE

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

  Article in Proceedings

  Mathematical and Engineering Methods in Computer Science, year: 2014