1. From Distributed Memory Cycle Detection to Parallel LTL Model Checking;Barnat;Electronic Notes in Theoretical Computer Science,2005
2. Barnat, J., L. Brim and P. Ročkai, Scalable Multi-Core LTL Model-Checking, in: Proc. of SPIN 2007, to appear, LNCS 4595 (2007), pp. 197–203
3. DiVinE – A Tool for Distributed Verification (Tool Paper);Barnat,2006
4. Distributed timed model checking — how the search order matters;Behrmann,2000
5. Distribution of explicit-state ltl model-checking;Brim;Electronic Notes in Theoretical Computer Science,2003