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

2013

• DiVinE 3.0 -- An Explicit-State Model Checker for Multithreaded C & C++ Programs

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

  Article in Proceedings

  Computer Aided Verification 2013, year: 2013

• Formal analysis of piecewise affine systems through formula-guided refinement

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

  Article in Periodical

  Automatica, year: 2013, volume: 49, edition: 1, DOI

• Improved State Space Reductions for LTL Model Checking of C & C++ Programs

  ROČKAI Petr BARNAT Jiří BRIM Luboš

  Article in Proceedings

  NASA Formal Methods 2013, year: 2013

• LTL Model Checking of Parallel Programs with Under-Approximated TSO Memory Model

  BARNAT Jiří BRIM Luboš HAVEL Vojtěch

  Article in Proceedings

  Proceedings of Application of Concurrency to System Design, 2013, year: 2013

2012

• Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints

  SVOREŇOVÁ Mária TŮMOVÁ Jana BARNAT Jiří ČERNÁ Ivana

  Article in Proceedings

  Proceedings of the 51st IEEE Conference on Decision and Control, year: 2012

• Designing Fast LTL Model Checking Algorithms for Many-core GPUs

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

  Article in Periodical

  Journal of Parallel and Distributed Computing, year: 2012, volume: 72, edition: 9, DOI

• Executing Model Checking Counterexamples in Simulink

  BARNAT Jiří BRIM Luboš BERAN Jan KRATOCHVÍLA Tomáš DE OLIVEIRA Italo Romani

  Article in Proceedings

  IEEE Sixth International Symposium on Theoretical Aspects of Software Engineering, year: 2012

• Checking Sanity of Software Requirements

  BARNAT Jiří BAUCH Petr BRIM Luboš

  Article in Proceedings

  Proceedings of the 10th International Conference on Software Engineering and Formal Methods, year: 2012

• On Parameter Synthesis by Parallel Model Checking

  BARNAT Jiří BRIM Luboš KREJČÍ Adam STRECK Adam ŠAFRÁNEK David VEJNÁR Martin VEJPUSTEK Tomáš

  Article in Periodical

  IEEE/ACM Transactions on Computational Biology and Bioinformatics, year: 2012, volume: 9, edition: 3, DOI

• On-the-fly Parallel Model Checking Algorithm that is Optimal for Verification of Weak LTL Properties

  BARNAT Jiří BRIM Luboš ROČKAI Petr

  Article in Periodical

  Science of Computer Programming, year: 2012, volume: 77, edition: 12, DOI