Hana Chockler

Hana Chockler: Preface. Electr. Notes Theor. Comput. Sci. 294: 1 (2013)

Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti E. J. Hyvrinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig: PINCETTE - Validating Changes and Upgrades in Networked Software. CSMR 2013: 461-464

Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina: Using cross-entropy for satisfiability. SAC 2013: 1196-1203

Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler: Explaining counterexamples using causality. Formal Methods in System Design 40(1): 20-40 (2012)

Hana Chockler, Daniel Kroening, Mitra Purandare: Computing Mutation Coverage in Interpolation-Based Model Checking. IEEE Trans. on CAD of Integrated Circuits and Systems 31(5): 765-778 (2012)

Hana Chockler, Sitvanit Ruah: Verification of software changes with ExpliSAT. HotSWUp 2012: 31-35

Hana Chockler, Alan J. Hu: Preface. STTT 13(3): 201-205 (2011)

Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo: Incremental formal verification of hardware. FMCAD 2011: 135-143

Hana Chockler, Joseph Y. Halpern, Orna Kupferman: Erratum for "What causes a system to satisfy a specification?". ACM Trans. Comput. Log. 11(4) (2010)

Hana Chockler, Daniel Kroening, Mitra Purandare: Coverage in interpolation-based model checking. DAC 2010: 182-187

Hana Chockler: PINCETTE - Validating changes and upgrades in networked software. FMCAD 2010: 277

Hana Chockler, Arie Gurfinkel, Ofer Strichman: Variants of LTL Query Checking. Haifa Verification Conference 2010: 76-92

Hana Chockler, Ofer Strichman: Before and after vacuity. Formal Methods in System Design 34(1): 37-58 (2009)

Ilan Beer, Shoham Ben-David, Hana Chockler, Avigail Orni, Richard J. Trefler: Explaining Counterexamples Using Causality. CAV 2009: 94-108

Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov: Cross-Entropy-Based Replay of Concurrent Programs. FASE 2009: 201-215

Hana Chockler, Alan J. Hu (Eds.): Hardware and Software: Verification and Testing, 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings. Lecture Notes in Computer Science 5394, Springer 2009, isbn 978-3-642-01701-8

Hana Chockler, Joseph Y. Halpern, Orna Kupferman: What causes a system to satisfy a specification?. ACM Trans. Comput. Log. 9(3) (2008)

Hana Chockler, Arie Gurfinkel, Ofer Strichman: Beyond Vacuity: Towards the Strongest Passing Formula. FMCAD 2008: 1-8

Hana Chockler, Orna Grumberg, Avi Yadgar: Efficient Automatic STE Refinement Using Responsibility. TACAS 2008: 233-248

Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov: Cross-Entropy Based Testing. FMCAD 2007: 101-108

Hana Chockler, Ofer Strichman: Easier and More Informative Vacuity Checks. MEMOCODE 2007: 189-198

Paul C. Attie, Hana Chockler: Automatic Verification of Fault-Tolerant Register Emulations. Electr. Notes Theor. Comput. Sci. 149(1): 49-60 (2006)

Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for temporal logic model checking^*. Formal Methods in System Design 28(3): 189-212 (2006)

Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage metrics for formal verification. STTT 8(4-5): 373-386 (2006)

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

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

Hana Chockler, Kathi Fisler: Temporal Modalities for Concisely Capturing Timing Diagrams. CHARME 2005: 176-190

Paul C. Attie, Hana Chockler: Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs. VMCAI 2005: 465-481

Hana Chockler, Dan Gutfreund: A lower bound for testing juntas. Inf. Process. Lett. 90(6): 301-305 (2004)

Hana Chockler, Joseph Y. Halpern: Responsibility and Blame: A Structural-Model Approach. J. Artif. Intell. Res. (JAIR) 22: 93-115 (2004)

Hana Chockler, Orna Kupferman: w-Regular languages are testable with a constant number of queries. Theor. Comput. Sci. 329(1-3): 71-92 (2004)

Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Formal Verification. CHARME 2003: 111-125

Hana Chockler, Joseph Y. Halpern: Responsibility and Blame: A Structural-Model Approach. IJCAI 2003: 147-153

Hana Chockler, Joseph Y. Halpern: Responsibility and blame: a structural-model approach. CoRR cs.AI/0312038 (2003)

Hana Chockler, Joseph Y. Halpern, Orna Kupferman: What Causes a System to Satisfy a Specification? CoRR cs.LO/0312036 (2003)

Hana Chockler, Orna Kupferman: Coverage of Implementations by Simulating Specifications. IFIP TCS 2002: 409-421

Hana Chockler, Orna Kupferman: omega-Regular Languages Are Testable with a Constant Number of Queries. RANDOM 2002: 26-28

Hana Chockler, Uri Zwick: Which bases admit non-trivial shrinkage of formulae? Computational Complexity 10(1): 28-40 (2001)

Hana Chockler, Orna Kupferman, Robert P. Kurshan, Moshe Y. Vardi: A Practical Approach to Coverage in Model Checking. CAV 2001: 66-78

Hana Chockler, Uri Zwick: Which formulae shrink under random restrictions? SODA 2001: 702-708

Hana Chockler, Orna Kupferman, Moshe Y. Vardi: Coverage Metrics for Temporal Logic Model Checking. TACAS 2001: 528-542