Amir Nahir

Amir Nahir

Contact information
Homepage:
http://www.cs.technion.ac.il/~nahira/
Email:
nahira[at]cs.technion.ac.il
Advisors
Selected publications
  • Amir Nahir, Yossi Shiloach and Avi Ziv.
    Using Linear Programming Techniques for Scheduling-Based Random Test-Case Generation.
    In Haifa Verification Conference, 16-33, 2006 [bibtex]
  • Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar and Nir Ronen.
    Scheduling-based test-case generation for verification of multimedia SoCs.
    In DAC, 348-351, 2006 [bibtex]
  • David Breitgand, Rami Cohen, Amir Nahir and Danny Raz.
    Using the Right Amount of Monitoring in Adaptive Load Sharing.
    In ICAC, 7, 2007 [bibtex]