Karen Yorav

Karen Laster

2008
18		Karen Yorav: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings Springer 2008
17	EE	Cindy Eisner, Amir Nahir, Karen Yorav: Functional Verification of Power Gated Designs by Compositional Reasoning. CAV 2008: 433-445
2007
16	EE	Ohad Shacham, Karen Yorav: On-The-Fly Resolve Trace Minimization. DAC 2007: 594-599
2006
15	EE	Ohad Shacham, Karen Yorav: Adaptive Application of SAT Solving Techniques. Electr. Notes Theor. Comput. Sci. 144(1): 35-50 (2006)
2005
14	EE	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav: SATABS: SAT-Based Predicate Abstraction for ANSI-C. TACAS 2005: 570-574
13	EE	Lubos Brim, Karen Yorav, Jitka Zidkova: Assumption-based distribution of CTL model checking. STTT 7(1): 61-73 (2005)
2004
12	EE	Karen Yorav, Orna Grumberg: Static Analysis for State-Space Reductions Preserving Temporal Logics. Formal Methods in System Design 25(1): 67-96 (2004)
11	EE	Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav: Predicate Abstraction of ANSI-C Programs Using SAT. Formal Methods in System Design 25(2-3): 105-127 (2004)
10	EE	Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav: Efficient Verification of Sequential and Concurrent C Programs. Formal Methods in System Design 25(2-3): 129-166 (2004)
9	EE	Sérgio Vale Aguiar Campos, Orna Grumberg, Karen Yorav, Copty Fady: Test sequence generation and model checking using dynamic transition relations. STTT 6(2): 174-182 (2004)
2003
8	EE	Edmund M. Clarke, Daniel Kroening, Karen Yorav: Behavioral consistency of C and verilog programs using bounded model checking. DAC 2003: 368-371
7	EE	Edmund M. Clarke, Daniel Kroening, Karen Yorav: Specifying and Verifying Systems with Multiple Clocks. ICCD 2003: 48-
6	EE	Sagar Chaki, Joël Ouaknine, Karen Yorav, Edmund M. Clarke: Automated Compositional Abstraction Refinement for Concurrent C Programs: A Two-Level Approach. Electr. Notes Theor. Comput. Sci. 89(3): (2003)
2002
5	EE	Lubos Brim, Jitka Crhova, Karen Yorav: Using Assumptions to Distribute CTL Model Checking. Electr. Notes Theor. Comput. Sci. 68(4): (2002)
4	EE	Karen Yorav, Orna Grumberg: Syntax-directed model checking of sequential programs. J. Log. Algebr. Program. 52-53: 129-162 (2002)
2001
3	EE	Karen Yorav, Sagi Katz, Ron Kiper: Reproducing Synchronization Bugs with Model Checking. CHARME 2001: 98-103
1998
2		Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster: First-Order-CTL Model Checking. FSTTCS 1998: 283-294
1	EE	Karen Laster, Orna Grumberg: Modular Model Checking of Software. TACAS 1998: 20-35

Coauthor Index

1	Jürgen Bohn	[2]
2	Lubos Brim	[5] [13]
3	Sérgio Vale Aguiar Campos	[9]
4	Sagar Chaki	[6] [10]
5	Edmund M. Clarke	[6] [7] [8] [10] [11] [14]
6	Jitka Crhova	[5]
7	Werner Damm	[2]
8	Cindy Eisner	[17]
9	Copty Fady	[9]
10	Alex Groce	[10]
11	Orna Grumberg	[1] [2] [4] [9] [12]
12	Hardi Hungar	[2]
13	Sagi Katz	[3]
14	Ron Kiper	[3]
15	Daniel Kroening (Daniel Kröning)	[7] [8] [11] [14]
16	Amir Nahir	[17]
17	Joël Ouaknine	[6] [10]
18	Ohad Shacham	[15] [16]
19	Natasha Sharygina	[11] [14]
20	Ofer Strichman	[10]
21	Jitka Zidkova	[13]