Statistics
Publications
6
Citations
414
H-Index
6
Active since
2004
Affiliations
Michael Vinov is an author at IBM Research - Haifa specializing in computer science, verification, and computer engineering.
Publications per year
2004–2021
6
6
Constraint-Based Random Stimuli Generation for Hardware Verification
Y. Naveh, Michal Rimon, Itai Jaeger et al. · AI Magazine · 2007 · 85 citations
Constraint-based random stimuli generation for hardware verification
Y. Naveh, Michal Rimon, Itai Jaeger et al. · 2006 · 51 citations
The THREAT-ARREST Cyber Range Platform
George Hatzivasilis, Sotiris Ioannidis, Michail Smyrlis et al. · 2021 · 26 citations
1–5 of 6