Pavel Šimeček

2011

Stefan Edelkamp, Damian Sulewski, Jiří Barnat, Luboš Brim, and Pavel Šimeček:
Flash memory efficient LTL model checking,
Science of Computer Programming, 2011. [bibtex, url]

2009

Jiří Barnat, Luboš Brim, and Pavel Šimeček:
Cluster-Based I/O Efficient LTL Model Checking,
24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), IEEE Computer Society, 2009, 635–639. [bibtex]

2008

Jiří Barnat, Luboš Brim, Stefan Edelkamp, Damian Sulewski, and Pavel Šimeček:
Can Flash Memory Help in Model Checking,
Formal Methods for Industrial Critical Systems (FMICS 2008), Springer-Verlag, 2008, volume 5596 of LNCS, 150–165. [bibtex]

Jiří Barnat, Luboš Brim, Pavel Šimeček, and Michael Weber:
Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking,
Tools and Algorithms for the Construction and Analysis of Systems (TACAS)., Springer, 2008, volume 4963 of LNCS, 48–62. [bibtex]

Stefan Edelkamp, Peter Sanders, and Pavel Šimeček:
Semi-external LTL Model Checking,
20th International Conference on Computer Aided Verification, Springer, 2008, 530-542. [bibtex]

2007

Jiří Barnat, Luboš Brim, and Pavel Šimeček:
I/O Efficient Accepting Cycle Detection,
Computer Aided Verification, Springer, 2007, volume 4590 of LNCS, 281–293. [bibtex]

2006

Jiří Barnat, Luboš Brim, Ivana Černá, Pavel Moravec, Petr Ročkai, and Pavel Šimeček:
DiVinE – A Tool for Distributed Verification (Tool Paper),
Computer Aided Verification, Springer Berlin / Heidelberg, 2006, volume 4144/2006 of LNCS, 278–281. [bibtex]

2005

Jiří Barnat, Luboš Brim, Ivana Černá, and Pavel Šimeček:
DiVinE The Distributed Verification Environment,
4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC’05), 2005. [bibtex]

Jiří Barnat, Luboš Brim, Ivana Černá, and Pavel Šimeček:
DiVinE – The Distributed Verification Environment,
Proceedings of 4th International Workshop on Parallel and Distributed Methods in verifiCation, 2005, 89–94. [bibtex]

2002

Jitka Crhová, Pavel Krčál, Jan Strejček, David Šafránek, and Pavel Šimeček:
YAHODA: verification tools database,
Proceedings of Tools Day, FI MU, 2002, 99-103. [bibtex, url]