Martin Kohlík

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