Karen Yorav

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
Adaptive application of SAT solving techniques	2013-09-26	Paper
Automated compositional abstraction refinement for concurrent C programs: a two-level approach	2013-08-30	Paper
Using assumptions to distribute CTL model checking	2013-08-16	Paper
Applying software model checking techniques for behavioral UML models FM 2012: Formal Methods	2012-11-08	Paper
Functional verification of power gated designs by compositional reasoning Formal Methods in System Design	2009-11-23	Paper
Functional Verification of Power Gated Designs by Compositional Reasoning Computer Aided Verification	2008-07-15	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2005-11-10	Paper
Predicate abstraction of ANSI-C programs using SAT Formal Methods in System Design	2004-11-22	Paper
Efficient verification of sequential and concurrent C programs Formal Methods in System Design	2004-11-22	Paper
Static analysis for state-space reductions preserving temporal logics Formal Methods in System Design	2004-09-09	Paper
Syntax-directed model checking of sequential programs The Journal of Logic and Algebraic Programming	2003-02-13	Paper
scientific article; zbMATH DE number 1852151 (Why is no real title available?)	2003-01-09	Paper

Research outcomes over time

This page was built for person: Karen Yorav