Shoham Ben-David

Publication Activity (10 Years)

Years Active: 1994-2016
Publications (10 Years): 5

Top Venues

Formal Methods Syst. Des.

ATVA

ICSE (1)

ICTAC

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic. Sci. Ann. Comput. Sci. 26 (1) (2016)
Shoham Ben-David, Marsha Chechik, Sebastián Uchitel
Observational Refinement and Merge for Disjunctive MTSs. ATVA (2016)
Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David
Modeling Product Lines with Kripke Structures and Modal Logic. ICTAC (2015)
Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah
Vacuity in practice: temporal antecedent failure. Formal Methods Syst. Des. 46 (1) (2015)
Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods. ICSE (1) (2015)
Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
Monitoring and recovery for web service applications. Computing 95 (3) (2013)
Shoham Ben-David, Marsha Chechik, Sebastián Uchitel
Merging Partial Behaviour Models with Different Vocabularies. CONCUR (2013)
Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D'Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay
Supporting incremental behaviour model elaboration. Comput. Sci. Res. Dev. 28 (4) (2013)
Shoham Ben-David, Orna Kupferman
A Framework for Ranking Vacuity Results. ATVA (2013)
Shoham Ben-David, Hana Chockler, Orna Kupferman
Attention-Based Coverage Metrics. Haifa Verification Conference (2013)
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler
Explaining counterexamples using causality. Formal Methods Syst. Des. 40 (1) (2012)
Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay
Partial models: a position paper. MoDeVVa@MoDELS (2011)
Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel
CSSL: a logic for specifying conditional scenarios. SIGSOFT FSE (2011)
Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
Model Checking Using Description Logic. J. Log. Comput. 20 (1) (2010)
Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
Optimizing Computation of Recovery Plans for BPEL Applications TAV-WEB (2010)
Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik
Guided recovery for web service applications. SIGSOFT FSE (2010)
Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler
Explaining Counterexamples Using Causality. CAV (2009)
Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell
Fair Cycle Detection using Description Logic Reasoning. Description Logics (2009)
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
Embedding finite automata within regular expressions. Theor. Comput. Sci. 404 (3) (2008)
Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
Bounded Model Checking with Description Logic Reasoning. TABLEAUX (2007)
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
Temporal Antecedent Failure: Refining Vacuity. CONCUR (2007)
Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
Modal vs. Propositional Reasoning for model checking with Description Logics. Description Logics (2007)
Shoham Ben-David, Richard J. Trefler, Grant E. Weddell
Model checking the basic modalities of CTL with Description Logic. Description Logics (2006)
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
The Safety Simple Subset. Haifa Verification Conference (2005)
Shoham Ben-David, Dana Fisman, Sitvanit Ruah
Embedding Finite Automata within regular Expressions. ISoLA (Preliminary proceedings) (2004)
Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal
Model Checking at IBM. Formal Methods Syst. Des. 22 (2) (2003)
Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster
Scalable distributed on-the-fly symbolic model checking. Int. J. Softw. Tools Technol. Transf. 4 (4) (2003)
Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
An Algorithmic Approach to Design Exploration. FME (2002)
Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal
PathFinder: A Tool for Design Exploration. CAV (2002)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh
The Temporal Logic Sugar. CAV (2001)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
Efficient Detection of Vacuity in Temporal Model Checking. Formal Methods Syst. Des. 18 (2) (2001)
Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster
Scalable Distributed On-the-Fly Symbolic Model Checking. FMCAD (2000)
Ilan Beer, Shoham Ben-David, Avner Landver
On-the-Fly Model Checking of RCTL Formulas. CAV (1998)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal
RuleBase: Model Checking at IBM. CAV (1997)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
Efficient Detection of Vacuity in ACTL Formulaas. CAV (1997)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver
RuleBase: An Industry-Oriented Formal Verification Tool. DAC (1996)
Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli
Methodology and System for Practical Formal Verification of Reactive Hardware. CAV (1994)

Shoham Ben-David.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shoham Ben-David