Karen Yorav  Karen Yorav photo         

contact information

Researcher
Haifa Research Lab, Haifa, Israel
  

links



2014

Verifying Behavioral UML Systems via CEGAR
Yael Meller, Orna Grumberg and Karen Yorav
iFM 2014, pp. 139--154


2012

Complete and effective robustness checking by means of interpolation
Stefan Frehse, G\"orschwin Fey, Eli Arbel, Karen Yorav, Rolf Drechsler
Formal Methods in Computer-Aided Design (FMCAD), 2012, pp. 82--90

Applying Software Model Checking Techniques for Behavioral UML Models
Orna Grumberg, Yael Meller, Karen Yorav
FM 2012: Formal Methods, pp. 277--292, Springer


2009

Haifa verification conference 2007
Karen Yorav
International Journal on Software Tools for Technology Transfer 11(4), 269--272, Springer, 2009

SAT-based synthesis of clock gating functions using 3-valued abstraction
Eli Arbel, Oleg Rokhlenko, Karen Yorav
FMCAD'09 - Formal Methods in Computer Aided Design, 2009

Scalable conditional equivalence checking: An automated invariant-generation based approach
Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav
FMCAD'09 - Formal Methods in Computer Aided Design, 2009

Scalable conditional equivalence checking: An automated invariant-generation based approach
Jason Baumgartner, Hari Mony, Michael Case, Jun Sawada, Karen Yorav
Formal Methods in Computer-Aided Design, 2009. FMCAD 2009, pp. 120--127

Functional verification of power gated designs by compositional reasoning
Cindy Eisner, Amir Nahir, Karen Yorav
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 40-55, Springer, 2009


2008

Functional Verification of Power Gated Designs by Compositional Reasoning
Cindy Eisner, Amir Nahir, Karen Yorav
CAV, pp. 433-445, 2008

Hardware and Software: Verification and Testing
Armin Biere, Amir Nahir, Tanja Vos
Springer, Springer, 2008


2007

On-the-fly resolve trace minimization
O Shacham, K Yorav
Proceedings of the 44th annual conference on Design …, 2007 - portal.acm.org


2006

Adaptive Application of SAT Solving Techniques
Ohad Shacham, Karen Yorav
BMC'05, 2006


2005

Assumption-based distribution of CTL model checking
L Brim, K Yorav, J dkov
International Journal on Software Tools for Technology …, 2005 - Springer

SATABS: SAT-based predicate abstraction for ANSI-C
E Clarke, D Kroening, N Sharygina, K Yorav
TACAS, 2005 - Springer


2004

Test sequence generation and model checking using dynamic transition relations
S. Campos, O. Grumberg, K. Yorav, F. Copty
International Journal on Software Tools for Technology Transfer 6(2), 174--182, Springer-Verlag, 2004

Static Analysis for State-Space Reductions Preserving Temporal Logics
K Yorav, O Grumberg
Formal Methods in System Design, 2004 - Springer

Efficient Verification of Sequential and Concurrent C Programs
Clarke, A Groce, J Ouaknine, O Strichman, K Yorav
Formal Methods in System Design, 2004 - Springer

Predicate Abstraction of ANSI-C Programs Using SAT
E Clarke, D Kroening, N Sharygina, K Yorav
Formal Methods in System Design, 2004 - Springer


2003

Specifying and Verifying Systems with Multiple Clocks
EM Clarke, D Kroening, K Yorav
Proceedings of the 21st International Conference on Computer … - doi.ieeecomputersociety.org, 2003

Automated compositional abstraction refinement for concurrent C programs: A two-level approach
S Chaki, J Ouaknine, K Yorav, E Clarke
Electronic Notes in Theoretical Computer Science 89(3), 417--432, Elsevier, 2003

Behavioral consistency of C and Verilog programs using bounded model checking
D Kroening, E Clarke, K Yorav
Proceedings of DAC 2003, pp. 368--371


2002


Syntax-directed model checking of sequential programs
K Yorav, O Grumberg
Journal of Logic and Algebraic Programming, 2002 - wassist.cs.technion.ac.il

Using Assumptions to Distribute CTL Model Checking
L Brim, J Crhov, K Yorav
Electronic Notes in Theoretical Computer Science, 2002 - fi.muni.cz


2001

Reproducing Synchronization Bugs with Model Checking
K Yorav, S Katz, R Kiper
LECTURE NOTES IN COMPUTER SCIENCE, 2001 - Springer


2000



1998

Modular model checking of software
K Laster, O Grumberg
Lecture notes in computer science, 20--35, Springer, 1998

First-order-CTL model checking
J Bohn, W Damm, O Grumberg, H Hungar, K Laster
Lecture notes in computer science, 283--294, Springer, 1998


Year Unknown

Specifying and Verifying Systems with Multiple Clocks ฃ
Edmund M Clarke, Daniel Kroening, Karen Yorav
kroening.com, 0

Verifying Behavioral UML Systems via CEGAR⋆
Yael Meller, Orna Grumberg, Karen Yorav
cs.technion.ac.il, 0