prof. RNDr. Jiří Barnat, Ph.D.
Dean, Faculty of Informatics
Office: A409
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 3507 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 134
2005
-
Distributed Analysis of Large Systems
Formal Methods for Components and Objects, year: 2005
-
Distributed Memory LTL Model Checking (Ph.D. Thesis)
Year: 2005, number of pages: 170 s.
-
DIVINE - The Distributed Verification Environment
In proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), year: 2005
-
DivSPIN - A SPIN compatible distributed model checker
Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC05), year: 2005
-
From Distributed Memory Cycle Detection to Parallel LTL Model Checking
Electronical Notes in Theoretical Computer Science, year: 2005, volume: 2005, edition: 133
2004
-
Distributed Memory LTL Model Checking Based on Breadth First Search
Year: 2004, number of pages: 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), year: 2004
2003
-
Distribution of Explicit-State LTL Model-Checking
Electronic Notes in Theoretical Computer Science, year: 2003, volume: Volume 80, edition: 1
-
Parallel Breadth-First Search LTL Model-Checking
18th IEEE International Conference on Automated Software Engineering (ASE'03), year: 2003
2002
-
How to distribute LTL model-checking using decomposition of negative claim automaton
SOFSEM 2002 Student Research Forum Proceedings, year: 2002