Concepedia

Shoham Ben-David

SB

13

Publications

546

Citations

11

H-Index

1996

Active since

Affiliations

IBM Research - Haifa(Current)

University of Toronto

University of Waterloo

Universidad de Buenos Aires

IBM (United States)

Shoham Ben-David is an author at IBM Research - Haifa specializing in engineering, software analysis, and formal methods.

Top concepts

Publications per year

1996–2015

13

Publications

13

Efficient Detection of Vacuity in Temporal Model Checking

Ilan Beer, Shoham Ben-David, Cindy Eisner et al. · Formal Methods in System Design · 2001 · 136 citations

RuleBase

Ilan Beer, Shoham Ben-David, Cindy Eisner et al. · 1996 · 123 citations

, , +20

Explaining counterexamples using causality

Ilan Beer, Shoham Ben-David, Hana Chockler et al. · Formal Methods in System Design · 2011 · 101 citations

, , +5

Guided recovery for web service applications

Jocelyn Simmonds, Shoham Ben-David, Marsha Chećhik · 2010 · 37 citations

, , +18

Model Checking at IBM

Shoham Ben-David, Cindy Eisner, Daniel Geist et al. · Formal Methods in System Design · 2003 · 34 citations

, , +8

Rows per page

1–5 of 13