Karen Yorav

According to our database, Karen Yorav authored at least 28 papers between 1998 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements.

Hamid R. Motahari Nezhad, Taiga Nakamura, Adi Sosnovich, Peifeng Yin, Karen Yorav

Proceedings of the Service-Oriented Computing - 16th International Conference, 2018

2016

COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design.

Hamid R. Motahari Nezhad, Karen Yorav, Peifeng Yin, Taiga Nakamura, Scott Trent, Gil Shurek, Takayuki Kushida, Uma Subramanian

Proceedings of the Service-Oriented Computing - ICSOC 2016 Workshops, 2016

2015

Learning-Based Compositional Model Checking of Behavioral UML Systems.

Yael Meller, Orna Grumberg, Karen Yorav

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

2014

Verifying Behavioral UML Systems via CEGAR.

Yael Meller, Orna Grumberg, Karen Yorav

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

2012

Complete and effective robustness checking by means of interpolation.

Stefan Frehse, Görschwin Fey, Eli Arbel, Karen Yorav, Rolf Drechsler

Proceedings of the Formal Methods in Computer-Aided Design, 2012

Applying Software Model Checking Techniques for Behavioral UML Models.

Orna Grumberg, Yael Meller, Karen Yorav

Proceedings of the FM 2012: Formal Methods, 2012

2011

Preface.

Armin Biere, Karen Yorav

Formal Methods Syst. Des., 2011

2009

Haifa verification conference 2007.

Karen Yorav

Int. J. Softw. Tools Technol. Transf., 2009

Functional verification of power gated designs by compositional reasoning.

Cindy Eisner, Amir Nahir, Karen Yorav

Formal Methods Syst. Des., 2009

Scalable conditional equivalence checking: An automated invariant-generation based approach.

Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

SAT-based synthesis of clock gating functions using 3-valued abstraction.

Eli Arbel, Oleg Rokhlenko, Karen Yorav

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2007

On-The-Fly Resolve Trace Minimization.

Ohad Shacham, Karen Yorav

Proceedings of the 44th Design Automation Conference, 2007

2005

Assumption-based distribution of CTL model checking.

Lubos Brim, Karen Yorav, Jitka Zidkova

Int. J. Softw. Tools Technol. Transf., 2005

Adaptive Application of SAT Solving Techniques.

Ohad Shacham, Karen Yorav

Proceedings of the Third International Workshop on Bounded Model Checking, 2005

SATABS: SAT-Based Predicate Abstraction for ANSI-C.

Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2004

Test sequence generation and model checking using dynamic transition relations.

Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Fady Copty

Int. J. Softw. Tools Technol. Transf., 2004

Static Analysis for State-Space Reductions Preserving Temporal Logics.

Karen Yorav, Orna Grumberg

Formal Methods Syst. Des., 2004

Predicate Abstraction of ANSI-C Programs Using SAT.

Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav

Formal Methods Syst. Des., 2004

Efficient Verification of Sequential and Concurrent C Programs.

Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav

Formal Methods Syst. Des., 2004

2003

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

Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke

Proceedings of the 2003 Workshop on Software Model Checking, 2003

Specifying and Verifying Systems with Multiple Clocks.

Edmund M. Clarke, Daniel Kroening, Karen Yorav

Proceedings of the 21st International Conference on Computer Design (ICCD 2003), 2003

Behavioral consistency of C and verilog programs using bounded model checking.

Edmund M. Clarke, Daniel Kroening, Karen Yorav

Proceedings of the 40th Design Automation Conference, 2003

2002

Syntax-directed model checking of sequential programs.

Karen Yorav, Orna Grumberg

J. Log. Algebraic Methods Program., 2002

Using Assumptions to Distribute CTL Model Checking.

Lubos Brim, Jitka Crhová, Karen Yorav

Proceedings of the Parallel and Distributed Model Checking, 2002

2001

Reproducing Synchronization Bugs with Model Checking.

Karen Yorav, Sagi Katz, Ron Kiper

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

Exploiting syntactic structure for automatic verification.

Karen Yorav

PhD thesis, 2000

1998

Modular Model Checking of Software.

Karen Laster, Orna Grumberg

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

First-Order-CTL Model Checking.

Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998