| 2009 |
|---|
| 27 | EE | 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 |
| 26 | EE | Hana Chockler,
Eitan Farchi,
Benny Godlin,
Sergey Novikov:
Cross-Entropy-Based Replay of Concurrent Programs.
FASE 2009: 201-215 |
| 25 | EE | Hana Chockler,
Ofer Strichman:
Before and after vacuity.
Formal Methods in System Design 34(1): 37-58 (2009) |
| 2008 |
|---|
| 24 | EE | Hana Chockler,
Orna Grumberg,
Avi Yadgar:
Efficient Automatic STE Refinement Using Responsibility.
TACAS 2008: 233-248 |
| 23 | EE | Hana Chockler,
Joseph Y. Halpern,
Orna Kupferman:
What causes a system to satisfy a specification?.
ACM Trans. Comput. Log. 9(3): (2008) |
| 2007 |
|---|
| 22 | EE | Hana Chockler,
Eitan Farchi,
Benny Godlin,
Sergey Novikov:
Cross-Entropy Based Testing.
FMCAD 2007: 101-108 |
| 21 | EE | Hana Chockler,
Ofer Strichman:
Easier and More Informative Vacuity Checks.
MEMOCODE 2007: 189-198 |
| 2006 |
|---|
| 20 | EE | 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 | EE | 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 | EE | Paul C. Attie,
Hana Chockler:
Automatic Verification of Fault-Tolerant Register Emulations.
Electr. Notes Theor. Comput. Sci. 149(1): 49-60 (2006) |
| 17 | EE | 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 | EE | Hana Chockler,
Orna Kupferman,
Moshe Y. Vardi:
Coverage metrics for formal verification.
STTT 8(4-5): 373-386 (2006) |
| 2005 |
|---|
| 15 | EE | Hana Chockler,
Kathi Fisler:
Temporal Modalities for Concisely Capturing Timing Diagrams.
CHARME 2005: 176-190 |
| 14 | EE | Paul C. Attie,
Hana Chockler:
Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs.
VMCAI 2005: 465-481 |
| 2004 |
|---|
| 13 | EE | Hana Chockler,
Dan Gutfreund:
A lower bound for testing juntas.
Inf. Process. Lett. 90(6): 301-305 (2004) |
| 12 | EE | Hana Chockler,
Joseph Y. Halpern:
Responsibility and Blame: A Structural-Model Approach.
J. Artif. Intell. Res. (JAIR) 22: 93-115 (2004) |
| 11 | EE | 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 | EE | 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 | EE | Hana Chockler,
Joseph Y. Halpern:
Responsibility and blame: a structural-model approach
CoRR cs.AI/0312038: (2003) |
| 7 | EE | 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 | EE | Hana Chockler,
Orna Kupferman:
omega-Regular Languages Are Testable with a Constant Number of Queries.
RANDOM 2002: 26-28 |
| 2001 |
|---|
| 4 | EE | Hana Chockler,
Orna Kupferman,
Robert P. Kurshan,
Moshe Y. Vardi:
A Practical Approach to Coverage in Model Checking.
CAV 2001: 66-78 |
| 3 | EE | Hana Chockler,
Uri Zwick:
Which formulae shrink under random restrictions?
SODA 2001: 702-708 |
| 2 | EE | Hana Chockler,
Orna Kupferman,
Moshe Y. Vardi:
Coverage Metrics for Temporal Logic Model Checking.
TACAS 2001: 528-542 |
| 1 | EE | Hana Chockler,
Uri Zwick:
Which bases admit non-trivial shrinkage of formulae?
Computational Complexity 10(1): 28-40 (2001) |
