The following pages link to Shoham Ben-David (Q202472):
Displaying 19 items.
- Explaining counterexamples using causality (Q453516) (← links)
- Monitoring and recovery for web service applications (Q488218) (← links)
- Embedding finite automata within regular expressions (Q947783) (← links)
- Model checking at IBM (Q1870213) (← links)
- Observational refinement and merge for disjunctive MTSs (Q1990514) (← links)
- Vacuity in practice: temporal antecedent failure (Q2018060) (← links)
- Modeling Product Lines with Kripke Structures and Modal Logic (Q2787423) (← links)
- Merging Partial Behaviour Models with Different Vocabularies (Q2842099) (← links)
- Model Checking Using Description Logic (Q3406686) (← links)
- Temporal Antecedent Failure: Refining Vacuity (Q3525657) (← links)
- Explaining Counterexamples Using Causality (Q3636856) (← links)
- (Q4551164) (← links)
- Faithful Modeling of Product Lines with Kripke Structures and Modal Logic (Q4621201) (← links)
- (Q4804920) (← links)
- (Q4808827) (← links)
- A Framework for Ranking Vacuity Results (Q5166686) (← links)
- Bounded Model Checking with Description Logic Reasoning (Q5434479) (← links)
- Hardware and Software, Verification and Testing (Q5898456) (← links)
- Efficient detection of vacuity in temporal model checking (Q5943261) (← links)
