|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 13 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler |
Explaining counterexamples using causality.  |
Formal Methods in System Design  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Marsha Chechik, Arie Gurfinkel, Sebastián Uchitel |
CSSL: a logic for specifying conditional scenarios. |
SIGSOFT FSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Richard J. Trefler, Grant E. Weddell |
Model Checking Using Description Logic. |
J. Log. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik |
Optimizing Computation of Recovery Plans for BPEL Applications |
TAV-WEB |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik |
Monitoring and Recovery of Web Service Applications. |
The Smart Internet |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jocelyn Simmonds, Shoham Ben-David, Marsha Chechik |
Guided recovery for web service applications. |
SIGSOFT FSE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Jeffrey Pound, Richard J. Trefler, Dmitry Tsarkov, Grant E. Weddell |
Fair Cycle Detection using Description Logic Reasoning. |
Description Logics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler |
Explaining Counterexamples Using Causality. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
Embedding finite automata within regular expressions. |
Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
Temporal Antecedent Failure: Refining Vacuity. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
Vacuity, SVA, Antecedent failure, Model checking, Temporal logic, Regular expressions, PSL |
| 1 | Shoham Ben-David, Richard J. Trefler, Grant E. Weddell |
Modal vs. Propositional Reasoning for model checking with Description Logics. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Shoham Ben-David, Richard J. Trefler, Grant E. Weddell |
Bounded Model Checking with Description Logic Reasoning. |
TABLEAUX |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Richard J. Trefler, Grant E. Weddell |
Model checking the basic modalities of CTL with Description Logic. |
Description Logics |
2006 |
DBLP BibTeX RDF |
|
| 1 | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
The Safety Simple Subset. |
Haifa Verification Conference |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
Embedding Finite Automata within regular Expressions. |
ISoLA (Preliminary proceedings) |
2004 |
DBLP BibTeX RDF |
|
| 1 | Shoham Ben-David, Orna Grumberg, Tamir Heyman, Assaf Schuster |
Scalable distributed on-the-fly symbolic model checking. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Distributed, Memory, BDDs, Counterexample |
| 1 | Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal |
Model Checking at IBM. |
Formal Methods in System Design |
2003 |
DBLP DOI BibTeX RDF |
model checking, formal methods, formal verification |
| 1 | Sharon Barner, Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal |
An Algorithmic Approach to Design Exploration. |
FME |
2002 |
DBLP DOI BibTeX RDF |
hardware debugging, hardware exploration, Model checking |
| 1 | Shoham Ben-David, Anna Gringauze, Baruch Sterin, Yaron Wolfsthal |
PathFinder: A Tool for Design Exploration. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
Model Checking, Debugging, Design Exploration, PathFinder |
| 1 | Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh |
Efficient Detection of Vacuity in Temporal Model Checking. |
Formal Methods in System Design |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh |
The Temporal Logic Sugar. |
CAV |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoham Ben-David, Tamir Heyman, Orna Grumberg, Assaf Schuster |
Scalable Distributed On-the-Fly Symbolic Model Checking. |
FMCAD |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilan Beer, Shoham Ben-David, Avner Landver |
On-the-Fly Model Checking of RCTL Formulas. |
CAV |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh |
Efficient Detection of Vacuity in ACTL Formulaas. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver |
RuleBase: An Industry-Oriented Formal Verification Tool. |
DAC |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli |
Methodology and System for Practical Formal Verification of Reactive Hardware. |
CAV |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")