1. Barnat J., L. Brim and J. Stříbrná, Distributed LTL Model-Checking in SPIN, in: Proceedings of the 8th International SPIN Workshop on Model Checking of Software (SPIN'01), LNCS 2057, 2001, pp. 217–234.
2. Barnat J., L. Brim and I. Černá, Property Driven Distribution of Nested DFS, in: VCL 2002, Technical Report DSSE-TR-2002-5 in DSSE, 2002, pp. 1–10.
3. Using Assumptions to Distribute CTL Model Checking;Brim;PDMC'02,2002
4. Distributed ltl model checking based on negative cycle detection;Brim,2001
5. How to employ reverse search in distributed single-source shortest paths;Brim,2001