BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wolfsthal:Yaron

Contributed to:

DAC 20052005
CAV 20022002
FME 20022002
CAV 20002000
DAC 19991999
CAV 19971997

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.