 | 2008 |
|---|
| 5 |       | Stefan Edelkamp,
Peter Sanders,
Pavel Simecek:
Semi-external LTL Model Checking.
CAV 2008: 530-542 |
| 4 | | Jiri Barnat,
Lubos Brim,
Stefan Edelkamp,
Damian Sulewski,
Pavel Simecek:
Can Flash Memory Help in Model Checking?
FMICS 2008: 150-165 |
| 3 | | Jiri Barnat,
Lubos Brim,
Pavel Simecek,
M. Weber:
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking.
TACAS 2008: 48-62 |
| 2007 |
|---|
| 2 | | Jiri Barnat,
Lubos Brim,
Pavel Simecek:
I/O Efficient Accepting Cycle Detection.
CAV 2007: 281-293 |
| 2006 |
|---|
| 1 | | Jiri Barnat,
Lubos Brim,
Ivana Cerná,
Pavel Moravec,
Petr Rockai,
Pavel Simecek:
DiVinE - A Tool for Distributed Verification.
CAV 2006: 278-281 |
