doc. RNDr. Vojtěch Řehák, Ph.D.
Vice-dean for curricula and internationalisation, Faculty of Informatics
Office: C436
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 4687 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 66
2009
-
Almost Linear Büchi Automata
Proceedings 16th International Workshop on Expressiveness in Concurrency 2009 (EXPRESS'09), year: 2009
-
On Decidability of LTL Model Checking for Process Rewrite Systems
Acta informatica, year: 2009, volume: 46, edition: 1
-
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008), year: 2009
-
Reachability is decidable for weakly extended process rewrite systems
Information and Computation, year: 2009, volume: 207, edition: 6
2008
-
Petri Nets Are Less Expressive Than State-Extended PA
Theoretical Computer Science, year: 2008, volume: 394, edition: 1-2
2007
-
Formalisms and Tools for Design and Specification of Network Protocols
Year: 2007, type: R&D Presentation
-
On Decidability of LTL+Past Model Checking for Process Rewrite Systems
Year: 2007, type: Appeared in Conference without Proceedings
-
Verifying VHDL Designs with Multiple Clocks in SMV
Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, year: 2007
2006
-
Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
10 years of CESNET - CESNET CONFERENCE 2006, year: 2006
-
Formal Verification of the CRC Algorithm Properties
Proceedings of 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006), year: 2006