Travelled to:1 × Austria
1 × France
1 × Israel
1 × Italy
2 × USA
Collaborated with:O.Grumberg A.Schuster D.Geist J.Baumgartner V.Singhal A.Aziz D.Smith Y.Mahajan L.Leong H.Abu-Haimed I.Beer S.Ben-David C.Eisner L.Gluhovsky A.Landver P.Paanah Y.Rodeh G.Ronin Y.Wolfsthal
Talks about:check (4) model (3) distribut (2) algorithm (2) reachabl (2) netlist (2) analysi (2) ibm (2) processor (1) gigahertz (1)
Person: Tamir Heyman
DBLP: Heyman:Tamir
Contributed to:
2014
20032001200019991997Wrote 6 papers:
- SAT-2014-HeymanSMLA #using
- Dominant Controllability Check Using QBF-Solver and Netlist Optimizer (TH, DS, YM, LL, HAH), pp. 227–242.
- CAV-2003-GrumbergHS #algorithm #analysis #distributed #reachability
- A Work-Efficient Distributed Algorithm for Reachability Analysis (OG, TH, AS), pp. 54–66.
- CAV-2001-GrumbergHS #calculus #distributed #model checking #μ-calculus
- Distributed Symbolic Model Checking for μ-Calculus (OG, TH, AS), pp. 350–362.
- CAV-2000-HeymanGGS #analysis #parallel #reachability #scalability
- Achieving Scalability in Parallel Reachability Analysis of Very Large Circuits (TH, DG, OG, AS), pp. 20–35.
- CAV-1999-BaumgartnerHSA #abstraction #algorithm #model checking
- Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists (JB, TH, VS, AA), pp. 72–83.
- CAV-1997-BeerBEGGHLPRRW #model checking #named
- RuleBase: Model Checking at IBM (IB, SBD, CE, DG, LG, TH, AL, PP, YR, GR, YW), pp. 480–483.