Publications

19 results for Hana Chockler

The computational complexity of structure-based causality
- - Gadi Aleksandrowicz
  - Hana Chockler
  - et al.
- 2017
- JAIR
The computational complexity of structure-based causality
- - Gadi Aleksandrowicz
  - Hana Chockler
  - et al.
- 2014
- AAAI 2014
Finding rare numerical stability errors in concurrent computations
- - Hana Chockler
  - Karine Even
  - et al.
- 2013
- ISSTA 2013
Using cross-entropy for satisfiability
- - Hana Chockler
  - Alexander Ivrii
  - et al.
- 2013
- SAC 2013
Verification of software changes with ExpliSAT
- - Hana Chockler
  - Sitvanit Ruah
- 2012
- WHTSU 2012
Computing mutation coverage in interpolation-based model checking
- - Hana Chockler
  - Daniel Kroening
  - et al.
- 2012
- IEEE TCADIS
Explaining counterexamples using causality
- - Ilan Beer
  - Shoham Ben-David
  - et al.
- 2011
- Formal Methods in System Design
Incremental formal verification of hardware
- - Hana Chockler
  - Alexander Ivrii
  - et al.
- 2011
- FMCAD 2011
PINCETTE Validating changes and upgrades in networked software
- - Hana Chockler
- 2010
- FMCAD 2010
Coverage in interpolation-based model checking
- - Hana Chockler
  - Daniel Kroening
  - et al.
- 2010
- DAC 2010