Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. - Lubos Brim; Ivana Cerná; Pavel Moravec 002; Jirí Simsa (FMCAD, 2004)

Distributed Partial Order Reduction of State Spaces. - Lubos Brim; Ivana Cerná; Pavel Moravec 002; Jirí Simsa (PDMC, 2004)

How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. - Lubos Brim; Ivana Cerná; Pavel Moravec 002; Jirí Simsa (PDMC@ICALP, 2005)

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

Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. - Jiri Barnat; Pavel Moravec 002 (FMICS/PDMC, 2006)

On Combining Partial Order Reduction with Fairness Assumptions. - Lubos Brim; Ivana Cerná; Pavel Moravec 002; Jirí Simsa (FMICS/PDMC, 2006)

Effective verification of systems with a dynamic number of components. - Pavlína Vareková; Pavel Moravec 002; Ivana Cerná; Barbora Zimmerová (SAVCBS, 2007)

Approximations of state spaces reduced by partial order reduction. - Pavel Moravec 002 (SOFSEM (2), 2008)

Complementarity of Error Detection Techniques. - Radek Pelánek; Václav Rosecký; Pavel Moravec 002 (PDMC@ETAPS, 2008)

Formal verification of systems with an unlimited number of components. - Pavlína Vareková; Barbora Zimmerová; Pavel Moravec 002; Ivana Cerná (IET Softw., 2008)