The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Karen Yorav: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.050secs, Finished in 0.051secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002