Tomas Kratochvila

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 2

Top Topics

Quantitative Analysis

Service Requirements

Decision Support

Preliminary Version

Top Venues

Formal Aspects Comput.

ESEC/SIGSOFT FSE

Publications

Ondrej Vasícek, Jan Fiedor, Tomas Kratochvila, Bohuslav Krena, Ales Smrcka, Tomás Vojnar
Unite: an adapter for transforming analysis tools to web services via OSLC. ESEC/SIGSOFT FSE (2022)
Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
Analysing sanity of requirements for avionics systems. Formal Aspects Comput. 28 (1) (2016)
Jiri Barnat, Petr Bauch, Nikola Benes, Lubos Brim, Jan Beran, Tomas Kratochvila
Analysing Sanity of Requirements for Avionics Systems (Preliminary Version). CoRR (2015)
Jiri Barnat, Lubos Brim, Jan Beran, Tomas Kratochvila, Italo R. Oliveira
Executing Model Checking Counterexamples in Simulink. TASE (2012)
Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. FMICS (2012)