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
https://portal.mardi4nfdi.de/entity/Q2852016	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
https://portal.mardi4nfdi.de/entity/Q2768368	2002-03-24	Paper
https://portal.mardi4nfdi.de/entity/Q2769612	2002-02-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hana Chockler