Tamir Heyman - RankMe

17 papers A* 5A 1B 2Journal 7Unranked 2

Year	Rank	Type	Title / Venue / Authors
2014	A	`conf`	Dominant Controllability Check Using QBF-Solver and Netlist Optimizer. SAT Tamir Heyman, Dan Smith, Yogesh Mahajan, Lance Leong, Husam Abu-Haimed
2007	—	`conf`	Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar
2007	J	`jnl`	Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. Int. J. Found. Comput. Sci. Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
2006	J	`jnl`	A work-efficient distributed algorithm for reachability analysis. Formal Methods Syst. Des. Orna Grumberg, Tamir Heyman, Assaf Schuster
2005	—	`conf`	Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation. CHARME Orna Grumberg, Tamir Heyman, Nili Ifergan, Assaf Schuster
2005	J	`jnl`	Distributed Symbolic Model Checking for µ-Calculus. Formal Methods Syst. Des. Orna Grumberg, Tamir Heyman, Assaf Schuster
2005	B	`conf`	Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. ATVA Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
2003	A*	`conf`	A Work-Efficient Distributed Algorithm for Reachability Analysis. CAV Orna Grumberg, Tamir Heyman, Assaf Schuster
2003	J	`jnl`	An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists. Formal Methods Syst. Des. Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz
2003	J	`jnl`	Scalable distributed on-the-fly symbolic model checking. Int. J. Softw. Tools Technol. Transf. Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster
2002	J	`jnl`	A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits. Formal Methods Syst. Des. Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster
2001	A*	`conf`	Distributed Symbolic Model Checking for µ-Calculus. CAV Orna Grumberg, Tamir Heyman, Assaf Schuster
2001	J	`jnl`	On the Effective Deployment of Functional Formal Verification. Formal Methods Syst. Des. Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham
2000	A*	`conf`	Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. CAV Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster
2000	B	`conf`	Scalable Distributed On-the-Fly Symbolic Model Checking. FMCAD Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster
1999	A*	`conf`	Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. CAV Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz
1997	A*	`conf`	RuleBase: Model Checking at IBM. CAV Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal