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 × Italy
2 × Denmark
Collaborated with:
S.Ben-David A.Gringauze Y.Wolfsthal G.Ratsaby S.Ur J.M.Atlee S.Beidu S.Barner
Talks about:
explor (2) design (2) algorithm (1) approach (1) product (1) analysi (1) symbol (1) requir (1) method (1) improv (1)

Person: Baruch Sterin

DBLP DBLP: Sterin:Baruch

Contributed to:

ICSE 20152015
CAV 20022002
FME 20022002

Wrote 4 papers:

ICSE-v1-2015-Ben-DavidSAB #model checking #product line #requirements #satisfiability #using
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods (SBD, BS, JMA, SB), pp. 189–199.
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.
FME-2002-RatsabySU #analysis
Improvements in Coverability Analysis (GR, BS, SU), pp. 41–56.

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.