Hana Chockler

	2009
29		Hana Chockler, Alan J. Hu: Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings Springer 2009
28		Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler: Explaining Counterexamples Using Causality. CAV 2009: 94-108
27		Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov: Cross-Entropy-Based Replay of Concurrent Programs. FASE 2009: 201-215
26		Hana Chockler, Ofer Strichman: Before and after vacuity. Formal Methods in System Design 34(1): 37-58 (2009)
	2008
25		Hana Chockler, Arie Gurfinkel, Ofer Strichman: Beyond Vacuity: Towards the Strongest Passing Formula. FMCAD 2008: 1-8
24		Hana Chockler, Orna Grumberg, Avi Yadgar: Efficient Automatic STE Refinement Using Responsibility. TACAS 2008: 233-248
23		Hana Chockler, Joseph Y. Halpern, Orna Kupferman: What causes a system to satisfy a specification?. ACM Trans. Comput. Log. 9(3): (2008)
	2007
22		Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov: Cross-Entropy Based Testing. FMCAD 2007: 101-108
21		Hana Chockler, Ofer Strichman: Easier and More Informative Vacuity Checks. MEMOCODE 2007: 189-198
	2006
20		Paul C. Attie, David H. Lorenz, Aleksandra Portnova, Hana Chockler: Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System. CBSE 2006: 33-49
19		Hana Chockler, Eitan Farchi, Ziv Glazberg, Benny Godlin, Yarden Nir-Buchbinder, Ishai Rabinovitz: Formal verification of concurrent software: two case studies. PADTAD 2006: 11-22
18		Paul C. Attie, Hana Chockler: Automatic Verification of Fault-Tolerant Register Emulations. Electr. Notes Theor. Comput. Sci. 149(1): 49-60 (2006)
17		Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for temporal logic model checking*. Formal Methods in System Design 28(3): 189-212 (2006)
16		Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for formal verification. STTT 8(4-5): 373-386 (2006)
	2005
15		Hana Chockler, Kathi Fisler: Temporal Modalities for Concisely Capturing Timing Diagrams. CHARME 2005: 176-190
14		Paul C. Attie, Hana Chockler: Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. VMCAI 2005: 465-481
	2004
13		Hana Chockler, Dan Gutfreund: A lower bound for testing juntas. Inf. Process. Lett. 90(6): 301-305 (2004)
12		Hana Chockler, Joseph Y. Halpern: Responsibility and Blame: A Structural-Model Approach. J. Artif. Intell. Res. (JAIR) 22: 93-115 (2004)
11		Hana Chockler, Orna Kupferman: w-Regular languages are testable with a constant number of queries. Theor. Comput. Sci. 329(1-3): 71-92 (2004)
	2003
10		Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Formal Verification. CHARME 2003: 111-125
9		Hana Chockler, Joseph Y. Halpern: Responsibility and Blame: A Structural-Model Approach. IJCAI 2003: 147-153
8		Hana Chockler, Joseph Y. Halpern: Responsibility and blame: a structural-model approach CoRR cs.AI/0312038: (2003)
7		Hana Chockler, Joseph Y. Halpern, Orna Kupferman: What Causes a System to Satisfy a Specification? CoRR cs.LO/0312036: (2003)
	2002
6		Hana Chockler, Orna Kupferman: Coverage of Implementations by Simulating Specifications. IFIP TCS 2002: 409-421
5		Hana Chockler, Orna Kupferman: omega-Regular Languages Are Testable with a Constant Number of Queries. RANDOM 2002: 26-28
	2001
4		Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78
3		Hana Chockler, Uri Zwick: Which formulae shrink under random restrictions? SODA 2001: 702-708
2		Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Temporal Logic Model Checking. TACAS 2001: 528-542
1		Hana Chockler, Uri Zwick: Which bases admit non-trivial shrinkage of formulae? Computational Complexity 10(1): 28-40 (2001)

Coauthor Index

1	Paul C. Attie	[14] [18] [20]
2	Ilan Beer	[28]
3	Shoham Ben-David	[28]
4	Eitan Farchi	[19] [22] [27]
5	Kathi Fisler	[15]
6	Ziv Glazberg	[19]
7	Benny Godlin	[19] [22] [27]
8	Orna Grumberg	[24]
9	Arie Gurfinkel	[25]
10	Dan Gutfreund (Danny Gutfreund)	[13]
11	Joseph Y. Halpern	[7] [8] [9] [12] [23]
12	Alan J. Hu	[29]
13	Orna Kupferman	[2] [4] [5] [6] [7] [10] [11] [16] [17] [23]
14	Robert P. Kurshan	[4]
15	David H. Lorenz	[20]
16	Yarden Nir-Buchbinder (Yarden Nir)	[19]
17	Sergey Novikov	[22] [27]
18	Avigail Orni	[28]
19	Aleksandra Portnova	[20]
20	Ishai Rabinovitz	[19]
21	Ofer Strichman	[21] [25] [26]
22	Richard J. Trefler	[28]
23	Moshe Y. Vardi	[2] [4] [10] [16] [17]
24	Avi Yadgar	[24]
25	Uri Zwick	[1] [3]

Colors in the list of coauthors