 | 2009 |
|---|
| 5 |       | Jiri Barnat,
Lubos Brim,
Petr Rockai:
A Time-Optimal On-the-Fly Parallel Algorithm for Model Checking of Weak LTL Properties.
ICFEM 2009: 407-425 |
| 2008 |
|---|
| 4 | | Jiri Barnat,
Lubos Brim,
Petr Rockai:
DiVinE Multi-Core - A Parallel LTL Model-Checker.
ATVA 2008: 234-239 |
| 3 | | Jiri Barnat,
Petr Rockai:
Shared Hash Tables in Parallel Model Checking.
Electr. Notes Theor. Comput. Sci. 198(1): 79-91 (2008) |
| 2007 |
|---|
| 2 | | Jiri Barnat,
Lubos Brim,
Petr Rockai:
Scalable Multi-core LTL Model-Checking.
SPIN 2007: 187-203 |
| 2006 |
|---|
| 1 | | Jiri Barnat,
Lubos Brim,
Ivana Cerná,
Pavel Moravec,
Petr Rockai,
Pavel Simecek:
DiVinE - A Tool for Distributed Verification.
CAV 2006: 278-281 |
