Marcela Zachariásová

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 5

Top Topics

Functional Verification

Recurrent Neural Networks

Cascade Correlation

Top Venues

Microprocess. Microsystems

Brno University of Technology, Czech Republic (PHD)

Education History

Brno University of Technology, Czech Republic

PHD

Publications

Petr Bardonek, Marcela Zachariásová
Using Control Logic Drivers for Automated Generation of System-level Portable Models. DDECS (2020)
Martin Fajcik, Marcela Zachariásová, Pavel Smrz
Automation of Processor Verification Using Recurrent Neural Networks. CoRR (2018)
Martin Fajcik, Pavel Smrz, Marcela Zachariásová
Automation of Processor Verification Using Recurrent Neural Networks. MTV (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)
Marcela Zachariásová, Michaela Kekelyova-Beleova, Zdenek Kotásek
Regression Test Suites Optimization for Application-specific Instruction-Set Processors and Their Use for Dependability Analysis. DSD (2016)