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 |