Vojtech Rehak
Vojtech Rehak
Masaryk university, Faculty of Informatics
Verified email at
Cited by
Cited by
LTL to Büchi Automata Translation: Fast and More Deterministic
T Babiak, M Křetínský, V Řehák, J Strejček
TACAS 2012: 18th International Conference on Tools and Algorithms for the …, 2012
Extended process rewrite systems: Expressiveness and reachability
M Křetínský, V Řehák, J Strejček
CONCUR 2004-Concurrency Theory, 355-370, 2004
Stochastic real-time games with qualitative timed automata objectives
T Brázdil, J Krčál, J Křetínský, A Kučera, V Řehák
CONCUR 2010-Concurrency Theory, 207-221, 2011
Verification of open interactive Markov chains
T Brázdil, H Hermanns, J Krcál, J Kretinsky, V Rehák
FSTTSC 2012 18, 2012
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
T Brázdil, J Krčál, J Křetínský, V Řehák
CONCUR 2011-Concurrency Theory: 22nd International Conference, 140-155, 2011
Optimizing performance of continuous-time stochastic systems using timeout synthesis
T Brázdil, Ľ Korenčiak, J Krčál, P Novotný, V Řehák
Quantitative Evaluation of Systems: 12th International Conference, QEST 2015 …, 2015
On decidability of LTL model checking for process rewrite systems
L Bozzelli, M Křetínský, V Řehák, J Strejček
Acta informatica 46, 1-28, 2009
Reachability of Hennessy-Milner properties for weakly extended PRS
M Křetínský, V Řehák, J Strejček
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005
On extensions of process rewrite systems: Rewrite systems with weak finite-state unit
M Křetı́nský, V Rehák, J Strejček
Electronic Notes in Theoretical Computer Science 98, 75-88, 2004
Hardware Router’s Lookup Machine and its Formal Verification
D Antoš, V Řehák, J Kořenek
ICN’2004 Conference Proceedings 2, 2004
Model checking in IPv6 Hardware Router Design
J Barnat, T Brázdil, P Krčál, V Řehák, D Šafránek
CESNET technical report 8, 2002
Automatic synthesis of efficient regular strategies in adversarial patrolling games
D Klaška, A Kučera, T Lamser, V Řehák
Proceedings of the 17th International Conference on Autonomous Agents and …, 2018
Solving adversarial patrolling games with bounded error
M Abaffy, T Brázdil, V Řehák, B Bošanský, A Kučera, J Krčál
Proceedings of the 2014 international conference on Autonomous agents and …, 2014
Verification results in Liberouter project
J Holeček, T Kratochvíla, V Řehák, D Šafránek, P Šimeček
Technical Report 03, 2004
Verification of COMBO6 VHDL Design
T Kratochvíla, V Řehák, P Šimeček
Technical report, 2003
Dealing with zero density using piecewise phase-type approximation
L Korenčiak, J Krčál, V Řehák
Computer Performance Engineering: 11th European Workshop, EPEW 2014 …, 2014
Measuring performance of continuous-time stochastic processes using timed automata
T Brázdil, J Krcál, J Kretínský, A Kucera, V Řehák
Proceedings of the 14th international conference on Hybrid systems …, 2011
Solving patrolling problems in the internet environment
T Brázdil, A Kučera, V Řehák
Proceedings of the 27th International Joint Conference on Artificial …, 2018
Strategy synthesis in adversarial patrolling games
T Brázdil, P Hliněný, A Kučera, V Řehák, M Abaffy
arXiv preprint arXiv:1507.03407, 2015
Sequence chart studio
M Bezdeka, O Bouda, L Korenciak, M Madzin, V Reh'k
2012 12th International Conference on Application of Concurrency to System …, 2012
The system can't perform the operation now. Try again later.
Articles 1–20