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

2002

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

  BARNAT Jiří

  Článek ve sborníku

  SOFSEM 2002 Student Research Forum Proceedings, rok: 2002

• Property Driven Distribution of Nested DFS

  BARNAT Jiří BRIM Luboš ČERNÁ Ivana

  Článek 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ří

  Článek 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

  Článek 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.