We stand with Ukraine  

Marcela Zachariásová

Affiliations:
  • Brno University of Technology, Department of Computer Systems, Czech Republic


According to our database1, Marcela Zachariásová authored at least 5 papers between 2015 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Using Control Logic Drivers for Automated Generation of System-level Portable Models.
[BibTeX]
[DOI]
Petr Bardonek
,
Marcela Zachariásová
Proceedings of the 23rd International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2020

2017
Functional verification based platform for evaluating fault tolerance properties.
[BibTeX]
[DOI]
Jakub Podivinsky
,
Ondrej Cekan
,
Jakub Lojda
,
Marcela Zachariásová
,
Martin Krcma
,
Zdenek Kotásek
Microprocess. Microsystems, 2017

Automation of Processor Verification Using Recurrent Neural Networks.
[BibTeX]
[DOI]
Martin Fajcik
,
Pavel Smrz
,
Marcela Zachariásová
Proceedings of the 18th International Workshop on Microprocessor and SOC Test and Verification, 2017

2016
Regression Test Suites Optimization for Application-specific Instruction-Set Processors and Their Use for Dependability Analysis.
[BibTeX]
[DOI]
Marcela Zachariásová
,
Michaela Kekelyova-Beleova
,
Zdenek Kotásek
Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015
Metody akcelerace verifikace logických obvodů ; New Methods for Increasing Efficiency and Speed of Functional Verification.
[BibTeX]
[DOI]
Marcela Zachariásová
PhD thesis, 2015


  Loading...