Karen Yorav  Karen Yorav photo       

contact information

Researcher
Haifa Research Lab, Haifa, Israel
  +972dash4dash828dash1042

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