Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

19 results for Hana Chockler

Verification of software changes with ExpliSAT
- - Hana Chockler
  - Sitvanit Ruah
- 2012
- WHTSU 2012
Automatic verification of fault-tolerant register emulations
- - Paul C. Attie
  - Hana Chockler
- 2005
- CONCUR 2005
The computational complexity of structure-based causality
- - Gadi Aleksandrowicz
  - Hana Chockler
  - et al.
- 2017
- JAIR
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
Before and after vacuity
- - Hana Chockler
  - Ofer Strichman
- 2008
- Formal Methods in System Design
What causes a system to satisfy a specification
- - Hana Chockler
  - Joseph Y. Halpern
  - et al.
- 2008
- ACM TOCL
Coverage metrics for temporal logic model checking
- - Hana Chockler
  - Orna Kupferman
  - et al.
- 2006
- Formal Methods in System Design
Coverage metrics for formal verification
- - Hana Chockler
  - Orna Kupferman
  - et al.
- 2006
- International Journal on Software Tools for Technology Transfer