| 2025 | DATE | Multi-Partner Project: LoLiPoP-IoT - Design and Simulation of Energy-Efficient Devices for the Internet of Things. | Jakub Lojda, Josef Strnadel, Pavel Smrz, Vclav Simek |
| 2025 | DSD | Portable Simulation Models for Energy Aspects of IoT Devices in the LoLiPoP-IoT Project. | Jakub Lojda, Daire Joyce, Pavel Smrz, Shruti Kathuria, Josef Strnadel, Caitlin Quinn, Vclav Simek, Patrik Staron |
| 2024 | DSD | The LoLiPoP-IoT Project: Long Life Power Platforms for Internet of Things. | Jakub Lojda, Josef Strnadel, Vclav Simek, Pavel Smrz, Mike Hayes, Ralf Popp |
| 2024 | VECoS | On SMC-Based Dependability Analysis in LoLiPoP-IoT Project. | Josef Strnadel, Jakub Lojda, Pavel Smrz, Vclav Simek |
| 2021 | DSD | Automatic Design of Fault-Tolerant Systems for VHDL and SRAM-based FPGAs. | Jakub Lojda, Richard Panek, Zdenek Kotsek |
| 2021 | DSD | Reliability Analysis of the FPGA Control System with Reconfiguration Hardening. | Richard Panek, Jakub Lojda, Jakub Podivinsky, Zdenek Kotsek |
| 2020 | DDECS | Automatic Design of Reliable Systems Based on the Multiple-choice Knapsack Problem. | Jakub Lojda, Jakub Podivinsky, Ondrej Cekan, Richard Panek, Martin Krcma, Zdenek Kotsek |
| 2020 | DSD | Hardening of Smart Electronic Lock Software against Random and Deliberate Faults. | Jakub Lojda, Richard Panek, Jakub Podivinsky, Ondrej Cekan, Martin Krcma, Zdenek Kotsek |
| 2019 | DSD | Testing Reliability of Smart Electronic Locks: Analysis and the First Steps Towards. | Ondrej Cekan, Jakub Podivinsky, Jakub Lojda, Richard Panek, Martin Krcma, Zdenek Kotsek |
| 2018 | DSD | FT-EST Framework: Reliability Estimation for the Purposes of Fault-Tolerant System Design Automation. | Jakub Lojda, Jakub Podivinsky, Ondrej Cekan, Richard Panek, Zdenek Kotsek |
| 2018 | DSD | Evaluation Platform for Testing Fault Tolerance Properties: Soft-core Processor-Based Experimental Robot Controller. | Jakub Podivinsky, Jakub Lojda, Ondrej Cekan, Zdenek Kotsek |
| 2017 | DSD | Reliability Analysis and Improvement of FPGA-Based Robot Controller. | Jakub Podivinsky, Jakub Lojda, Ondrej Cekan, Richard Panek, Zdenek Kotsek |
| 2016 | DSD | Verification of Robot Controller for Evaluating Impacts of Faults in Electro-Mechanical Systems. | Jakub Podivinsky, Ondrej Cekan, Jakub Lojda, Zdenek Kotsek |