No photo of Hana Chockler

Hana Chockler

Dr

 https://orcid.org/0000-0003-1219-0713
  • Phone82928
  • 1189
    Citations

Search results

  • 2011

    Variants of LTL Query Checking

    Chockler, H., Gurfinkel, A. & Strichman, O., 2011, Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers. Barner, S., Harris, Kroening, D. & Raz, O. (eds.). BERLIN: Springer-Verlag Berlin Heidelberg, p. 76-92 17 p. (Lecture Notes in Computer Science; vol. 6504).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    8 Citations (Scopus)
  • 2010

    Coverage in interpolation-based model checking

    Chockler, H., Kroening, D. & Purandare, M., 2010, Proceedings of the 47th Design Automation Conference, DAC 2010. N/A ed. New York: ACM, Vol. N/A. p. 182-187 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper

    12 Citations (Scopus)
  • 2009

    Before and after vacuity

    Chockler, H. & Strichman, O., Feb 2009, In: FORMAL METHODS IN SYSTEM DESIGN. 34, 1, p. 37-58 22 p.

    Research output: Contribution to journal › Article › peer-review

    10 Citations (Scopus)

  • Cross-Entropy-Based Replay of Concurrent Programs

    Chockler, H., Farchi, E., Godlin, B. & Novikov, S., 2009, Fundamental Approaches to Software Engineering: 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings. Chechik, M. & Wirsing, M. (eds.). BERLIN: Springer-Verlag Berlin Heidelberg, p. 201-215 15 p. (Lecture Notes in Computer Science; vol. 5503).

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    5 Citations (Scopus)

  • Explaining Counterexamples Using Causality

    Beer, I., Ben-David, S., Chockler, H., Orni, A. & Trefler, R., 2009, Computer aided verification: 21st international conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009 ; proceedings. Bouajjani, A. & Maler, O. (eds.). N/A ed. Berlin: Springer-Verlag Berlin Heidelberg, Vol. N/A. p. 94-108 15 p. (Lecture Notes in Computer Science; vol. 5643).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper

    54 Citations (Scopus)
  • 2008

    Beyond Vacuity: Towards the Strongest Passing Formula

    Chockler, H., Gurfinkel, A. & Strichman, O., 2008, 2008 FORMAL METHODS IN COMPUTER-AIDED DESIGN. Cimatti, A. & Jones, R. (eds.). NEW YORK: IEEE, p. 188-195 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Chapter

    10 Citations (Scopus)

  • Efficient automatic STE refinement using responsibility

    Chockler, H., Grumberg, O. & Yadgar, A., 2008, Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Part of Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, March 29-April 6, 2008. Proceedings. Ramakrishnan, C. & Rehof, J. (eds.). BERLIN: Springer-Verlag Berlin Heidelberg, p. 233-248 16 p. (LECTURE NOTES IN COMPUTER SCIENCE; vol. 4963).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper

    11 Citations (Scopus)

  • What causes a system to satisfy a specification?

    Chockler, H., Halpern, J. Y. & Kupferman, O., Jun 2008, In: ACM Transactions on Computational Logic. 9, 3, p. N/A 26 p., 20.

    Research output: Contribution to journal › Article › peer-review

    56 Citations (Scopus)
  • 2007

    Cross-Entropy Based Testing

    Chockler, H., Farchi, E., Godlin, B. & Novikov, S., 11 Nov 2007, Proceedings of Formal Methods in Computer-Aided Design (FMCAD). IEEE Computer Society, p. 101-108 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    File
    20 Citations (Scopus)
    67 Downloads (Pure)

  • Easier and More Informative Vacuity Checks

    Chockler, H. & Strichman, O., 30 May 2007, Proceedings of ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE). IEEE Computer Society, p. 189-198 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    File
    24 Citations (Scopus)
    74 Downloads (Pure)
  • 2006

    Automatic Verification of Fault-Tolerant Register Emulations

    Chockler, H. & Attie, P. C., 1 Feb 2006, Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY). 1 ed. Electronic Notes in Theoretical Computer Science, Vol. 149. p. 49-60 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System

    Attie, P. C., Lorenz, D. H., Portnova, A. & Chockler, H., 29 Jun 2006, Proceedings of Component-Based Software Engineering, 9th International Symposium (CBSE). Springer, p. 33-49 17 p. (Lecture Notes in Computer Science; vol. 4063).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    4 Citations (Scopus)

  • Coverage metrics for formal verification

    Chockler, H., Kupferman, O. & Vardi, M. Y., 1 Feb 2006, In: International Journal on Software Tools for Technology Transfer (STTT). 8, 1, p. 373-386 14 p.

    Research output: Contribution to journal › Article › peer-review

    26 Citations (Scopus)

  • Coverage metrics for temporal logic model checking

    Chockler, H., Kupferman, O. & Vardi, M. Y., 1 Jan 2006, In: FORMAL METHODS IN SYSTEM DESIGN. 28, 1, p. 189-212 24 p.

    Research output: Contribution to journal › Article › peer-review

    21 Citations (Scopus)

  • Formal verification of concurrent software: two case studies

    Chockler, H., Farchi, E., Glazberg, Z., Godlin, B., Nir-Buchbinder, Y. & Rabinovitz, I., 17 Jul 2006, Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD). ACM

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    2 Citations (Scopus)
  • 2005

    Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs

    Chockler, H. & Attie, P. C., 17 Jan 2005, Proceedings of Verification, Model Checking, and Abstract Interpretation, 6th International Conference (VMCAI). Springer, p. 465-481 17 p. (Lecture Notes in Computer Science; vol. 3385).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    20 Citations (Scopus)

  • Temporal Modalities for Concisely Capturing Timing Diagrams

    Chockler, H. & Fisler, K., 3 Oct 2005, Proceedings of Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME. Springer, p. 176-190 15 p. (Lecture Notes in Computer Science; vol. 3725).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    3 Citations (Scopus)
  • 2004

    A lower bound for testing juntas

    Chockler, H. & Gutfreund, D., 2004, In: INFORMATION PROCESSING LETTERS. 90, 6, p. 301-305 5 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    43 Citations (Scopus)

  • Responsibility and Blame: A Structural-Model Approach

    Chockler, H. & Halpern, J. Y., 2004, In: Journal Artificial Intelligence Research. 22, p. 93-115 23 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    276 Citations (Scopus)

  • w-Regular languages are testable with a constant number of queries

    Chockler, H. & Kupferman, O., 2004, In: Theoretical Computer Science. 329, 1-3, p. 71-92 22 p.

    Research output: Contribution to journal › Article › peer-review

    9 Citations (Scopus)
  • 2003

    Coverage Metrics for Formal Verification

    Chockler, H., Kupferman, O. & Vardi, M. Y., 2003, Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference (CHARME). Italy: Springer, Vol. 2860. p. 111-125 15 p. (Lecture Notes in Computer Science; vol. 2860).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    51 Citations (Scopus)

  • Responsibility and Blame: A Structural-Model Approach

    Chockler, H. & Halpern, J. Y., 2003, IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence. Morgan Kaufmann Publishers Inc., p. 147-153

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    Open Access
    11 Citations (Scopus)
  • 2002

    Coverage of Implementations by Simulating Specifications

    Chockler, H. & Kupferman, O., 2002, Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17th World Computer Congress - TC1 Stream / 2nd IFIP International Conference on Theoretical Computer Science (TCS 2002). Kluwer Publishing, Vol. 223. p. 409-421 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    11 Citations (Scopus)

  • omega-Regular Languages Are Testable with a Constant Number of Queries

    Chockler, H. & Kupferman, O., 2002, Randomization and Approximation Techniques, 6th International Workshop (RANDOM). Springer, Vol. 2483. p. 26-28 (Lecture Notes in Computer Science; vol. 2483).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

  • 2001

    A Practical Approach to Coverage in Model Checking

    Chockler, H., Kupferman, O., Kurshan, R. & Vardi, M. Y., 2001, Computer Aided Verification, 13th International Conference (CAV). Paris: Springer, Vol. 2102. p. 66-78 (Lecture Notes in Computer Science; vol. 2102).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    76 Citations (Scopus)

  • Coverage Metrics for Temporal Logic Model Checking

    Chockler, H., Kupferman, O. & Vardi, M. Y., Apr 2001, Coverage Metrics for Temporal Logic Model Checking. Genova, Italy: Springer, Vol. 2031. p. 528-542 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    61 Citations (Scopus)

  • Which bases admit non-trivial shrinkage of formulae?

    Chockler, H. & Zwick, U., 2001, In: COMPUTATIONAL COMPLEXITY. 10, 1, p. 28-40 13 p.

    Research output: Contribution to journal › Article › peer-review

    5 Citations (Scopus)

  • Which formulae shrink under random restrictions?

    Chockler, H. & Zwick, U., Jan 2001, Proceedings of the Twelfth Annual Symposium on Discrete Algorithms. ACM-SIAM, p. 702--708

    Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

    1 Citation (Scopus)
Your message has successfully been sent.
Your message was not sent due to an error.