Martin Kohlík

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 11

Top Topics

Poisson Distribution

Assemble To Order Systems

Monte Carlo Simulation

Top Venues

Microprocess. Microsystems

Publications

Miroslav Skrbek, Pavel Kubalík, Martin Kohlík, Jaroslav Borecký, Robert Hülle
Quantized Neural Network with Linearly Approximated Functions on Zynq FPGA. MECO (2024)
Miroslav Skrbek, Pavel Kubalík, Martin Kohlík, Jaroslav Borecký, Robert Hülle
Evaluation of the Medium-sized Neural Network using Approximative Computations on Zynq FPGA. MECO (2023)
Jan Reznícek, Martin Kohlík, Hana Kubátová
Verification of Calculations of Non-Homogeneous Markov Chains Using Monte Carlo Simulation. DSD (2022)
Jan Reznícek, Martin Kohlík, Hana Kubátová
Non-homogeneous hierarchical Continuous Time Markov Chains. Microprocess. Microsystems 78 (2020)
Jan Reznícek, Martin Kohlík, Hana Kubátová
Non-Homogeneous Continuous Time Markov Chains Calculations. DSD (2020)
Jan Reznícek, Martin Kohlík, Hana Kubátová
Accurate Inexact Calculations of Non-Homogeneous Markov Chains. DSD (2019)
Jan Reznícek, Martin Kohlík, Hana Kubátová
Hierarchical Dependability Models based on Non-Homogeneous Continuous Time Markov Chains. DTIS (2019)
Petr Novák, Martin Danhel, Rudolf B. Blazek, Martin Kohlík, Hana Kubátová
Predicting the Life Expectancy of Railway Fail-Safe Signaling Systems Using Dynamic Models with Censoring. QRS (2017)
Jaroslav Borecký, Martin Kohlík, Hana Kubátová
Parity driven reconfigurable duplex system. Microprocess. Microsystems 52 (2017)
Jaroslav Borecký, Martin Kohlík, Hana Kubátová
Parity Waterfall method. DDECS (2016)
Jaroslav Borecký, Martin Kohlík, Pavel Vit, Hana Kubátová
Enhanced Duplication Method with TMR-Like Masking Abilities. DSD (2016)
Pavel Vit, Jaroslav Borecký, Martin Kohlík, Hana Kubátová
Fault Tolerant Duplex System with High Availability for Practical Applications. DSD (2014)
Martin Kohlík, Hana Kubátová
Hierarchical Dependability Models Based on Markov Chains. ARCS Workshops (2013)
Martin Kohlík, Hana Kubátová
Markov chains hierarchical dependability models: Worst-case computations. LATW (2013)
Martin Kohlík, Hana Kubátová
Reduction of complex safety models based on Markov chains. DDECS (2012)
Martin Kohlík, Jaroslav Borecký, Hana Kubátová
Miscellaneous Types of Partial Duplication Modifications for Availability Improvements. DSD (2012)
Jaroslav Borecký, Martin Kohlík, Pavel Kubalík, Hana Kubátová
Fault Models Usability Study for On-line Tested FPGA. DSD (2011)
Jaroslav Borecký, Martin Kohlík, Hana Kubátová, Pavel Kubalík
Faults Coverage Improvement Based on Fault Simulation and Partial Duplication. DSD (2010)