Shoham Ben-David

According to our database, Shoham Ben-David authored at least 36 papers between 1994 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2016

Faithful Modeling of Product Lines with Kripke Structures and Modal Logic.

Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David

Sci. Ann. Comput. Sci., 2016

Observational Refinement and Merge for Disjunctive MTSs.

Shoham Ben-David, Marsha Chechik, Sebastián Uchitel

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Vacuity in practice: temporal antecedent failure.

Shoham Ben-David, Fady Copty, Dana Fisman, Sitvanit Ruah

Formal Methods Syst. Des., 2015

Modeling Product Lines with Kripke Structures and Modal Logic.

Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods.

Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, Sandy Beidu

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2013

Supporting incremental behaviour model elaboration.

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

Comput. Sci. Res. Dev., 2013

Monitoring and recovery for web service applications.

Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik

Computing, 2013

Attention-Based Coverage Metrics.

Shoham Ben-David, Hana Chockler, Orna Kupferman

Proceedings of the Hardware and Software: Verification and Testing, 2013

Merging Partial Behaviour Models with Different Vocabularies.

Shoham Ben-David, Marsha Chechik, Sebastián Uchitel

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

A Framework for Ranking Vacuity Results.

Shoham Ben-David, Orna Kupferman

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Explaining counterexamples using causality.

Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler

Formal Methods Syst. Des., 2012

2011

CSSL: a logic for specifying conditional scenarios.

Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Partial models: a position paper.

Michalis Famelis, Shoham Ben-David, Marsha Chechik, Rick Salay

Proceedings of the 8th International Workshop on Model-Driven Engineering, 2011

2010

Model Checking Using Description Logic.

Shoham Ben-David, Richard J. Trefler, Grant E. Weddell

J. Log. Comput., 2010

Optimizing Computation of Recovery Plans for BPEL Applications

Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik

Proceedings of the Proceedings Fourth International Workshop on Testing, 2010

Guided recovery for web service applications.

Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Monitoring and Recovery of Web Service Applications.

Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik

Proceedings of the Smart Internet - Current Research and Future Applications, 2010

2009

Applications of Description Logic and Causality in Model Checking.

Shoham Ben-David

PhD thesis, 2009

Fair Cycle Detection using Description Logic Reasoning.

Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Embedding finite automata within regular expressions.

Shoham Ben-David, Dana Fisman, Sitvanit Ruah

Theor. Comput. Sci., 2008

2007

Bounded Model Checking with Description Logic Reasoning.

Shoham Ben-David, Richard J. Trefler, Grant E. Weddell

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Modal vs. Propositional Reasoning for model checking with Description Logics.

Shoham Ben-David, Richard J. Trefler, Grant E. Weddell

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Temporal Antecedent Failure: Refining Vacuity.

Shoham Ben-David, Dana Fisman, Sitvanit Ruah

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Model checking the basic modalities of CTL with Description Logic.

Shoham Ben-David, Richard J. Trefler, Grant E. Weddell

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005

The Safety Simple Subset.

Shoham Ben-David, Dana Fisman, Sitvanit Ruah

Proceedings of the Hardware and Software Verification and Testing, 2005

2003

Scalable distributed on-the-fly symbolic model checking.

Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster

Int. J. Softw. Tools Technol. Transf., 2003

Model Checking at IBM.

Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal

Formal Methods Syst. Des., 2003

2002

An Algorithmic Approach to Design Exploration.

Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal

Proceedings of the FME 2002: Formal Methods, 2002

PathFinder: A Tool for Design Exploration.

Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal

Proceedings of the Computer Aided Verification, 14th International Conference, 2002

2001

Efficient Detection of Vacuity in Temporal Model Checking.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh

Formal Methods Syst. Des., 2001

The Temporal Logic Sugar.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

1998

On-the-Fly Model Checking of RCTL Formulas.

Ilan Beer, Shoham Ben-David, Avner Landver

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Efficient Detection of Vacuity in ACTL Formulaas.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

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

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

RuleBase: An Industry-Oriented Formal Verification Tool.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver

Proceedings of the 33st Conference on Design Automation, 1996

1994

Methodology and System for Practical Formal Verification of Reactive Hardware.

Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli

Proceedings of the Computer Aided Verification, 6th International Conference, 1994