Shoham Ben-David
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
11
Active years
1994–2016
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ATVA | Observational Refinement and Merge for Disjunctive MTSs. | Shoham Ben-David, Marsha Chechik, Sebastin Uchitel |
| 2015 | ICSE | Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. | Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu |
| 2015 | ICTAC | Modeling Product Lines with Kripke Structures and Modal Logic. | Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David |
| 2013 | ATVA | A Framework for Ranking Vacuity Results. | Shoham Ben-David, Orna Kupferman |
| 2013 | CONCUR | Merging Partial Behaviour Models with Different Vocabularies. | Shoham Ben-David, Marsha Chechik, Sebastin Uchitel |
| 2011 | MODELS | Partial models: a position paper. | Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay |
| 2009 | CAV | Explaining Counterexamples Using Causality. | Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler |
| 2007 | CONCUR | Temporal Antecedent Failure: Refining Vacuity. | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
| 2007 | TABLEAUX | Bounded Model Checking with Description Logic Reasoning. | Shoham Ben-David, Richard J. Trefler, Grant E. Weddell |
| 2004 | ISoLA | Embedding Finite Automata within regular Expressions. | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
| 2002 | CAV | PathFinder: A Tool for Design Exploration. | Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal |
| 2002 | FM | An Algorithmic Approach to Design Exploration. | Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal |
| 2001 | CAV | The Temporal Logic Sugar. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh |
| 2000 | FMCAD | Scalable Distributed On-the-Fly Symbolic Model Checking. | Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster |
| 1998 | CAV | On-the-Fly Model Checking of RCTL Formulas. | Ilan Beer, Shoham Ben-David, Avner Landver |
| 1997 | CAV | RuleBase: Model Checking at IBM. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal |
| 1997 | CAV | Efficient Detection of Vacuity in ACTL Formulaas. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh |
| 1996 | DAC | RuleBase: An Industry-Oriented Formal Verification Tool. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver |
| 1994 | CAV | Methodology and System for Practical Formal Verification of Reactive Hardware. | Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli |