The computational complexity of structure-based causality
- Gadi Aleksandrowicz
- Hana Chockler
- et al.
- 2017
- JAIR
Publications
Date
Featured collections
Popular topics
19 results for Hana Chockler
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