| 2008 |
|---|
| 4 | EE | Stefan Edelkamp,
Peter Sanders,
Pavel Simecek:
Semi-external LTL Model Checking.
CAV 2008: 530-542 |
| 3 | EE | Jiri Barnat,
Lubos Brim,
Pavel Simecek,
M. Weber:
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking.
TACAS 2008: 48-62 |
| 2007 |
|---|
| 2 | EE | Jiri Barnat,
Lubos Brim,
Pavel Simecek:
I/O Efficient Accepting Cycle Detection.
CAV 2007: 281-293 |
| 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 |
