Hana Chockler

Available identifiers

zbMath Open chockler.hanaMaRDI QIDQ233000

List of research outcomes

Publication	Date of Publication	Type
Specifiable robustness in reactive synthesis	2023-05-08	Paper
Vacuity in synthesis	2021-12-08	Paper
Combining experts' causal judgments	2021-08-16	Paper
Timed vacuity	2021-05-04	Paper
Learning the Language of Software Errors	2020-05-14	Paper
Function Summarization Modulo Theories	2019-07-04	Paper
Lookahead-Based SMT Solving	2019-07-04	Paper
Lattice-based refinement in bounded model checking	2018-12-07	Paper
Theory refinement for program verification	2017-11-15	Paper
What causes a system to satisfy a specification?	2017-07-12	Paper
The Computational Complexity of Structure-Based Causality	2017-04-10	Paper
Synthesizing Non-Vacuous Systems	2017-02-21	Paper
Learning the Language of Error	2016-01-08	Paper
Erratum for “What causes a system to satisfy a specification?”	2015-09-17	Paper
Beyond vacuity: towards the strongest passing formula	2014-06-30	Paper
Automatic verification of fault-tolerant register emulations	2013-10-07	Paper
Explaining counterexamples using causality	2012-09-27	Paper
Variants of LTL Query Checking	2011-04-06	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
A lower bound for testing juntas	2009-07-21	Paper
Before and after vacuity	2009-07-06	Paper
Explaining Counterexamples Using Causality	2009-06-30	Paper
Efficient Automatic STE Refinement Using Responsibility	2008-04-11	Paper
Coverage metrics for temporal logic model checking	2006-11-17	Paper
Correct Hardware Design and Verification Methods	2006-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5715677	2006-01-04	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
\(\omega\)-regular languages are testable with a constant number of queries	2005-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q4440425	2003-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4551135	2002-09-04	Paper
Which bases admit non-trivial shrinkage of formulae?	2002-07-22	Paper
Which formulae shrink under random restrictions?	2002-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q2769612	2002-02-05	Paper

Research outcomes over time

This page was built for person: Hana Chockler