Pavel Moravec

2008

Pavlína Vařeková, Barbora Zimmerová, Pavel Moravec, and Ivana Černá:
Formal Verification of Systems with an Unlimited Number of Components,
IET Software journal, Institution of Engineering and Technology (IET), 2008, 532–546. [bibtex]

2007

Pavlína Vařeková, Pavel Moravec, Ivana Černá, and Barbora Zimmerová:
Effective Verification of Systems with a Dynamic Number of Components,
Proceedings of the ESEC/FSE Conference on Specification and Verification of Component-Based Systems (SAVCBS’07), ACM Press, 2007, 3–13. [bibtex, url]

Luboš Brim, Ivana Černá, Pavel Moravec, and Jiří Šimša:
On Combining Partial Order Reduction with Fairness Assumptions,
FMICS/PDMC, 2007, volume 4346 of Lecture Notes in Computer Science, 84–99. [bibtex]

2006

Jiří Barnat, Luboš Brim, Ivana Černá, Pavel Moravec, Petr Ročkai, and Pavel Šimeček:
DiVinE – A Tool for Distributed Verification (Tool Paper),
Computer Aided Verification, Springer Berlin / Heidelberg, 2006, volume 4144/2006 of LNCS, 278–281. [bibtex]

Luboš Brim, Ivana Černá, Pavel Moravec, and Jiří Šimša:
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors,
Electronic Notes in Theoretical Computer Science, 2006, 3–18. [bibtex, url]

Jiří Barnat and Pavel Moravec:
Parallel Algorithms for Finding SCCs in Implicitly Given Graphs,
Formal Methods: Applications and Technology, Springer, 2006, volume 4346 of LNCS, 316–330. [bibtex]

2005

Luboš Brim, Ivana Černá, Pavel Moravec, and Jiří Šimša:
Distributed Partial Order Reduction,
Electronic Notes in Theoretical Computer Science, Elsevier Science Publishers, 2005, 63–74. [bibtex]

Pavel Moravec:
How to Cope with Higher Dependency in Partial Order Reduction for LTL Model Checking,
1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005), FI MU Report Series, 2005, 186-192. [bibtex, url]

Luboš Brim, Ivana Černá, Pavel Moravec, and Jiří Šimša:
How to Order Vertices for Distributed LTL Model-Checking Based on Accepting Predecessors,
Proceedings of the 4th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2005), TU Munchen, 2005, 1-12. [bibtex]

2004

Luboš Brim, Ivana Černá, Pavel Moravec, and Jiří Šimša:
Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking,
Formal Methods in Computer-Aided Design (FMCAD), Springer, 2004, volume 3312 of LNCS, 352-366. [bibtex, pdf]