Tomáš Kratochvíla
Tomáš Kratochvíla
Honeywell International
Verified email at honeywell.com
Title
Cited by
Cited by
Year
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs
J Barnat, J Beran, L Brim, T Kratochvíla, P Ročkai
Formal Methods for Industrial Critical Systems, 78-92, 2012
332012
Analysing sanity of requirements for avionics systems
J Barnat, P Bauch, N Beneš, L Brim, J Beran, T Kratochvíla
Formal Aspects of Computing, pp 1-19, 2016
292016
Executing model checking counterexamples in Simulink
J Barnat, L Brim, J Beran, T Kratochvíla, ÍR Oliveira
Theoretical Aspects of Software Engineering (TASE), 2012 Sixth International …, 2012
152012
Verification of COMBO6 VHDL Design
T Kratochvíla, V Řehák, P Šimeček
CESNET Technical Report, 2003
112003
Verification results in Liberouter project
J Holeček, T Kratochvíla, V Řehák, D Šafránek, P Šimeček
Technická zpráva CESNET, 2004
102004
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
How to formalize FPGA hardware design
J Holeček, T Kratochvíla, V Řehák, D Šafránek, P Šimeček
CESNET Technical Report 4, 2004
62004
CRC64 Algorithm Analysis and Verification1
P Hlávka, T Kratochvíla, V Řehák, D Šafránek, P Šimeček, T Vojnar
Prague, Czech Republic: CESNET technical report, 2005
42005
Formal Verification of a FIFO Component in Design of Network Monitoring Hardware
T Kratochvíla, V Řehák, D Šafránek
Proc. of CESNET 2006 Conference, 2006
32006
Formal Verification of Hardware Design
T Kratochvíla
MS thesis, Masaryk University, 2005
12005
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version)
J Barnat, P Bauch, N Beneš, L Brim, J Beran, T Kratochvíla
arXiv preprint arXiv:1510.02669, 2015
2015
CRC64 Algorithm Analysis and Verification
D Šafránek, V Řehák, T Kratochvíla, P Šimeček, P Hlávka, T Vojnar
CESNET, zspo, 2005
2005
Verification of Hardware Design in Liberouter Project
J Holeček, T Kratochvíla, V Řehák, D Šafránek, P Šimeček
2004
The system can't perform the operation now. Try again later.
Articles 1–13