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
2007
-
ProbDiVinE
Rok: 2007
-
ProbDiVinE: A Parallel Qualitative LTL Model Checker
Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07), rok: 2007
-
Scalable Multi-core LTL Model-Checking
Model Checking Software, rok: 2007
-
Tutorial: Parallel Model Checking
Model Checking Software, rok: 2007
2006
-
Cluster-Based LTL Model Checking of Large Systems
Formal Methods for Components and Objects, rok: 2006
-
Distributed breadth-first search LTL model checking
Formal Methods in System Design, rok: 2006, ročník: 29, vydání: 2
-
Distributed Qualitative LTL Model Checking of Markov Decision Processes
Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation, rok: 2006
-
DiVinE -- A Tool for Distributed Verification
Computer Aided Verification, rok: 2006
-
DiVinE Library
Rok: 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), rok: 2006