Vojtěch Řehák

2009

Laura Bozzelli, Mojmír Křetínský, Vojtěch Řehák, and Jan Strejček:
On Decidability of LTL Model Checking for Process Rewrite Systems,
Acta informatica, 2009. [bibtex, url]

2006

Laura Bozzelli, Mojmír Křetínský, Vojtěch Řehák, and Jan Strejček:
On Decidability of LTL Model Checking for Process Rewrite Systems,
FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, Springer-Verlag, 2006, 248-259. [bibtex]

2005

Mojmír Křetínský, Vojtěch Řehák, and Jan Strejček:
Reachability of Hennessy - Milner properties for weakly extended PRS,
FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Springer-Verlag, 2005, 213-224. [bibtex]

2004

Mojmír Křetínský, Vojtěch Řehák, and Jan Strejček:
Extended Process Rewrite Systems: Expressiveness and Reachability,
CONCUR 2004 - Concurrency Theory, Springer, 2004, 355-370. [bibtex]

David Antoš, Vojtěch Řehák, and Jan Kořenek:
Hardware Router’s Lookup Machine and its Formal Verification,
ICN’2004 Conference Proceedings, University of Haute Alsace, Colmar, France, 2004, 1002-1007. [bibtex, url]

Mojmír Křetínský, Vojtěch Řehák, and Jan Strejček:
On Extensions of Process Rewrite Systems: Rewrite Systems with Weak Finite-State Unit,
INFINITY’2003: 5th International Workshop on Verification of Infinite-State Systems, Elsevier Science, 2004, 75-88. [bibtex, url]

Vojtěch Řehák:
Reachability for Extended Process Rewrite Systems,
MOVEP’04: 6th school on MOdeling and VErifying parallel Processes, Universite Libre de Bruxelles, 2004, 77-82. [bibtex]

2003

David Antoš, Jan Kořenek, and Vojtěch Řehák:
Vyhledávání v IPv6 směrovači implementovaném v hradlovém poli,
EurOpen, Sborník příspěvků XXIII. konference, EurOpen, 2003, 91-102. [bibtex]

2002

Vojtěch Řehák:
$\xor$-OBDD in Symbolic Model Checking,
SOFSEM 2002: Student Research Forum, Slovak University of Technology, 2002, 41-46. [bibtex]

Jiří Barnat, Tomáš Brázdil, Pavel Krčál, Vojtěch Řehák, and David Šafránek:
Model Checking in IPv6 Hardware Router Design,
2002, 8. [bibtex]