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

2006

• Parallel Algorithms for Finding SCCs in Implicitly Given Graphs

  BARNAT Jiří MORAVEC Pavel

  Článek ve sborníku

  Proceedings of the 5th International Workshop on Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006), rok: 2006

2005

• Distributed Analysis of Large Systems

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Článek ve sborníku

  Formal Methods for Components and Objects, rok: 2005

• Distributed Memory LTL Model Checking (Ph.D. Thesis)

  BARNAT Jiří

  Odborná kniha

  Rok: 2005, počet stran: 170 s.

• DIVINE - The Distributed Verification Environment

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana ŠIMEČEK Pavel

  Článek ve sborníku

  In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), rok: 2005

• DivSPIN - A SPIN compatible distributed model checker

  BARNAT Jiří FOREJT Vojtěch LEUCKER Martin WEBER Michael

  Článek ve sborníku

  Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), rok: 2005

• From Distributed Memory Cycle Detection to Parallel LTL Model Checking

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Článek v odborném periodiku

  Electronical Notes in Theoretical Computer Science, rok: 2005, ročník: 2005, vydání: 133

2004

• Distributed Memory LTL Model Checking Based on Breadth First Search

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Odborná kniha

  Rok: 2004, počet stran: 57 s.

• From Distributed Memory Cycle Detection to Parallel LTL Model Checking

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Článek ve sborníku

  Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004), rok: 2004

2003

• Distribution of Explicit-State LTL Model-Checking

  BRIM Luboš BARNAT Jiří

  Článek v odborném periodiku

  Electronic Notes in Theoretical Computer Science, rok: 2003, ročník: Volume 80, vydání: 1

• Parallel Breadth-First Search LTL Model-Checking

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Článek ve sborníku

  18th IEEE International Conference on Automated Software Engineering (ASE'03), rok: 2003