Hana Chockler

According to our database1, Hana Chockler authored at least 67 papers between 2001 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Preface of the special issue on the conference on computer-aided verification 2018.
Formal Methods Syst. Des., 2021

Compositional Explanations for Image Classifiers.
CoRR, 2021

2020
Learning the Language of Software Errors.
J. Artif. Intell. Res., 2020

Safety Synthesis Sans Specification.
CoRR, 2020

Ranking Policy Decisions.
CoRR, 2020

Combining experts' causal judgments.
Artif. Intell., 2020

Explaining Image Classifiers Using Statistical Fault Localization.
Proceedings of the Computer Vision - ECCV 2020, 2020

2019
Explaining Deep Neural Networks Using Spectrum-Based Fault Localization.
CoRR, 2019

Lattice-based SMT for program verification.
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

Synthesizing Reactive Systems Using Robustness and Recovery Specifications.
Proceedings of the 2019 Formal Methods in Computer Aided Design, 2019

2018
Lattice-Based Refinement in Bounded Model Checking.
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Lookahead-Based SMT Solving.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Function Summarization Modulo Theories.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Timed Vacuity.
Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017
The Computational Complexity of Structure-Based Causality.
J. Artif. Intell. Res., 2017

Synthesizing Non-Vacuous Systems.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

HiFrog: SMT-based Function Summarization for Software Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Theory Refinement for Program Verification.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

2016
Causality and Responsibility for Formal Verification and Beyond.
Proceedings of the Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2016

Probabilistic Fault Localisation.
Proceedings of the Hardware and Software: Verification and Testing, 2016

2015
Causal analysis for attributing responsibility in legal cases.
Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

Evaluation of Measures for Statistical Fault Localisation and an Optimising Scheme.
Proceedings of the Fundamental Approaches to Software Engineering, 2015

Learning the Language of Error.
Proceedings of the Automated Technology for Verification and Analysis, 2015

Lightweight Static Analysis Check of Upgrades in C/C++ Software.
Proceedings of the Validation of Evolving Software, 2015

Complementarities Among the Technologies Presented in the Book.
Proceedings of the Validation of Evolving Software, 2015

Challenges of Existing Technology.
Proceedings of the Validation of Evolving Software, 2015

Introduction.
Proceedings of the Validation of Evolving Software, 2015

2013
Verifying cloud services: present and future.
ACM SIGOPS Oper. Syst. Rev., 2013

Beyond vacuity: towards the strongest passing formula.
Formal Methods Syst. Des., 2013

Preface.
Electron. Notes Theor. Comput. Sci., 2013

Using cross-entropy for satisfiability.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Finding rare numerical stability errors in concurrent computations.
Proceedings of the International Symposium on Software Testing and Analysis, 2013

Improving Representative Computation in ExpliSAT.
Proceedings of the Hardware and Software: Verification and Testing, 2013

Attention-Based Coverage Metrics.
Proceedings of the Hardware and Software: Verification and Testing, 2013

PINCETTE - Validating Changes and Upgrades in Networked Software.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012
Computing Mutation Coverage in Interpolation-Based Model Checking.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2012

Explaining counterexamples using causality.
Formal Methods Syst. Des., 2012

Computing Interpolants without Proofs.
Proceedings of the Hardware and Software: Verification and Testing, 2012

Verification of software changes with ExpliSAT.
Proceedings of the 4th International Workshop on Hot Topics in Software Upgrades, 2012

2011
Preface.
Int. J. Softw. Tools Technol. Transf., 2011

Incremental formal verification of hardware.
Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

2010
Erratum for "What causes a system to satisfy a specification?".
ACM Trans. Comput. Log., 2010

Variants of LTL Query Checking.
Proceedings of the Hardware and Software: Verification and Testing, 2010

PINCETTE - Validating changes and upgrades in networked software.
Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Coverage in interpolation-based model checking.
Proceedings of the 47th Design Automation Conference, 2010

2009
Before and after vacuity.
Formal Methods Syst. Des., 2009

Cross-Entropy-Based Replay of Concurrent Programs.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
What causes a system to satisfy a specification?.
ACM Trans. Comput. Log., 2008

Efficient Automatic STE Refinement Using Responsibility.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007
Easier and More Informative Vacuity Checks.
Proceedings of the 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30, 2007

Cross-Entropy Based Testing.
Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006
Coverage metrics for formal verification.
Int. J. Softw. Tools Technol. Transf., 2006

Coverage metrics for temporal logic model checking<sup>*</sup>.
Formal Methods Syst. Des., 2006

Formal verification of concurrent software: two case studies.
Proceedings of the 4th Workshop on Parallel and Distributed Systems: Testing, 2006

Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005
Automatic Verification of Fault-Tolerant Register Emulations.
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, 2005

Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent Programs.
Proceedings of the Verification, 2005

Temporal Modalities for Concisely Capturing Timing Diagrams.
Proceedings of the Correct Hardware Design and Verification Methods, 2005

2004
w-Regular languages are testable with a constant number of queries.
Theor. Comput. Sci., 2004

Responsibility and Blame: A Structural-Model Approach.
J. Artif. Intell. Res., 2004

A lower bound for testing juntas.
Inf. Process. Lett., 2004

2002
omega-Regular Languages Are Testable with a Constant Number of Queries.
Proceedings of the Randomization and Approximation Techniques, 6th International Workshop, 2002

Coverage of Implementations by Simulating Specifications.
Proceedings of the Foundations of Information Technology in the Era of Networking and Mobile Computing, 2002

2001
Which bases admit non-trivial shrinkage of formulae?
Comput. Complex., 2001

Coverage Metrics for Temporal Logic Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Which formulae shrink under random restrictions?
Proceedings of the Twelfth Annual Symposium on Discrete Algorithms, 2001

A Practical Approach to Coverage in Model Checking.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001


  Loading...