MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Tamir Heyman" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

An Overview and Application of Model Reduction Techniques in Formal Verification
by Jason Baumgartner, Tamir Heyman — 1998 — In Proc. IEEE IPCCC
…, Texas USA jasonb@(email omitted); Tamir Heyman IBM Haifa Research Laboratory Haifa, Israel tamirh…
Cited by 4 (2 self) – Add To MetaCart

Achieving speedups in distributed symbolic reachability analysis through asynchronous computation
by Orna Grumberg, Tamir Heyman, Nili Ifergan, Assaf Schuster — 2005 — In CHARME
… Orna Grumberg, Tamir Heyman, Nili Ifergan ⋆ , and Assaf Schuster Computer Science Department, Technion…
Cited by 9 (1 self) – Add To MetaCart

A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits
by Tamir Heyman, Danny Geist, Orna Grumberg, Assaf Schuster — 2002 — In Formal Methods in System Design
… A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits* Tamir Heyman1…
Cited by 5 (1 self) – Add To MetaCart

An abstraction algorithm for the verification of level-sensitive latch-based netlists
by Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz — 2003 — Formal Methods in System Design
… Baumgartner , Tamir Heyman , Vigyan Singhal , and Adnan Aziz� IBM Enterprise Systems Group, Austin, Texas…
Cited by 6 (5 self) – Add To MetaCart

Distributed Symbolic Model Checking for μ-calculus
by Orna Grumberg, Tamir Heyman, Assaf Schuster — 2001
…Distributed Symbolic Model Checking for --calculus Orna Grumberg 1 , Tamir Heyman 1;2 , Assaf…
Cited by 1 (0 self) – Add To MetaCart

Model checking the IBM Gigahertz Processor: An abstraction algorithm for high-performance netlists
by Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz — 1999 — In Proc. 11 th International Conference on Computer Aided Veri (CAV), LNCS 1633
… Jason Baumgartner 1 , Tamir Heyman 2 , Vigyan Singhal 3 , and Adnan Aziz 4 1 IBM Corporation, Austin…
Cited by 12 (2 self) – Add To MetaCart

Distributed symbolic model checking for µ-calculus
by Orna Grumberg, Tamir Heyman, Assaf Schuster — 2001 — In Computer Aided Verification
…Distributed Symbolic Model Checking for µ–calculus ∗ Orna Grumberg, Tamir Heyman, Assaf Schuster…
Cited by 17 (0 self) – Add To MetaCart

Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits
by Tamir Heyman, Danny Geist, Orna Grumberg, Assaf Schuster — 2000 — In Proc. of the 12th International Conference on Computer Aided Verification
…Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits Tamir Heyman 1…
Cited by 42 (7 self) – Add To MetaCart

unknown title
by Scalable Distributed, On-the-fly Symbolic, Modelchecking Shoham Ben-david, Tamir Heyman, Orna Grumberg, Assaf Schuster
… Scalable Distributed On-the-Fly Symbolic ModelChecking Shoham Ben-David2, Tamir Heyman1;2, Orna…
Add To MetaCart

Scalable Distributed On-the-Fly Symbolic Model
by Checking Shoham Ben-David, Shoham Ben-david, Tamir Heyman, Orna Grumberg, Assaf Schuster — 2000 — In third International Conference on Formal methods in Computer-Aided Design (FMCAD’00
…Scalable Distributed On-the-Fly Symbolic Model Checking Shoham Ben-David 2 , Tamir Heyman 1…
Cited by 22 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB