Tamir Heyman

2007
16	EE	Roy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar: Deeper Bound in BMC by Combining Constant Propagation and Abstraction. ASP-DAC 2007: 304-309
15	EE	Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster: Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. Int. J. Found. Comput. Sci. 18(1): 45-62 (2007)
2006
14	EE	Orna Grumberg, Tamir Heyman, Assaf Schuster: A work-efficient distributed algorithm for reachability analysis. Formal Methods in System Design 29(2): 157-175 (2006)
2005
13	EE	Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster: Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. ATVA 2005: 11-25
12	EE	Orna Grumberg, Tamir Heyman, Nili Ifergan, Assaf Schuster: Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation. CHARME 2005: 129-145
11	EE	Orna Grumberg, Tamir Heyman, Assaf Schuster: Distributed Symbolic Model Checking for µ-Calculus. Formal Methods in System Design 26(2): 197-219 (2005)
2003
10	EE	Orna Grumberg, Tamir Heyman, Assaf Schuster: A Work-Efficient Distributed Algorithm for Reachability Analysis. CAV 2003: 54-66
9	EE	Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz: An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists. Formal Methods in System Design 23(1): 39-65 (2003)
8	EE	Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster: Scalable distributed on-the-fly symbolic model checking. STTT 4(4): 496-504 (2003)
2002
7		Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster: A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits. Formal Methods in System Design 21(3): 317-338 (2002)
2001
6	EE	Orna Grumberg, Tamir Heyman, Assaf Schuster: Distributed Symbolic Model Checking for µ-Calculus. CAV 2001: 350-362
5		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: On the Effective Deployment of Functional Formal Verification. Formal Methods in System Design 19(1): 35-44 (2001)
2000
4		Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster: Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. CAV 2000: 20-35
3	EE	Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster: Scalable Distributed On-the-Fly Symbolic Model Checking. FMCAD 2000: 390-404
1999
2	EE	Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz: Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. CAV 1999: 72-83
1997
1		Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal: RuleBase: Model Checking at IBM. CAV 1997: 480-483

Coauthor Index

1	Yael Abarbanel-Vinov	[5]
2	Neta Aizenbud-Reshef	[5]
3	Roy Armoni	[16]
4	Adnan Aziz	[2] [9]
5	Jason Baumgartner	[2] [9]
6	Ilan Beer	[1] [5]
7	Shoham Ben-David	[1] [3] [8]
8	Cindy Eisner	[1] [5]
9	Limor Fix	[13] [15] [16]
10	Ranan Fraer	[16]
11	Daniel Geist	[1] [4] [5] [7]
12	Leonid Gluhovsky	[1]
13	Orna Grumberg	[3] [4] [6] [7] [8] [10] [11] [12] [13] [14] [15]
14	Amnon Heyman	[13] [15]
15	Nili Ifergan	[12]
16	Avner Landver	[1]
17	P. Paanah	[1]
18	Iris Reuveni	[5]
19	Eran Rippel	[5]
20	Yoav Rodeh	[1]
21	G. Ronin	[1]
22	Assaf Schuster	[3] [4] [6] [7] [8] [10] [11] [12] [13] [14] [15]
23	Irit Shitsevalov	[5]
24	Vigyan Singhal	[2] [9]
25	Moshe Y. Vardi	[16]
26	Yakir Vizel	[16]
27	Yaron Wolfsthal (Yaron Wolfstahl)	[1] [5]
28	Tali Yatzkar-Haham	[5]
29	Yael Zbar	[16]

Colors in the list of coauthors