Amir Nahir Homepage

• Faculty of Computer Science
  Technion - Israel Institute of Technology
  Technion City, Haifa 32000
  Israel
• Office: Taub 307
• Phone: (04)-8294315
• Email: nahira (at) cs.technion.ac.il
  
• My old website: you can find there some formula sheets I made

Publications

• "Using Linear Programming Techniques for Scheduling-based Random Test-case Generation"
  A. Nahir, Y. Shiloach, A. Ziv
  to appear in Proceedings of the 2nd Haifa Verification Conference, October 2006

• "Scheduling-based Test-case Generation for Verification of Multimedia SoCs"
  A. Nahir, A. Ziv, R. Emek, T. Keidar, R. Ronen
  in Proceedings of the 43rd Design Automation Conference, pages 348-351, July 2006