Tamir Heyman - researchr alias

researchr

You are not signed in
Sign in
Sign up

2007

Deeper Bound in BMC by Combining Constant Propagation and AbstractionRoy Armoni, Limor Fix, Ranan Fraer, Tamir Heyman, Moshe Y. Vardi, Yakir Vizel, Yael Zbar. aspdac 2007: 304-309 [doi]

Verifying Very Large Industrial Circuits Using 100 Processes and BeyondLimor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster. ijfcs, 18(1):45-62, 2007. [doi]

2006

A work-efficient distributed algorithm for reachability analysisOrna Grumberg, Tamir Heyman, Assaf Schuster. fmsd, 29(2):157-175, 2006. [doi]

2005

2003

2002

A Scalable Parallel Algorithm for Reachability Analysis of Very Large CircuitsTamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster. fmsd, 21(3):317-338, 2002.

2001

On the Effective Deployment of Functional Formal VerificationYael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham. fmsd, 19(1):35-44, 2001.

Distributed Symbolic Model Checking for µ-CalculusOrna Grumberg, Tamir Heyman, Assaf Schuster. cav 2001: 350-362 [doi]

2000

Scalable Distributed On-the-Fly Symbolic Model CheckingShoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster. FMCAD 2000: 390-404 [doi]

Achieving Scalability in Parallel Reachability Analysis of Very Large CircuitsTamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster. cav 2000: 20-35

1999

Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance NetlistsJason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz. cav 1999: 72-83 [doi]

1997

RuleBase: Model Checking at IBMIlan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal. cav 1997: 480-483