Concepedia

Karen Yorav

KY

12

Publications

756

Citations

11

H-Index

2002

Active since

Affiliations

Carnegie Mellon University(Current)

IBM (United States)

IBM Research - Haifa

Technion – Israel Institute of Technology

Masaryk University

Karen Yorav is an author at Carnegie Mellon University specializing in formal methods, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationAutomated ReasoningSoftware AnalysisProgram AnalysisComputer EngineeringComputer Architecture

Publications per year

2002–2012

12

Publications

12

Behavioral consistency of C and verilog programs using bounded model checking

Edmund M. Clarke, Daniel Kroening, Karen Yorav · 2003 · 279 citations · Full text

Predicate Abstraction of ANSI-C Programs Using SAT

Edmund M. Clarke, Daniel Kroening, Natasha Sharygina et al. · Formal Methods in System Design · 2004 · 185 citations · Full text

Engineering, Automated Reasoning, Program Analysis +8

Efficient Verification of Sequential and Concurrent C Programs

Sagar Chaki, E. M. Clarke, Alex Groce et al. · Formal Methods in System Design · 2004 · 64 citations · Full text

Program Checking, Engineering, Program Analysis +9

Haifa verification conference 2007

Karen Yorav · International Journal on Software Tools for Technology Transfer · 2009 · 56 citations · Full text

Engineering, Automated Reasoning, Verification +5

Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach

Sagar Chaki, Joël Ouaknine, Karen Yorav et al. · Electronic Notes in Theoretical Computer Science · 2003 · 45 citations · Full text

State Space Explosion, Program Checking, Engineering +25

Rows per page

1–5 of 12