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

2014

• LTL Model Checking of LLVM Bitcode with Symbolic Data

  BAUCH Petr HAVEL Vojtěch BARNAT Jiří

  Article in Proceedings

  Proceedings of MEMICS'14, year: 2014

• LTL Model Checking of Parametric Timed Automata

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

  Article in Proceedings

  MEMICS 2014, year: 2014

• Model Checking C++ with Exceptions

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Article in Periodical

  Electronic Communications of the EASST, year: 2014, volume: 70, edition: Listopad, DOI

• Model Checking Parallel Programs with Inputs

  BARNAT Jiří BAUCH Petr HAVEL Vojtěch

  Article in Proceedings

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

• On Clock-Aware LTL Properties of Timed Automata

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

  Article in Proceedings

  Theoretical Aspects of Computing – ICTAC 2014, year: 2014

• Temporal Verification of Simulink Diagrams

  BARNAT Jiří BAUCH Petr HAVEL Vojtěch

  Article in Proceedings

  Proceedings of HASE 2014, year: 2014

• Towards Verification of Ensemble Based Component Systems

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

  Article in Proceedings

  Formal Aspects of Component Software, year: 2014

2013

• DCCL: Verification of Component Systems with Ensembles

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

  Article in Proceedings

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

• Distributed LTL Model Checking with Hash Compaction

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

  Article in Proceedings

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

• DIVINE 3.0

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

  Year: 2013