| 2022 | DSD | Verification of Calculations of Non-Homogeneous Markov Chains Using Monte Carlo Simulation. | Jan Rezncek, Martin Kohlk, Hana Kubtov |
| 2020 | DSD | Non-Homogeneous Continuous Time Markov Chains Calculations. | Jan Rezncek, Martin Kohlk, Hana Kubtov |
| 2019 | DSD | Accurate Inexact Calculations of Non-Homogeneous Markov Chains. | Jan Rezncek, Martin Kohlk, Hana Kubtov |
| 2017 | QRS | Predicting the Life Expectancy of Railway Fail-Safe Signaling Systems Using Dynamic Models with Censoring. | Petr Novk, Martin Danhel, Rudolf B. Blazek, Martin Kohlk, Hana Kubtov |
| 2016 | DDECS | Parity Waterfall method. | Jaroslav Boreck, Martin Kohlk, Hana Kubtov |
| 2016 | DSD | Enhanced Duplication Method with TMR-Like Masking Abilities. | Jaroslav Boreck, Martin Kohlk, Pavel Vit, Hana Kubtov |
| 2014 | DSD | Fault Tolerant Duplex System with High Availability for Practical Applications. | Pavel Vit, Jaroslav Boreck, Martin Kohlk, Hana Kubtov |
| 2012 | DDECS | Reduction of complex safety models based on Markov chains. | Martin Kohlk, Hana Kubtov |
| 2012 | DSD | Miscellaneous Types of Partial Duplication Modifications for Availability Improvements. | Martin Kohlk, Jaroslav Boreck, Hana Kubtov |
| 2011 | DSD | Fault Models Usability Study for On-line Tested FPGA. | Jaroslav Boreck, Martin Kohlk, Pavel Kubalk, Hana Kubtov |
| 2010 | DSD | Faults Coverage Improvement Based on Fault Simulation and Partial Duplication. | Jaroslav Boreck, Martin Kohlk, Hana Kubtov, Pavel Kubalk |