Travelled to:1 × Israel
2 × Denmark
3 × USA
Collaborated with:S.Ben-David R.M.Gott A.Gringauze B.Sterin I.Beer L.Gluhovsky D.Geist S.Barner Y.Abarbanel S.Keidar M.Benjamin A.Hartman G.Mas R.Smeets C.Eisner T.Heyman A.Landver P.Paanah Y.Rodeh G.Ronin
Talks about:generat (2) formal (2) explor (2) design (2) algorithm (1) approach (1) coverag (1) checker (1) automat (1) specif (1)
Person: Yaron Wolfsthal
DBLP: Wolfsthal:Yaron
Contributed to:
2005
2002
2002200019991997Wrote 6 papers:
- DAC-2005-WolfsthalG #question #verification
- Formal verification: is it real enough? (YW, RMG), pp. 670–671.
- CAV-2002-Ben-DavidGSW #design #named
- PathFinder: A Tool for Design Exploration (SBD, AG, BS, YW), pp. 510–514.
- FME-2002-BarnerBGSW #algorithm #approach #design
- An Algorithmic Approach to Design Exploration (SB, SBD, AG, BS, YW), pp. 146–162.
- CAV-2000-AbarbanelBGKW #automation #generative #named #simulation #specification
- FoCs: Automatic Generation of Simulation Checkers from Formal Specifications (YA, IB, LG, SK, YW), pp. 538–542.
- DAC-1999-BenjaminGHMSW #case study #generative #testing
- A Study in Coverage-Driven Test Generation (MB, DG, AH, GM, RS, YW), pp. 970–975.
- 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.