DiVinE - A Tool for Distributed Verification. - Jiri Barnat; Lubos Brim; Ivana Cerná; Pavel Moravec 002; Petr Rockai; Pavel Simecek (CAV, 2006)

I/O Efficient Accepting Cycle Detection. - Jiri Barnat; Lubos Brim; Pavel Simecek (CAV, 2007)

Semi-external LTL Model Checking. - Stefan Edelkamp; Peter Sanders 001; Pavel Simecek (CAV, 2008)

Can Flash Memory Help in Model Checking? - Jiri Barnat; Lubos Brim; Stefan Edelkamp; Damian Sulewski; Pavel Simecek (FMICS, 2008)

Revisiting Resistance Speeds Up I/O-Efficient LTL Model Checking. - Jiri Barnat; Lubos Brim; Pavel Simecek; M. Weber (TACAS, 2008)

Cluster-Based I/O-Efficient LTL Model Checking. - Jiri Barnat; Lubos Brim; Pavel Simecek (ASE, 2009)

Flash memory efficient LTL model checking. - Stefan Edelkamp; Damian Sulewski; Jiri Barnat; Lubos Brim; Pavel Simecek (Sci. Comput. Program., 2011)