Shoham Ben-David

MaRDI QIDQ202472zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic Scientific Annals of Computer Science	2019-02-08	Paper
Observational refinement and merge for disjunctive MTSs	2018-10-25	Paper
Modeling product lines with Kripke structures and modal logic Theoretical Aspects of Computing - ICTAC 2015	2016-02-25	Paper
Vacuity in practice: temporal antecedent failure Formal Methods in System Design	2015-03-24	Paper
Monitoring and recovery for web service applications Computing	2015-01-23	Paper
A Framework for Ranking Vacuity Results Automated Technology for Verification and Analysis	2014-07-08	Paper
Merging partial behaviour models with different vocabularies CONCUR 2013 – Concurrency Theory	2013-08-12	Paper
Explaining counterexamples using causality Formal Methods in System Design	2012-09-27	Paper
Model checking using description logic Journal Of Logic And Computation	2010-02-19	Paper
Explaining Counterexamples Using Causality Computer Aided Verification	2009-06-30	Paper
Embedding finite automata within regular expressions Theoretical Computer Science	2008-10-07	Paper
Temporal Antecedent Failure: Refining Vacuity CONCUR 2007 – Concurrency Theory	2008-09-18	Paper
Bounded Model Checking with Description Logic Reasoning Lecture Notes in Computer Science	2008-01-04	Paper
Hardware and Software, Verification and Testing Lecture Notes in Computer Science	2007-02-12	Paper
scientific article; zbMATH DE number 2090135 (Why is no real title available?)	2004-08-12	Paper
Model checking at IBM Formal Methods in System Design	2003-05-11	Paper
scientific article; zbMATH DE number 1903375 (Why is no real title available?)	2003-05-01	Paper
scientific article; zbMATH DE number 1796144 (Why is no real title available?)	2002-09-04	Paper
Efficient detection of vacuity in temporal model checking Formal Methods in System Design	2002-04-09	Paper

Research outcomes over time

This page was built for person: Shoham Ben-David