author-photo

Tamir Heyman

Technion – Israel Institute of Technology

21

Papers

514

Citations

Citation Trend

Filter By

Papers (16) Sort By

Journal Conference Others

VERIFYING VERY LARGE INDUSTRIAL CIRCUITS USING 100 PROCESSES AND BEYOND

2007 International Journal of Foundations of Computer Science
Show All
- Source
- Cite
- Save
Citations (7)
Distributed Symbolic Model Checking for μ-Calculus

2005 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (8)
Achieving speedups in distributed symbolic reachability analysis through asynchronous computation

2005 Lecture Notes in Computer Science
Show All
- Source
- Cite
- Save
Citations (42)
Verifying very large industrial circuits using 100 processes and beyond

2005 ATVA | Automated Technology for Verification and Analysis
Show All
- Source
- Cite
- Save
Citations (4)
A Work-Efficient Distributed Algorithm for Reachability Analysis

2003 CAV | Computer Aided Verification
Show All
- Source
- Cite
- Save
Citations (0)
Scalable distributed on-the-fly symbolic model checking

2003 International Journal on Software Tools for Technology Transfer
Show All
- Source
- Cite
- Save
Citations (37)
A Work-Efficient Distributed Algorithm for Reachability Analysis

2003 CAV | Computer Aided Verification
Show All
- Source
- Cite
- Save
Citations (30)
An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists

2003 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (10)
A work-efficient distributed algorithm for reachability analysis

2003 Lecture Notes in Computer Science
Show All
- Source
- Cite
- Save
Citations (0)
A Scalable Parallel Algorithm for Reachability Analysis of Very Large Circuits

2002 FM | Formal Methods
Show All
- Source
- Cite
- Save
Citations (26)