Tamir Heyman

Publication Activity (10 Years)

Years Active: 1997-2014
Publications (10 Years): 0

Top Topics

Quantified Boolean Formulae

Simple Temporal

Reasoning Tasks

Top Venues

Publications

Tamir Heyman, Dan Smith, Yogesh Mahajan, Lance Leong, Husam Abu-Haimed
Dominant Controllability Check Using QBF-Solver and Netlist Optimizer. SAT (2014)
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)
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) (2007)
Orna Grumberg, Tamir Heyman, Assaf Schuster
A work-efficient distributed algorithm for reachability analysis. Formal Methods Syst. Des. 29 (2) (2006)
Orna Grumberg, Tamir Heyman, Nili Ifergan, Assaf Schuster
Achieving Speedups in Distributed Symbolic Reachability Analysis Through Asynchronous Computation. CHARME (2005)
Limor Fix, Orna Grumberg, Amnon Heyman, Tamir Heyman, Assaf Schuster
Verifying Very Large Industrial Circuits Using 100 Processes and Beyond. ATVA (2005)
Orna Grumberg, Tamir Heyman, Assaf Schuster
Distributed Symbolic Model Checking for µ-Calculus. Formal Methods Syst. Des. 26 (2) (2005)
Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster
Scalable distributed on-the-fly symbolic model checking. Int. J. Softw. Tools Technol. Transf. 4 (4) (2003)
Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz
An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists. Formal Methods Syst. Des. 23 (1) (2003)
Orna Grumberg, Tamir Heyman, Assaf Schuster
A Work-Efficient Distributed Algorithm for Reachability Analysis. CAV (2003)
Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster
A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits. Formal Methods Syst. Des. 21 (3) (2002)
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 Syst. Des. 19 (1) (2001)
Orna Grumberg, Tamir Heyman, Assaf Schuster
Distributed Symbolic Model Checking for µ-Calculus. CAV (2001)
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster
Scalable Distributed On-the-Fly Symbolic Model Checking. FMCAD (2000)
Tamir Heyman, Daniel Geist, Orna Grumberg, Assaf Schuster
Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits. CAV (2000)
Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz
Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists. CAV (1999)
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)