**2014**

Verifying Behavioral UML Systems via CEGAR

Yael Meller, Orna Grumberg and Karen Yorav

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

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

Orna Grumberg, Yael Meller, Karen Yorav

*FM 2012: Formal Methods*,*pp. 277--292*, Springer**2009**

Haifa verification conference 2007

Karen Yorav

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

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

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

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

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

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

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

O Shacham, K Yorav

Proceedings of the 44th annual conference on Design …, 2007 - portal.acm.org

**2006**

**2005**

Assumption-based distribution of CTL model checking

L Brim, K Yorav, J dkov

International Journal on Software Tools for Technology …, 2005 - Springer

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

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

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

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

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

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

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

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

D Kroening, E Clarke, K Yorav

*Proceedings of DAC 2003*,*pp. 368--371***2002**

Using Assumptions to Distribute CTL Model Checking. Brno, Czech Republic: 2002

L Brim, J Crhov{'a}, K Yorav

2002 - muni.cz, October

L Brim, J Crhov{'a}, K Yorav

2002 - muni.cz, October

Syntax-directed model checking of sequential programs

K Yorav, O Grumberg

Journal of Logic and Algebraic Programming, 2002 - wassist.cs.technion.ac.il

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

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

K Yorav, S Katz, R Kiper

LECTURE NOTES IN COMPUTER SCIENCE, 2001 - Springer

**2000**

**1998**

Modular model checking of software

K Laster, O Grumberg

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

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

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

Yael Meller, Orna Grumberg, Karen Yorav

cs.technion.ac.il, 0