Jakub Lojda

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 29

Top Topics

Fault Tolerance

Reliability Analysis

Functional Verification

Top Venues

Publications

Richard Panek, Jakub Lojda
The Fault-tolerant Single-FPGA Systems with a Self-repair Reconfiguration Controller. LASCAS (2023)
Jakub Lojda, Richard Panek, Zdenek Kotásek
Automatic Design of Fault-Tolerant Systems for VHDL and SRAM-based FPGAs. DSD (2021)
Richard Panek, Jakub Lojda, Jakub Podivinsky, Zdenek Kotásek
Reliability Analysis of the FPGA Control System with Reconfiguration Hardening. DSD (2021)
Jakub Lojda, Richard Panek, Zdenek Kotásek
Automatically-Designed Fault-Tolerant Systems: Failed Partitions Recovery. EWDTS (2021)
Jakub Lojda, Richard Panek, Jakub Podivinsky, Ondrej Cekan, Martin Krcma, Zdenek Kotásek
Testing Embedded Software Through Fault Injection: Case Study on Smart Lock. LATS (2021)
Jakub Lojda, Richard Panek, Jakub Podivinsky, Ondrej Cekan, Martin Krcma, Zdenek Kotásek
Analysis of Software-Implemented Fault Tolerance: Case Study on Smart Lock. EWDTS (2020)
Jakub Lojda, Richard Panek, Jakub Podivinsky, Ondrej Cekan, Martin Krcma, Zdenek Kotásek
Hardening of Smart Electronic Lock Software against Random and Deliberate Faults. DSD (2020)
Jakub Lojda, Jakub Podivinsky, Ondrej Cekan, Richard Panek, Martin Krcma, Zdenek Kotásek
Automatic Design of Reliable Systems Based on the Multiple-choice Knapsack Problem. DDECS (2020)
Jakub Podivinsky, Jakub Lojda, Richard Panek, Ondrej Cekan, Martin Krcma, Zdenek Kotásek
Evaluation Platform For Testing Fault Tolerance: Testing Reliability of Smart Electronic Locks. LASCAS (2020)
Richard Panek, Jakub Lojda, Jakub Podivinsky, Zdenek Kotásek
Reliability Analysis of Reconfiguration Controller for FPGA-Based Fault Tolerant Systems: Case Study. VLSI-DAT (2020)
Jakub Lojda, Jakub Podivinsky, Zdenek Kotásek
Reliability Indicators for Automatic Design and Analysis of Fault-Tolerant FPGA Systems. LATS (2019)
Jakub Podivinsky, Jakub Lojda, Zdenek Kotásek
Extended Reliability Analysis of Fault-Tolerant FPGA-based Robot Controller. LATS (2019)
Martin Krcma, Zdenek Kotásek, Jakub Lojda
Detecting hard synapses faults in artificial neural networks. LATS (2019)
Ondrej Cekan, Jakub Podivinsky, Jakub Lojda, Richard Panek, Martin Krcma, Zdenek Kotásek
Testing Reliability of Smart Electronic Locks: Analysis and the First Steps Towards. DSD (2019)
Jakub Lojda, Jakub Podivinsky, Ondrej Cekan, Richard Panek, Zdenek Kotásek
FT-EST Framework: Reliability Estimation for the Purposes of Fault-Tolerant System Design Automation. DSD (2018)
Jakub Podivinsky, Jakub Lojda, Ondrej Cekan, Zdenek Kotásek
Evaluation Platform for Testing Fault Tolerance Properties: Soft-core Processor-Based Experimental Robot Controller. DSD (2018)
Jakub Lojda, Jakub Podivinsky, Zdenek Kotásek
Fault Tolerance Properties of Systems Generated with the Use of High-Level Synthesis. EWDTS (2018)
Jakub Podivinsky, Jakub Lojda, Zdenek Kotásek
An Experimental Evaluation of Fault-Tolerant FPGA-Based Robot Controller. EWDTS (2018)
Richard Panek, Jakub Lojda, Jakub Podivinsky, Zdenek Kotásek
Partial Dynamic Reconfiguration in an FPGA-based Fault-Tolerant System: Simulation-based Evaluation. EWDTS (2018)
Jakub Podivinsky, Jakub Lojda, Ondrej Cekan, Richard Panek, Zdenek Kotásek
Reliability Analysis and Improvement of FPGA-Based Robot Controller. DSD (2017)
Jakub Lojda, Jakub Podivinsky, Zdenek Kotásek, Martin Krcma
Data types and operations modifications: A practical approach to fault tolerance in HLS. EWDTS (2017)
Jakub Lojda, Jakub Podivinsky, Zdenek Kotásek
Redundant data types and operations in HLS and their use for a robot controller unit fault tolerance evaluation. EWDTS (2017)
Martin Krcma, Zdenek Kotásek, Jakub Lojda
Triple modular redundancy used in field programmable neural networks. EWDTS (2017)
Martin Krcma, Zdenek Kotásek, Jakub Lojda
Comparison of FPNNs models approximation capabilities and FPGA resources utilization. ICCP (2017)
Jakub Podivinsky, Ondrej Cekan, Jakub Lojda, Marcela Zachariásová, Martin Krcma, Zdenek Kotásek
Functional verification based platform for evaluating fault tolerance properties. Microprocess. Microsystems 52 (2017)
Martin Krcma, Zdenek Kotásek, Jakub Lojda
Implementation of fault tolerant techniques into FPNNs. FPT (2016)
Jakub Lojda, Jakub Podivinsky, Martin Krcma, Zdenek Kotásek
HLS-based fault tolerance approach for SRAM-based FPGAs. FPT (2016)
Jakub Podivinsky, Ondrej Cekan, Jakub Lojda, Zdenek Kotásek
Verification of Robot Controller for Evaluating Impacts of Faults in Electro-Mechanical Systems. DSD (2016)
Jakub Podivinsky, Ondrej Cekan, Jakub Lojda, Zdenek Kotásek
Functional verification as a tool for monitoring impact of faults in SRAM-based FPGAs. FPT (2016)