Follow
Vojtech Rehak
Vojtech Rehak
Masaryk university, Faculty of Informatics
Verified email at fi.muni.cz
Title
Cited by
Cited by
Year
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
1472012
Extended process rewrite systems: Expressiveness and reachability
M Křetínský, V Řehák, J Strejček
CONCUR 2004-Concurrency Theory, 355-370, 2004
292004
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
252011
Verification of open interactive Markov chains
T Brázdil, H Hermanns, J Krcál, J Kretinsky, V Rehák
FSTTSC 2012 18, 2012
222012
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
192011
Optimizing performance of continuous-time stochastic systems using timeout synthesis
T Brázdil, Ľ Korenčiak, J Krčál, P Novotný, V Řehák
International Conference on Quantitative Evaluation of Systems, 141-159, 2015
172015
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), 1-28, 2009
162009
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
132005
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
122002
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
112018
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
112014
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
112011
Verification of COMBO6 VHDL Design
T Kratochvíla, V Řehák, P Šimeček
Technical report, 2003
112003
Verification results in Liberouter project
J Holeček, T Kratochvíla, V Řehák, D Šafránek, P Šimeček
Technical Report 03, 2004
102004
Hardware Router’s Lookup Machine and its Formal Verification
D Antoš, V Řehák, J Kořenek
ICN’2004 Conference Proceedings 2, 2004
102004
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
92018
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
82015
Dealing with zero density using piecewise phase-type approximation
J Krčál, V Řehák
European Workshop on Performance Engineering, 119-134, 2014
82014
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
82012
Verification process of hardware design in liberouter project
J Holeček, T Kratochvíla, V Řehák, D Šafránek, P Šimeček
Technická Zpráva 5, 2004
82004
The system can't perform the operation now. Try again later.
Articles 1–20