Travelled to:1 × Germany
1 × Hungary
1 × New Zealand
2 × USA
Collaborated with:J.Barnat L.Brim S.Edelkamp P.Sanders M.Weber I.Cerná P.Moravec P.Rockai
Talks about:effici (3) model (3) check (3) ltl (3) distribut (1) revisit (1) cluster (1) resist (1) extern (1) detect (1)
Person: Pavel Simecek
DBLP: Simecek:Pavel
Contributed to:
2009
2008
200820072006Wrote 5 papers:
- ASE-2009-BarnatBS #clustering #ltl #model checking
- Cluster-Based I/O-Efficient LTL Model Checking (JB, LB, PS), pp. 635–639.
- CAV-2008-EdelkampSS #ltl #model checking
- Semi-external LTL Model Checking (SE, PS, PS), pp. 530–542.
- TACAS-2008-BarnatBSW #ltl #model checking
- Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking (JB, LB, PS, MW), pp. 48–62.
- CAV-2007-BarnatBS #detection #performance
- I/O Efficient Accepting Cycle Detection (JB, LB, PS), pp. 281–293.
- CAV-2006-BarnatBCMRS #distributed #named #verification
- DiVinE — A Tool for Distributed Verification (JB, LB, IC, PM, PR, PS), pp. 278–281.