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

16 results for Cindy Eisner

Functional verification of power gated designs by compositional reasoning
- - Cindy Eisner
  - Amir Nahir
  - et al.
- 2009
- Formal Methods in System Design
Formal verification of software source code through semi-automatic modeling
- - Cindy Eisner
- 2005
- Software and Systems Modeling
Model checking at IBM
- - Shoham Ben-David
  - Cindy Eisner
  - et al.
- 2003
- Formal Methods in System Design
Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard
- - Cindy Eisner
- 2002
- International Journal on Software Tools for Technology Transfer
Efficient detection of vacuity in temporal model checking
- - Ilan Beer
  - Shoham Ben-David
  - et al.
- 2001
- Formal Methods in System Design
On the effective deployment of functional formal verification
- - Yael Abarbanel-Vinov
  - Neta Aizenbud-Reshef
  - et al.
- 2001
- Formal Methods in System Design