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: Sterin:Baruch
Contributed to:
2015
2002
2002Wrote 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.