Publications

16 results for Cindy Eisner

Accurate malware detection by extreme abstraction
- - Fady Copty
  - Cindy Eisner
  - et al.
- 2018
- ACSAC 2018
Safety and liveness, weakness and strength, and the underlying topological relations
- - Cindy Eisner
  - Dana Fisman
  - et al.
- 2014
- ACM TOCL
Resurrecting infeasible clock-gating functions
- - Eli Arbel
  - Cindy Eisner
  - et al.
- 2009
- DAC 2009
Functional verification of power gated designs by compositional reasoning
- - Cindy Eisner
  - Amir Nahir
  - et al.
- 2009
- Formal Methods in System Design
Augmenting a regular expression-based temporal logic with local variables
- - Cindy Eisner
  - Dana Fisman
- 2008
- FMCAD 2008
Policy validation for system automation: A case study
- - Emmanuel Zarpas
  - Cindy Eisner
  - et al.
- 2008
- POLICY 2008
A topological characterization of weakness
- - Cindy Eisner
  - Dana Fisman
  - et al.
- 2005
- PODC 2005
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