Karen Yorav

Publication Activity (10 Years)

Years Active: 2001-2018
Publications (10 Years): 3

Top Topics

Artifact Centric

Formal Specification

Temporal Properties

Top Venues

ICSOC Workshops

Publications

Hamid R. Motahari Nezhad, Taiga Nakamura, Adi Sosnovich, Peifeng Yin, Karen Yorav
A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements. ICSOC (2018)
Hamid R. Motahari Nezhad, Karen Yorav, Peifeng Yin, Taiga Nakamura, Scott Trent, Gil Shurek, Takayuki Kushida, Uma Subramanian
COOL: A Model-Driven and Automated System for Guided and Verifiable Cloud Solution Design. ICSOC Workshops (2016)
Yael Meller, Orna Grumberg, Karen Yorav
Learning-Based Compositional Model Checking of Behavioral UML Systems. FACS (2015)
Yael Meller, Orna Grumberg, Karen Yorav
Verifying Behavioral UML Systems via CEGAR. IFM (2014)
Orna Grumberg, Yael Meller, Karen Yorav
Applying Software Model Checking Techniques for Behavioral UML Models. FM (2012)
Stefan Frehse, Görschwin Fey, Eli Arbel, Karen Yorav, Rolf Drechsler
Complete and effective robustness checking by means of interpolation. FMCAD (2012)
Armin Biere, Karen Yorav
Preface. Formal Methods Syst. Des. 39 (2) (2011)
Cindy Eisner, Amir Nahir, Karen Yorav
Functional verification of power gated designs by compositional reasoning. Formal Methods Syst. Des. 35 (1) (2009)
Eli Arbel, Oleg Rokhlenko, Karen Yorav
SAT-based synthesis of clock gating functions using 3-valued abstraction. FMCAD (2009)
Karen Yorav
Haifa verification conference 2007. Int. J. Softw. Tools Technol. Transf. 11 (4) (2009)
Jason Baumgartner, Hari Mony, Michael L. Case, Jun Sawada, Karen Yorav
Scalable conditional equivalence checking: An automated invariant-generation based approach. FMCAD (2009)
Cindy Eisner, Amir Nahir, Karen Yorav
Functional Verification of Power Gated Designs by Compositional Reasoning. CAV (2008)
Ohad Shacham, Karen Yorav
On-The-Fly Resolve Trace Minimization. DAC (2007)
Ohad Shacham, Karen Yorav
Adaptive Application of SAT Solving Techniques. Electron. Notes Theor. Comput. Sci. 144 (1) (2006)
Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav
SATABS: SAT-Based Predicate Abstraction for ANSI-C. TACAS (2005)
Lubos Brim, Karen Yorav, Jitka Zidkova
Assumption-based distribution of CTL model checking. Int. J. Softw. Tools Technol. Transf. 7 (1) (2005)
Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Fady Copty
Test sequence generation and model checking using dynamic transition relations. Int. J. Softw. Tools Technol. Transf. 6 (2) (2004)
Karen Yorav, Orna Grumberg
Static Analysis for State-Space Reductions Preserving Temporal Logics. Formal Methods Syst. Des. 25 (1) (2004)
Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav
Efficient Verification of Sequential and Concurrent C Programs. Formal Methods Syst. Des. 25 (2-3) (2004)
Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav
Predicate Abstraction of ANSI-C Programs Using SAT. Formal Methods Syst. Des. 25 (2-3) (2004)
Edmund M. Clarke, Daniel Kroening, Karen Yorav
Specifying and Verifying Systems with Multiple Clocks. ICCD (2003)
Edmund M. Clarke, Daniel Kroening, Karen Yorav
Behavioral consistency of C and verilog programs using bounded model checking. DAC (2003)
Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke
Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach. Electron. Notes Theor. Comput. Sci. 89 (3) (2003)
Lubos Brim, Jitka Crhová, Karen Yorav
Using Assumptions to Distribute CTL Model Checking. Electron. Notes Theor. Comput. Sci. 68 (4) (2002)
Karen Yorav, Orna Grumberg
Syntax-directed model checking of sequential programs. J. Log. Algebraic Methods Program. (2002)
Karen Yorav, Sagi Katz, Ron Kiper
Reproducing Synchronization Bugs with Model Checking. CHARME (2001)