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

2012

• Temporal Logic Control of Discrete-Time Piecewise Affine Systems

  YORDANOV Boyan TŮMOVÁ Jana ČERNÁ Ivana BARNAT Jiří BELTA Calin

  Článek v odborném periodiku

  IEEE Transactions on Automatic Control, rok: 2012, ročník: 57, vydání: 6, DOI

• Timed Automata Approach to Verification of Systems with Degradation

  BARNAT Jiří ČERNÁ Ivana TŮMOVÁ Jana

  Článek ve sborníku

  MEMICS 2011, rok: 2012

• Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs

  BARNAT Jiří BERAN Jan BRIM Luboš KRATOCHVÍLA Tomáš ROČKAI Petr

  Článek ve sborníku

  Formal Methods for Industrial Critical Systems (FMICS 2012), rok: 2012

• Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Článek ve sborníku

  NASA Formal Methods, rok: 2012

• Verification of Systems with Degradation

  BARNAT Jiří ČERNÁ Ivana TŮMOVÁ Jana

  Článek v odborném periodiku

  Computing and Informatics, rok: 2012, ročník: 31, vydání: 3

2011

• Computing Optimal Cycle Mean in Parallel on CUDA

  BARNAT Jiří BAUCH Petr BRIM Luboš ČEŠKA Milan

  Článek v odborném periodiku

  Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: 72, vydání: 2011, DOI

• Computing Strongly Connected Components in Parallel on CUDA

  BARNAT Jiří BAUCH Petr BRIM Luboš ČEŠKA Milan

  Článek ve sborníku

  Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium, rok: 2011

• Distributed Algorithms for SCC Decomposition

  BARNAT Jiří CHALOUPKA Jakub VAN DE POL Jaco

  Článek v odborném periodiku

  Journal of Logic and Computation, rok: 2011, ročník: 21, vydání: 1, DOI

• Flash memory efficient LTL model checking

  EDELKAMP Stefan SULEWSKI Damian BARNAT Jiří BRIM Luboš ŠIMEČEK Pavel

  Článek v odborném periodiku

  Science of Computer Programming, rok: 2011, ročník: 76, vydání: 2, DOI

• Platform Dependent Verification: On Engineering Verification Tools for 21st Century

  BRIM Luboš BARNAT Jiří

  Článek v odborném periodiku

  Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: 72, vydání: 2011, DOI