| 2008 |
|---|
| 13 | EE | Jiri Barnat,
Lubos Brim,
Pavel Simecek,
M. Weber:
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking.
TACAS 2008: 48-62 |
| 2007 |
|---|
| 12 | EE | Jiri Barnat,
Lubos Brim,
Pavel Simecek:
I/O Efficient Accepting Cycle Detection.
CAV 2007: 281-293 |
| 11 | EE | Jiri Barnat,
Lubos Brim,
Martin Leucker:
Parallel Model Checking and the FMICS-jETI Platform.
ICECCS 2007: 330-339 |
| 10 | EE | Jiri Barnat,
Lubos Brim,
Petr Rockai:
Scalable Multi-core LTL Model-Checking.
SPIN 2007: 187-203 |
| 9 | EE | Lubos Brim,
Jiri Barnat:
Tutorial: Parallel Model Checking.
SPIN 2007: 2-3 |
| 2006 |
|---|
| 8 | EE | Jiri Barnat,
Lubos Brim,
Ivana Cerná,
Pavel Moravec,
Petr Rockai,
Pavel Simecek:
DiVinE - A Tool for Distributed Verification.
CAV 2006: 278-281 |
| 7 | EE | Jiri Barnat,
Pavel Moravec:
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs.
FMICS/PDMC 2006: 316-330 |
| 6 | EE | Jiri Barnat,
Ivana Cerná:
Distributed breadth-first search LTL model checking.
Formal Methods in System Design 29(2): 117-134 (2006) |
| 2005 |
|---|
| 5 | EE | Jiri Barnat,
Lubos Brim,
Ivana Cerná:
Cluster-Based LTL Model Checking of Large Systems.
FMCO 2005: 259-279 |
| 4 | EE | Jiri Barnat,
Lubos Brim,
Jakub Chaloupka:
From Distributed Memory Cycle Detection to Parallel LTL Model Checking.
Electr. Notes Theor. Comput. Sci. 133: 21-39 (2005) |
| 2003 |
|---|
| 3 | EE | Jiri Barnat,
Lubos Brim,
Jakub Chaloupka:
Parallel Breadth-First Search LTL Model-Checking.
ASE 2003: 106-115 |
| 2 | EE | Lubos Brim,
Jiri Barnat:
Distribution of Explicit-State LTL Model-Checking.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
| 2001 |
|---|
| 1 | EE | Jiri Barnat,
Lubos Brim,
Jitka Stríbrná:
Distributed LTL Model-Checking in SPIN.
SPIN 2001: 200-216 |
