Martin Kohlík

According to our database, Martin Kohlík authored at least 17 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

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

Proceedings of the 12th Mediterranean Conference on Embedded Computing, 2023

2022

Verification of Calculations of Non-Homogeneous Markov Chains Using Monte Carlo Simulation.

Jan Reznícek, Martin Kohlík, Hana Kubátová

Proceedings of the 25th Euromicro Conference on Digital System Design, 2022

2020

Non-homogeneous hierarchical Continuous Time Markov Chains.

Jan Reznícek, Martin Kohlík, Hana Kubátová

Microprocess. Microsystems, 2020

Non-Homogeneous Continuous Time Markov Chains Calculations.

Jan Reznícek, Martin Kohlík, Hana Kubátová

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

2019

Hierarchical Dependability Models based on Non-Homogeneous Continuous Time Markov Chains.

Jan Reznícek, Martin Kohlík, Hana Kubátová

Proceedings of the 14th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2019

Accurate Inexact Calculations of Non-Homogeneous Markov Chains.

Jan Reznícek, Martin Kohlík, Hana Kubátová

Proceedings of the 22nd Euromicro Conference on Digital System Design, 2019

2017

Parity driven reconfigurable duplex system.

Jaroslav Borecký, Martin Kohlík, Hana Kubátová

Microprocess. Microsystems, 2017

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á

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

2016

Enhanced Duplication Method with TMR-Like Masking Abilities.

Jaroslav Borecký, Martin Kohlík, Pavel Vit, Hana Kubátová

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

Parity Waterfall method.

Jaroslav Borecký, Martin Kohlík, Hana Kubátová

Proceedings of the 2016 IEEE 19th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), 2016

2014

Fault Tolerant Duplex System with High Availability for Practical Applications.

Pavel Vit, Jaroslav Borecký, Martin Kohlík, Hana Kubátová

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

2013

Markov chains hierarchical dependability models: Worst-case computations.

Martin Kohlík, Hana Kubátová

Proceedings of the 14th Latin American Test Workshop, 2013

Hierarchical Dependability Models Based on Markov Chains.

Martin Kohlík, Hana Kubátová

Proceedings of the ARCS 2013, 2013

2012

Miscellaneous Types of Partial Duplication Modifications for Availability Improvements.

Martin Kohlík, Jaroslav Borecký, Hana Kubátová

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Reduction of complex safety models based on Markov chains.

Martin Kohlík, Hana Kubátová

Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

2011

Fault Models Usability Study for On-line Tested FPGA.

Jaroslav Borecký, Martin Kohlík, Pavel Kubalík, Hana Kubátová

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

2010

Faults Coverage Improvement Based on Fault Simulation and Partial Duplication.

Jaroslav Borecký, Martin Kohlík, Hana Kubátová, Pavel Kubalík

Proceedings of the 13th Euromicro Conference on Digital System Design, 2010