Metody akcelerace verifikace logických obvodů ; New Methods for Increasing Efficiency and Speed of Functional Verification. - Marcela Zachariásová (2015)

Regression Test Suites Optimization for Application-specific Instruction-Set Processors and Their Use for Dependability Analysis. - Marcela Zachariásová; Michaela Kekelyova-Beleova; Zdenek Kotásek (DSD, 2016)

Automation of Processor Verification Using Recurrent Neural Networks. - Martin Fajcik; Pavel Smrz; Marcela Zachariásová (MTV, 2017)

Functional verification based platform for evaluating fault tolerance properties. - Jakub Podivinsky; Ondrej Cekan; Jakub Lojda; Marcela Zachariásová; Martin Krcma; Zdenek Kotásek (Microprocess. Microsystems, 2017)

Using Control Logic Drivers for Automated Generation of System-level Portable Models. - Petr Bardonek; Marcela Zachariásová (DDECS, 2020)