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 × Canada
1 × Hungary
1 × Israel
1 × Italy
2 × Denmark
2 × France
3 × USA
Collaborated with:
I.Beer C.Eisner B.Sterin A.Landver A.Gringauze M.Chechik Y.Wolfsthal Y.Rodeh J.Simmonds D.Geist J.M.Atlee S.Beidu A.Gurfinkel S.Uchitel H.Chockler A.Orni R.J.Trefler S.Barner R.Gewirtzman M.Yoeli D.Fisman L.Gluhovsky T.Heyman P.Paanah G.Ronin
Talks about:
model (3) check (3) base (3) formal (2) explor (2) design (2) verif (2) logic (2) tool (2) rule (2)

Person: Shoham Ben-David

DBLP DBLP: Ben-David:Shoham

Contributed to:

ICSE 20152015
ESEC/FSE 20112011
FSE 20102010
CAV 20092009
CAV 20022002
FME 20022002
CAV 20012001
CAV 19981998
CAV 19971997
DAC 19961996
CAV 19941994

Wrote 12 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.
ESEC-FSE-2011-Ben-DavidCGU #logic #named #specification
CSSL: a logic for specifying conditional scenarios (SBD, MC, AG, SU), pp. 37–47.
FSE-2010-SimmondsBC #web #web service
Guided recovery for web service applications (JS, SBD, MC), pp. 247–256.
CAV-2009-BeerBCOT #using
Explaining Counterexamples Using Causality (IB, SBD, HC, AO, RJT), pp. 94–108.
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-2001-BeerBEFGR #logic
The Temporal Logic Sugar (IB, SBD, CE, DF, AG, YR), pp. 363–367.
CAV-1998-BeerBL #model checking #on the fly
On-the-Fly Model Checking of RCTL Formulas (IB, SBD, AL), pp. 184–194.
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.
CAV-1997-BeerBER #detection #performance
Efficient Detection of Vacuity in ACTL Formulaas (IB, SBD, CE, YR), pp. 279–290.
DAC-1996-BeerBEL #named #verification
RuleBase: An Industry-Oriented Formal Verification Tool (IB, SBD, CE, AL), pp. 655–660.
CAV-1994-BeerBGGY #hardware #verification
Methodology and System for Practical Formal Verification of Reactive Hardware (IB, SBD, DG, RG, MY), pp. 182–193.

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.