Accurate malware detection by extreme abstraction
- Fady Copty
- Cindy Eisner
- et al.
- 2018
- ACSAC 2018
Publications
Date
Featured collections
Popular topics
16 results for Cindy Eisner
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