Karen Yorav

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