HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware. - Marcela Simková; Ondrej Lengál; Michal Kajan (Haifa Verification Conference, 2011)

Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures. - Marcela Simková; Ondrej Lengál (Haifa Verification Conference, 2012)

Analysis and comparison of functional verification and ATPG for testing design reliability. - Marcela Simková; Zdenek Kotásek; Cristiana Bolchini (DDECS, 2013)

Automated Functional Verification of Application Specific Instruction-set Processors. - Marcela Simková; Zdenek Prikryl; Zdenek Kotásek; Tomas Hruska (IESS, 2013)

Application of Evolutionary Algorithms for Regression Suites Optimization. - Michaela Beleova; Zdenek Kotásek; Marcela Simková; Toma Hruka (DDECS, 2015)

FPGA Prototyping and Accelerated Verification of ASIPs. - Jakub Podivinsky; Marcela Simková; Ondrej Cekan; Zdenek Kotásek (DDECS, 2015)

Automation and Optimization of Coverage-driven Verification. - Marcela Simková; Zdenek Kotásek (DSD, 2015)

The evaluation platform for testing fault-tolerance methodologies in electro-mechanical applications. - Jakub Podivinsky; Ondrej Cekan; Marcela Simková; Zdenek Kotásek (Microprocess. Microsystems, 2015)