BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Simecek:Pavel

Contributed to:

ASE 20092009
CAV 20082008
TACAS 20082008
CAV 20072007
CAV 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.