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
2007
-
ProbDiVinE
Year: 2007
-
ProbDiVinE: A Parallel Qualitative LTL Model Checker
Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07), year: 2007
-
Scalable Multi-core LTL Model-Checking
Model Checking Software, year: 2007
-
Tutorial: Parallel Model Checking
Model Checking Software, year: 2007
2006
-
Cluster-Based LTL Model Checking of Large Systems
Formal Methods for Components and Objects, year: 2006
-
Distributed breadth-first search LTL model checking
Formal Methods in System Design, year: 2006, volume: 29, edition: 2
-
Distributed Qualitative LTL Model Checking of Markov Decision Processes
Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation, year: 2006
-
DiVinE -- A Tool for Distributed Verification
Computer Aided Verification, year: 2006
-
DiVinE Library
Year: 2006
-
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs
Proceedings of the 5th International Workshop on Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2006), year: 2006