Pavel Moravec

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Radek Pelánek, Václav Rosecký, Pavel Moravec
Complementarity of Error Detection Techniques. Electron. Notes Theor. Comput. Sci. 220 (2) (2008)
Pavlína Vareková, Barbora Zimmerova, Pavel Moravec, Ivana Cerná
Formal verification of systems with an unlimited number of components. IET Softw. 2 (6) (2008)
Pavel Moravec
Approximations of state spaces reduced by partial order reduction. SOFSEM (2) (2008)
Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerova
Effective verification of systems with a dynamic number of components. SAVCBS (2007)
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors. Electron. Notes Theor. Comput. Sci. 135 (2) (2006)
Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek
DiVinE - A Tool for Distributed Verification. CAV (2006)
Jiri Barnat, Pavel Moravec
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs. FMICS/PDMC (2006)
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
On Combining Partial Order Reduction with Fairness Assumptions. FMICS/PDMC (2006)
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
Distributed Partial Order Reduction of State Spaces. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa
Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. FMCAD (2004)