Tamir Heyman
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
1997–2014
Best venue rank
A*
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | SAT | Dominant Controllability Check Using QBF-Solver and Netlist Optimizer. | Tamir Heyman, Dan Smith, Yogesh Mahajan, Lance Leong, Husam Abu-Haimed |
| 2007 | ASPDAC | Deeper Bound in BMC by Combining Constant Propagation and Abstraction. | Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar |
| 2005 | ATVA | Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. | Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster |
| 2003 | CAV | A Work-Efficient Distributed Algorithm for Reachability Analysis. | Orna Grumberg, Tamir Heyman, Assaf Schuster |
| 2001 | CAV | Distributed Symbolic Model Checking for µ-Calculus. | Orna Grumberg, Tamir Heyman, Assaf Schuster |
| 2000 | CAV | Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. | Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster |
| 2000 | FMCAD | Scalable Distributed On-the-Fly Symbolic Model Checking. | Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster |
| 1999 | CAV | Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. | Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz |
| 1997 | CAV | RuleBase: Model Checking at IBM. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal |