Hana Chockler

From MaRDI portal
Person:233000

Available identifiers

zbMath Open chockler.hanaMaRDI QIDQ233000

List of research outcomes





PublicationDate of PublicationType
Specifiable robustness in reactive synthesis2023-05-08Paper
Vacuity in synthesis2021-12-08Paper
Combining experts' causal judgments2021-08-16Paper
Timed vacuity2021-05-04Paper
Learning the Language of Software Errors2020-05-14Paper
Function Summarization Modulo Theories2019-07-04Paper
Lookahead-Based SMT Solving2019-07-04Paper
Lattice-based refinement in bounded model checking2018-12-07Paper
Theory refinement for program verification2017-11-15Paper
What causes a system to satisfy a specification?2017-07-12Paper
The Computational Complexity of Structure-Based Causality2017-04-10Paper
Synthesizing Non-Vacuous Systems2017-02-21Paper
Learning the Language of Error2016-01-08Paper
Erratum for “What causes a system to satisfy a specification?”2015-09-17Paper
Beyond vacuity: towards the strongest passing formula2014-06-30Paper
Automatic verification of fault-tolerant register emulations2013-10-07Paper
Explaining counterexamples using causality2012-09-27Paper
Variants of LTL Query Checking2011-04-06Paper
Correct Hardware Design and Verification Methods2010-02-05Paper
A lower bound for testing juntas2009-07-21Paper
Before and after vacuity2009-07-06Paper
Explaining Counterexamples Using Causality2009-06-30Paper
Efficient Automatic STE Refinement Using Responsibility2008-04-11Paper
Coverage metrics for temporal logic model checking2006-11-17Paper
Correct Hardware Design and Verification Methods2006-10-20Paper
https://portal.mardi4nfdi.de/entity/Q57156772006-01-04Paper
Verification, Model Checking, and Abstract Interpretation2005-12-06Paper
\(\omega\)-regular languages are testable with a constant number of queries2005-02-09Paper
https://portal.mardi4nfdi.de/entity/Q44404252003-12-17Paper
https://portal.mardi4nfdi.de/entity/Q45511352002-09-04Paper
Which bases admit non-trivial shrinkage of formulae?2002-07-22Paper
Which formulae shrink under random restrictions?2002-03-24Paper
https://portal.mardi4nfdi.de/entity/Q27696122002-02-05Paper

Research outcomes over time

This page was built for person: Hana Chockler