Merav Aharoni - Concepedia

Author

Merav Aharoni

Also Known As

M. Aharoni, Merav Aharoni

Publications

190

Citations

H-Index

Concepts

All Affiliations

Merav Aharoni is an author at IBM (United States) specializing in engineering, computer engineering, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	5	5	162
2	Computer Engineering	5	5	162
3	Computer Science	5	5	162
4	Systems Engineering	2	2	115
5	Compilers	1	1	68

Merav Aharoni

Publications

162

Citations

H-Index

Page 1

	Year	Citations
Decimal floating-point in z9: An implementation and testing perspective Ali Y. Duale, Martina Decker, H.-G. Zipperer, IBM Journal of Research and Development Dfp ResultsEngineeringHardware Verification LanguageMeasurementDecimal Floating-point	2007	68
FPgen - a test generation framework for datapath floating-point verification Merav Aharoni, Sigal Asaf, Laurent Sébastien Fournier, EngineeringHardware Verification LanguageVerificationComputer ArchitectureTest Data Generation	2004	47
Simulation-Based Verification of Floating-Point Division Elena Guralnik, Merav Aharoni, Ariel J. Birnbaum, IEEE Transactions on Computers EngineeringHardware Verification LanguageVerificationComputer ArchitectureComputer-aided Verification	2010	23
Solving range constraints for binary floating-point instructions Avi Ziv, Merav Aharoni, Sigal Asaf Mathematical ProgrammingEngineeringConstrained OptimizationComputational ComplexityFormal Verification	2004	14
Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations Merav Aharoni, Ron Maharik, Abraham Ziv Proceedings/Proceedings - Symposium on Computer Arithmetic Mathematical ProgrammingNumerical AnalysisEngineeringVerificationComputer-aided Verification	2007	10

Page 1