prof. RNDr. Jiří Barnat, Ph.D.
děkan Fakulty informatiky
kancelář: A409
Botanická 554/68a
602 00 Brno
telefon: | 549 49 3507 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 134
2005
-
Distributed Analysis of Large Systems
Formal Methods for Components and Objects, rok: 2005
-
Distributed Memory LTL Model Checking (Ph.D. Thesis)
Rok: 2005, počet stran: 170 s.
-
DIVINE - The Distributed Verification Environment
In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), rok: 2005
-
DivSPIN - A SPIN compatible distributed model checker
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
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
Rok: 2004, počet stran: 57 s.
-
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
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
Electronic Notes in Theoretical Computer Science, rok: 2003, ročník: Volume 80, vydání: 1
-
Parallel Breadth-First Search LTL Model-Checking
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
SOFSEM 2002 Student Research Forum Proceedings, rok: 2002