| 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 |
| 2019 | DSD | Multidimensional Pareto Frontiers Intersection Determination and Processor Optimization Case Study. | Jakub Podivinsky, Ondrej Cekan, Martin Krcma, Radek Burget, Tomas Hruska, Zdenek Kotsek |
| 2018 | DSD | Program Generation Through a Probabilistic Constrained Grammar. | Ondrej Cekan, Jakub Podivinsky, 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 | A Probabilistic Context-Free Grammar Based Random Test Program Generation. | 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 |
| 2015 | DDECS | FPGA Prototyping and Accelerated Verification of ASIPs. | Jakub Podivinsky, Marcela Simkov, Ondrej Cekan, Zdenek Kotsek |
| 2015 | DSD | Software Fault Tolerance: The Evaluation by Functional Verification. | Ondrej Cekan, Jakub Podivinsky, Zdenek Kotsek |
| 2014 | DSD | The Evaluation Platform for Testing Fault-Tolerance Methodologies in Electro-Mechanical Applications. | Jakub Podivinsky, Ondrej Cekan, Marcela Simkov, Zdenek Kotsek |