Search the dblp DataBase

Publications of Author

1. Karen Yorav, Sagi Katz, Ron Kiper
   Reproducing Synchronization Bugs with Model Checking. [Citation Graph (0, 0)][DBLP]
   CHARME, 2001, pp:98-103 [Conf]
   
2. Edmund M. Clarke, Daniel Kroening, Karen Yorav
   Behavioral consistency of C and verilog programs using bounded model checking. [Citation Graph (0, 0)][DBLP]
   DAC, 2003, pp:368-371 [Conf]
   
3. Edmund M. Clarke, Daniel Kroening, Karen Yorav
   Specifying and Verifying Systems with Multiple Clocks. [Citation Graph (0, 0)][DBLP]
   ICCD, 2003, pp:48-0 [Conf]
   
4. Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav
   SATABS: SAT-Based Predicate Abstraction for ANSI-C. [Citation Graph (0, 0)][DBLP]
   TACAS, 2005, pp:570-574 [Conf]
   
5. Lubos Brim, Jitka Crhova, Karen Yorav
   Using Assumptions to Distribute CTL Model Checking. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:68, n:4, pp:- [Journal]
   
6. Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke
   Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2003, v:89, n:3, pp:- [Journal]
   
7. Ohad Shacham, Karen Yorav
   Adaptive Application of SAT Solving Techniques. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:144, n:1, pp:35-50 [Journal]
   
8. Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav
   Predicate Abstraction of ANSI-C Programs Using SAT. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:25, n:2-3, pp:105-127 [Journal]
   
9. Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav
   Efficient Verification of Sequential and Concurrent C Programs. [Citation Graph (0, 0)][DBLP]
   Formal Methods in System Design, 2004, v:25, n:2-3, pp:129-166 [Journal]
   
10. Karen Yorav, Orna Grumberg
    Static Analysis for State-Space Reductions Preserving Temporal Logics. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2004, v:25, n:1, pp:67-96 [Journal]
    
11. Karen Yorav, Orna Grumberg
    Syntax-directed model checking of sequential programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:129-162 [Journal]
    
12. Lubos Brim, Karen Yorav, Jitka Zidkova
    Assumption-based distribution of CTL model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2005, v:7, n:1, pp:61-73 [Journal]
    
13. Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Copty Fady
    Test sequence generation and model checking using dynamic transition relations. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:2, pp:174-182 [Journal]
    
14. Ohad Shacham, Karen Yorav
    On-The-Fly Resolve Trace Minimization. [Citation Graph (0, 0)][DBLP]
    DAC, 2007, pp:594-599 [Conf]
    
15. 
    Functional Verification of Power Gated Designs by Compositional Reasoning. [Citation Graph (, )][DBLP]
    
    
16. 
    Scalable conditional equivalence checking: An automated invariant-generation based approach. [Citation Graph (, )][DBLP]
    
    
17. 
    SAT-based synthesis of clock gating functions using 3-valued abstraction. [Citation Graph (, )][DBLP]