Follow
Tomáš Kratochvíla
Tomáš Kratochvíla
Honeywell International
Verified email at honeywell.com
Title
Cited by
Cited by
Year
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
432016
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
412012
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
182012
Verification results in Liberouter project
J Holeček, T Kratochvíla, V Řehák, D Šafránek, P Šimeček
Technical Report 03, 2004
122004
Verification of COMBO6 VHDL Design
T Kratochvíla, V Řehák, P Šimeček
CESNET Technical Report, 2003
112003
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
Dokument dostupný na URL http://www. cesnet. cz/doc/techzpravy/2004/formal …, 2004
62004
How to formalize fpga hardware design
J Holecek, T Kratochvıla, V Rehák, D Šafránek, P Simecek
Technical Report 4/2004, CESNET, 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
52005
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
42006
Unite: an adapter for transforming analysis tools to web services via OSLC
O Vašíček, J Fiedor, T Kratochvíla, B Křena, A Smrčka, T Vojnar
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
12022
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–15