Computer Science · Physical Sciences
9h-index508citations20works1.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Formal Methods in Verification(11), Software Testing and Debugging Techniques(9), VLSI and Analog Circuit Testing(6), Constraint Satisfaction and Optimization(4), Parallel Computing and Optimization Techniques(3)
Publications20 total
Journal of Engineering Research and Reports·2025· 1 citedOpen Access
IBM Journal of Research and Development·2015· 9 cited
Lecture notes in computer science·2013· 1 cited
Design, Automation, and Test in Europe·2012· 9 cited
2012· 22 cited
Lecture notes in computer science·2011· 19 cited
Ontology-Based Tools in the Service of Hardware Verification.
Software Engineering and Knowledge Engineering·2010· 3 cited
AI Magazine·2007· 85 cited
Proceedings·2006· 4 cited
Constraint-based random stimuli generation for hardware verification
2006· 50 cited
2005· 2 cited
Proceedings. 42nd Design Automation Conference, 2005.·2005· 1 cited
Industrial experience with test generation languages gar processor verification
2004· 3 cited
IEEE Design & Test of Computers·2004· 178 cited
2002· 6 cited
Automated Software Engineering·1994· 15 cited
Frequent Co-authors
Michael Vinov(8), Allon Adir(6), Yoav Katz(6), Avi Ziv(5), Eitan Marcus(4), J. M. Ludden(4), Yossi Lichtenstein(4), Itai Jaeger(3), Gil Shurek(3), Y. Naveh(2), Michael Behm(2), Richard M. Keller(2), Ronny Morad(2), Yaron Arbetman(2), Bella Dubrov(2), Massimo A. Calligaro(2), A. Cofler(2), Gabriel Duffy(2), Farhan Masud Foysal(2), Shahin Sikder(2)