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

  Článek ve sborníku

  Automated Technology for Verification and Analysis, rok: 2017

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

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

  Článek ve sborníku

  Tools and Algorithms for the Construction and Analysis of Systems, 23rd International Conference, TACAS 2017, Part II, rok: 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

  Článek ve sborníku

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

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

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

  Článek ve sborníku

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

2016

• Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories

  BAUCH Petr HAVEL Vojtěch BARNAT Jiří

  Článek v odborném periodiku

  Software Quality Journal, rok: 2016, ročník: 24, vydání: 1, DOI

• Analysing Sanity of Requirements for Avionics Systems

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

  Článek v odborném periodiku

  Formal Aspects of Computing, rok: 2016, ročník: 28, vydání: 1, DOI

• Control Explicit-Data Symbolic Model Checking

  BAUCH Petr HAVEL Vojtěch BARNAT Jiří

  Článek v odborném periodiku

  ACM Transactions on Software Engineering and Methodology, rok: 2016, ročník: 25, vydání: 2, DOI

• DIVINE: Explicit-State LTL Model Checker

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

  Článek ve sborníku

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

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

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

  Článek ve sborníku

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

• LTL Parameter Synthesis of Parametric Timed Automata

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

  Článek ve sborníku

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