Faults Coverage Improvement Based on Fault Simulation and Partial Duplication. - Jaroslav Borecký; Martin Kohlík; Hana Kubátová; Pavel Kubalík (DSD, 2010)

Fault Models Usability Study for On-line Tested FPGA. - Jaroslav Borecký; Martin Kohlík; Pavel Kubalík; Hana Kubátová (DSD, 2011)

Reduction of complex safety models based on Markov chains. - Martin Kohlík; Hana Kubátová (DDECS, 2012)

Miscellaneous Types of Partial Duplication Modifications for Availability Improvements. - Martin Kohlík; Jaroslav Borecký; Hana Kubátová (DSD, 2012)

Hierarchical Dependability Models Based on Markov Chains. - Martin Kohlík; Hana Kubátová (ARCS Workshops, 2013)

Markov chains hierarchical dependability models: Worst-case computations. - Martin Kohlík; Hana Kubátová (LATW, 2013)

Fault Tolerant Duplex System with High Availability for Practical Applications. - Pavel Vit; Jaroslav Borecký; Martin Kohlík; Hana Kubátová (DSD, 2014)

Parity Waterfall method. - Jaroslav Borecký; Martin Kohlík; Hana Kubátová (DDECS, 2016)

Enhanced Duplication Method with TMR-Like Masking Abilities. - Jaroslav Borecký; Martin Kohlík; Pavel Vit; Hana Kubátová (DSD, 2016)

Predicting the Life Expectancy of Railway Fail-Safe Signaling Systems Using Dynamic Models with Censoring. - Petr Novák; Martin Danhel; Rudolf B. Blazek; Martin Kohlík; Hana Kubátová (QRS, 2017)

Parity driven reconfigurable duplex system. - Jaroslav Borecký; Martin Kohlík; Hana Kubátová (Microprocess. Microsystems, 2017)

Accurate Inexact Calculations of Non-Homogeneous Markov Chains. - Jan Reznícek; Martin Kohlík; Hana Kubátová (DSD, 2019)

Hierarchical Dependability Models based on Non-Homogeneous Continuous Time Markov Chains. - Jan Reznícek; Martin Kohlík; Hana Kubátová (DTIS, 2019)

Non-Homogeneous Continuous Time Markov Chains Calculations. - Jan Reznícek; Martin Kohlík; Hana Kubátová (DSD, 2020)

Non-homogeneous hierarchical Continuous Time Markov Chains. - Jan Reznícek; Martin Kohlík; Hana Kubátová (Microprocess. Microsystems, 2020)

Verification of Calculations of Non-Homogeneous Markov Chains Using Monte Carlo Simulation. - Jan Reznícek; Martin Kohlík; Hana Kubátová (DSD, 2022)

Evaluation of the Medium-sized Neural Network using Approximative Computations on Zynq FPGA. - Miroslav Skrbek; Pavel Kubalík; Martin Kohlík; Jaroslav Borecký; Robert Hülle (MECO, 2023)

Quantized Neural Network with Linearly Approximated Functions on Zynq FPGA. - Miroslav Skrbek; Pavel Kubalík; Martin Kohlík; Jaroslav Borecký; Robert Hülle (MECO, 2024)