Pavel Moravec

According to our database, Pavel Moravec authored at least 10 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Formal verification of systems with an unlimited number of components.

Pavlína Vareková, Barbora Zimmerová, Pavel Moravec, Ivana Cerná

IET Softw., 2008

Complementarity of Error Detection Techniques.

Radek Pelánek, Václav Rosecký, Pavel Moravec

Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation, 2008

Approximations of state spaces reduced by partial order reduction.

Pavel Moravec

Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Volume II, 2008

2007

Effective verification of systems with a dynamic number of components.

Pavlína Vareková, Pavel Moravec, Ivana Cerná, Barbora Zimmerová

Proceedings of the 2007 Conference Specification and Verification of Component-Based Systems, 2007

2006

On Combining Partial Order Reduction with Fairness Assumptions.

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa

Proceedings of the Formal Methods: Applications and Technology, 2006

Parallel Algorithms for Finding SCCs in Implicitly Given Graphs.

Jiri Barnat, Pavel Moravec

Proceedings of the Formal Methods: Applications and Technology, 2006

DiVinE - A Tool for Distributed Verification.

Jiri Barnat, Lubos Brim, Ivana Cerná, Pavel Moravec, Petr Rockai, Pavel Simecek

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors.

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa

Proceedings of the 4th International Workshop on Parallel and Distributed Methods in Verification, 2005

2004

Distributed Partial Order Reduction of State Spaces.

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking.

Lubos Brim, Ivana Cerná, Pavel Moravec, Jirí Simsa

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004