Tamir Heyman

17 papers A* 5A 1B 2Journal 7Unranked 2
YearRankTypeTitle / 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