Shoham Ben-David

39 papers A* 8B 6C 1Journal 10Unranked 12

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