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

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

  Article in Proceedings

  Automated Technology for Verification and Analysis, year: 2017

• Optimizing and Caching SMT Queries in SymDIVINE (Competition Contribution)

  MRÁZEK Jan JONÁŠ Martin ŠTILL Vladimír LAUKO Henrich BARNAT Jiří

  Article in Proceedings

  Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II, year: 2017

• Parametric multi-step scheme for GPU-accelerated graph decomposition into strongly connected components

  ALDEGHERI Stefano BARNAT Jiří BOMBIERI Nicola BUSATO Federico ČEŠKA Milan

  Article in Proceedings

  22nd International Conference on Parallel and Distributed Computing, Euro-Par 2016, year: 2017

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

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

  Article in Proceedings

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

2016

• Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories

  BAUCH Petr HAVEL Vojtěch BARNAT Jiří

  Article in Periodical

  Software Quality Journal, year: 2016, volume: 24, edition: 1, DOI

• Analysing Sanity of Requirements for Avionics Systems

  BARNAT Jiří BAUCH Petr BENEŠ Nikola BRIM Luboš BERAN Jan KRATOCHVÍLA Tomáš

  Article in Periodical

  Formal Aspects of Computing, year: 2016, volume: 28, edition: 1, DOI

• Control Explicit-Data Symbolic Model Checking

  BAUCH Petr HAVEL Vojtěch BARNAT Jiří

  Article in Periodical

  ACM Transactions on Software Engineering and Methodology, year: 2016, volume: 25, edition: 2, DOI

• DIVINE: Explicit-State LTL Model Checker

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

  Article in Proceedings

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

• Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis

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

  Article in Proceedings

  Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, year: 2016

• LTL Parameter Synthesis of Parametric Timed Automata

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

  Article in Proceedings

  Software Engineering and Formal Methods - 14th International Conference, SEFM 2016., year: 2016