Shoham Ben-David

Available identifiers

Publication	Date of Publication	Type
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic	2019-02-08	Paper
Observational refinement and merge for disjunctive MTSs	2018-10-25	Paper
Modeling product lines with Kripke structures and modal logic	2016-02-25	Paper
Vacuity in practice: temporal antecedent failure	2015-03-24	Paper
Monitoring and recovery for web service applications	2015-01-23	Paper
A Framework for Ranking Vacuity Results	2014-07-08	Paper
Merging partial behaviour models with different vocabularies	2013-08-12	Paper
Explaining counterexamples using causality	2012-09-27	Paper
Model checking using description logic	2010-02-19	Paper
Explaining Counterexamples Using Causality	2009-06-30	Paper
Embedding finite automata within regular expressions	2008-10-07	Paper
Temporal Antecedent Failure: Refining Vacuity	2008-09-18	Paper
Bounded Model Checking with Description Logic Reasoning	2008-01-04	Paper
Hardware and Software, Verification and Testing	2007-02-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808827	2004-08-12	Paper
Model checking at IBM	2003-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q4804920	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4551164	2002-09-04	Paper
Efficient detection of vacuity in temporal model checking	2002-04-09	Paper

This page was built for person: Shoham Ben-David