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

  Article in Periodical

  IEEE Transactions on Automatic Control, year: 2012, volume: 57, edition: 6, DOI

• Timed Automata Approach to Verification of Systems with Degradation

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

  Article in Proceedings

  MEMICS 2011, year: 2012

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

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

  Article in Proceedings

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

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

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Article in Proceedings

  NASA Formal Methods, year: 2012

• Verification of Systems with Degradation

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

  Article in Periodical

  Computing and Informatics, year: 2012, volume: 31, edition: 3

2011

• Computing Optimal Cycle Mean in Parallel on CUDA

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

  Article in Periodical

  Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: 72, edition: 2011, DOI

• Computing Strongly Connected Components in Parallel on CUDA

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

  Article in Proceedings

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

• Distributed Algorithms for SCC Decomposition

  BARNAT Jiří CHALOUPKA Jakub VAN DE POL Jaco

  Article in Periodical

  Journal of Logic and Computation, year: 2011, volume: 21, edition: 1, DOI

• Flash memory efficient LTL model checking

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

  Article in Periodical

  Science of Computer Programming, year: 2011, volume: 76, edition: 2, DOI

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

  BRIM Luboš BARNAT Jiří

  Article in Periodical

  Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: 72, edition: 2011, DOI