Martin Krcma

18 papers B 1C 5Journal 1Unranked 11
YearRankTypeTitle / Venue / Authors
2021 — conf
Testing Embedded Software Through Fault Injection: Case Study on Smart Lock.
LATS
Jakub Lojda, Richard Panek, Jakub Podivinsky, Ondrej Cekan, Martin Krcma, Zdenek Kotásek
2020 — conf
Analysis of Software-Implemented Fault Tolerance: Case Study on Smart Lock.
EWDTS
Jakub Lojda, Richard Panek, Jakub Podivinsky, Ondrej Cekan, Martin Krcma, Zdenek Kotásek
2020 C conf
Automatic Design of Reliable Systems Based on the Multiple-choice Knapsack Problem.
DDECS
Jakub Lojda, Jakub Podivinsky, Ondrej Cekan, Richard Panek, Martin Krcma, Zdenek Kotásek
2020 — conf
Evaluation Platform For Testing Fault Tolerance: Testing Reliability of Smart Electronic Locks.
LASCAS
Jakub Podivinsky, Jakub Lojda, Richard Panek, Ondrej Cekan, Martin Krcma, Zdenek Kotásek
2020 C conf
Hardening of Smart Electronic Lock Software against Random and Deliberate Faults.
DSD
Jakub Lojda, Richard Panek, Jakub Podivinsky, Ondrej Cekan, Martin Krcma, Zdenek Kotásek
2020 — conf
Iterative Algorithm for Multidimensional Pareto Frontiers Intersection Determination.
LASCAS
Jakub Podivinsky, Ondrej Cekan, Martin Krcma, Radek Burget, Tomas Hruska, Zdenek Kotásek
2019 — conf
Detecting hard synapses faults in artificial neural networks.
LATS
Martin Krcma, Zdenek Kotásek, Jakub Lojda
2019 C conf
Multidimensional Pareto Frontiers Intersection Determination and Processor Optimization Case Study.
DSD
Jakub Podivinsky, Ondrej Cekan, Martin Krcma, Radek Burget, Tomas Hruska, Zdenek Kotásek
2019 C conf
Testing Reliability of Smart Electronic Locks: Analysis and the First Steps Towards.
DSD
Ondrej Cekan, Jakub Podivinsky, Jakub Lojda, Richard Panek, Martin Krcma, Zdenek Kotásek
2018 — conf
A Processor Optimization Framework for a Selected Application.
EWDTS
Jalab Podivinsky, Ondrej Cekan, Martin Krcma, Radek Burget, Tomas Hruska, Zdenek Kotásek
2017 B conf
Comparison of FPNNs models approximation capabilities and FPGA resources utilization.
ICCP
Martin Krcma, Zdenek Kotásek, Jakub Lojda
2017 — conf
Data types and operations modifications: A practical approach to fault tolerance in HLS.
EWDTS
Jakub Lojda, Jakub Podivinsky, Zdenek Kotásek, Martin Krcma
2017 J jnl
Functional verification based platform for evaluating fault tolerance properties.
Microprocess. Microsystems
Jakub Podivinsky, Ondrej Cekan, Jakub Lojda, Marcela Zachariásová, Martin Krcma, Zdenek Kotásek
2017 — conf
Triple modular redundancy used in field programmable neural networks.
EWDTS
Martin Krcma, Zdenek Kotásek, Jakub Lojda
2016 — conf
HLS-based fault tolerance approach for SRAM-based FPGAs.
FPT
Jakub Lojda, Jakub Podivinsky, Martin Krcma, Zdenek Kotásek
2016 — conf
Implementation of fault tolerant techniques into FPNNs.
FPT
Martin Krcma, Zdenek Kotásek, Jakub Lojda
2015 — conf
Fault tolerant Field Programmable Neural Networks.
NORCAS
Martin Krcma, Zdenek Kotásek, Jan Kastil
2015 C conf
Mapping Trained Neural Networks to FPNNs.
DDECS
Martin Krcma, Jan Kastil, Zdenek Kotásek