Jiří Šimša

2007

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

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ří Šimša:
Monitorování chování systémů,
Master’s Thesis, 2006. [bibtex, pdf, url]

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]

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]