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

2014

• LTL Model Checking of LLVM Bitcode with Symbolic Data

  BAUCH Petr HAVEL Vojtěch BARNAT Jiří

  Článek ve sborníku

  Proceedings of MEMICS'14, rok: 2014

• LTL Model Checking of Parametric Timed Automata

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

  Článek ve sborníku

  MEMICS 2014, rok: 2014

• Model Checking C++ with Exceptions

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Článek v odborném periodiku

  Electronic Communications of the EASST, rok: 2014, ročník: 70, vydání: Listopad, DOI

• Model Checking Parallel Programs with Inputs

  BARNAT Jiří BAUCH Petr HAVEL Vojtěch

  Článek ve sborníku

  Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP), rok: 2014

• On Clock-Aware LTL Properties of Timed Automata

  BEZDĚK Peter BENEŠ Nikola HAVEL Vojtěch BARNAT Jiří ČERNÁ Ivana

  Článek ve sborníku

  Theoretical Aspects of Computing – ICTAC 2014, rok: 2014

• Temporal Verification of Simulink Diagrams

  BARNAT Jiří BAUCH Petr HAVEL Vojtěch

  Článek ve sborníku

  Proceedings of HASE 2014, rok: 2014

• Towards Verification of Ensemble Based Component Systems

  BARNAT Jiří BENEŠ Nikola BUREŠ Tomáš ČERNÁ Ivana KEZNIKL Tomáš PLÁŠIL František

  Článek ve sborníku

  Formal Aspects of Component Software, rok: 2014

2013

• DCCL: Verification of Component Systems with Ensembles

  BARNAT Jiří BENEŠ Nikola ČERNÁ Ivana PETRUCHOVÁ Zuzana

  Článek ve sborníku

  CBSE '13 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, rok: 2013

• Distributed LTL Model Checking with Hash Compaction

  BARNAT Jiří HAVLÍČEK Jan ROČKAI Petr

  Článek ve sborníku

  Electronic Notes in Theoretical Computer Science, Volume 296, rok: 2013

• DIVINE 3.0

  ROČKAI Petr BARNAT Jiří ŠTILL Vladimír WEISER Jiří BRIM Luboš HAVEL Vojtěch HAVLÍČEK Jan KRIHO Jan

  Software

  Rok: 2013