Tomas Kratochvila

According to our database, Tomas Kratochvila authored at least 5 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Unite: an adapter for transforming analysis tools to web services via OSLC.

Ondrej Vasícek, Jan Fiedor, Tomas Kratochvila, Bohuslav Krena, Ales Smrcka, Tomás Vojnar

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

2016

Analysing sanity of requirements for avionics systems.

Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila

Formal Aspects Comput., 2016

2015

Analysing Sanity of Requirements for Avionics Systems (Preliminary Version).

Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila

CoRR, 2015

2012

Executing Model Checking Counterexamples in Simulink.

Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs.

Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai

Proceedings of the Formal Methods for Industrial Critical Systems, 2012