STMicroelectronics (France) — France
Computer Science · Physical Sciences
1h-index3citations2works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Parallel Computing and Optimization Techniques(2), Formal Methods in Verification(2), Software Testing and Debugging Techniques(2)
Publications2 total
2005· 2 cited
Proceedings. 42nd Design Automation Conference, 2005.·2005· 1 cited
Frequent Co-authors
Allon Adir(2), Yaron Arbetman(2), Bella Dubrov(2), Michal Rimon(2), Michael Vinov(2), A. Cofler(2), Gabriel Duffy(2), Yossi Lichtenstein(1), Y. Liechtenstein(1)