4
Publications
209
Citations
4
H-Index
2002
Active since
Affiliations
R. Emek is an author at IBM Research - Haifa specializing in formal methods, computer engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationComputer EngineeringVerificationSoftware DesignSystem SoftwareProgram AnalysisSoftware Testing
Publications per year
2002–2004
4
4
X-Gen: a random test-case generator for systems and SoCs
R. Emek, Itai Jaeger, Y. Naveh et al. · 2003 · 62 citations
Engineering, Hardware Verification Language, Computer Architecture +20
Rows per page
1–4 of 4