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

2005

• From Distributed Memory Cycle Detection to Parallel LTL Model Checking

  BARNAT Jiří BRIM Luboš CHALOUPKA Jakub

  Recenzovaný odborný článek

  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

  Stať 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ří

  Recenzovaný odborný článek

  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

  Stať ve sborníku

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

2002

• How to distribute LTL model-checking using decomposition of negative claim automaton

  BARNAT Jiří

  Stať ve sborníku

  SOFSEM 2002 Student Research Forum Proceedings, rok: 2002

• Property Driven Distribution of Nested DFS

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Stať ve sborníku

  M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic, rok: 2002

• Using verified property to partition the state space in LTL model-checking

  BARNAT Jiří

  Stať ve sborníku

  F. Cassez, C. Jard, F. Laroussinie, and M.D. Ryan (Eds.): Modelling and Verification of Parallel processes, rok: 2002

2001

• Distributed LTL Model-Checking in SPIN

  BARNAT Jiří BRIM Luboš STŘÍBRNÁ Jitka

  Stať ve sborníku

  M.B. Dwyer (Ed.): Model Checking Software, 8th International SPIN Workshop, rok: 2001

2000

• Distributed LTL Model-Checking in SPIN

  BARNAT Jiří BRIM Luboš STŘÍBRNÁ Jitka

  Odborná kniha

  Rok: 2000, počet stran: 16 s.