Shoham Ben-David - Concepedia

Author

Shoham Ben-David

IBM Research - Haifa

Also Known As

De Raedt, Luc, Shoham Ben-David

Publications

1.2K

Citations

H-Index

Concepts

All Affiliations

IBM Research - Haifa University of Toronto University of Waterloo Universidad de Buenos Aires IBM (United States)

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	293
2	Computer Science	8	8	267
3	Computer Engineering	3	3	154
4	Public Health	1	1	101
5	Cognitive Science	1	1	16

Shoham Ben-David

Publications

546

Citations

H-Index

Page 1

	Year	Citations
Efficient Detection of Vacuity in Temporal Model Checking Ilan Beer, Shoham Ben-David, Cindy Eisner, Formal Methods in System Design	2001	136
RuleBase Ilan Beer, Shoham Ben-David, Cindy Eisner, Formal Verification ToolPractical Formal VerificationEngineeringHardware Verification LanguageVerification	1996	123
Explaining counterexamples using causality Ilan Beer, Shoham Ben-David, Hana Chockler, Formal Methods in System Design EconomicsBiasCausalityCausal StructureCausal Reasoning	2011	101
Guided recovery for web service applications Jocelyn Simmonds, Shoham Ben-David, Marsha Chećhik Software MaintenanceWeb Service SpecificationAvailabilityEngineeringBounded Liveness Violations	2010	37
Model Checking at IBM Shoham Ben-David, Cindy Eisner, Daniel Geist, Formal Methods in System Design EngineeringAutomated ReasoningSoftware TestingVerificationFormal Methods	2003	34
Symbolic model checking of product-line requirements using SAT-based methods Shoham Ben-David, Baruch Sterin, Joanne M. Atlee, International Conference on Software Engineering EngineeringHardware Verification LanguageVerificationSymbolic Model CheckingComputer-aided Verification	2015	19
Embedding finite automata within regular expressions Shoham Ben-David, Dana Fisman, Sitvanit Ruah Theoretical Computer Science EngineeringAutomated ReasoningComputational LinguisticsFormal MethodsAutomaton Operation	2008	19
Partial models Michalis Famelis, Shoham Ben-David, Marsha Chećhik, Software MaintenanceEngineeringProgram AnalysisAutomated ReasoningSoftware Testing	2011	16
Supporting incremental behaviour model elaboration Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Computer Science - Research and Development Cognitive ScienceBehavior MonitoringBehavior ChangeIntelligent SystemsBehavioral Principle	2012	16
Scalable distributed on-the-fly symbolic model checking Shoham Ben-David, Orna Grümberg, Tamir Heyman, International Journal on Software Tools for Technology Transfer EngineeringRuntime VerificationProgram AnalysisAutomated ReasoningVerification	2003	13

Page 1