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