Cindy Eisner

Publication Activity (10 Years)

Years Active: 1996-2018
Publications (10 Years): 1

Top Topics

Relative Position

Malware Detection

Spatial Clustering

Application Programming Interface

Top Venues

ACM Trans. Comput. Log.

Publications

Fady Copty, Matan Danos, Orit Edelstein, Cindy Eisner, Dov Murik, Benjamin Zeltser
Accurate Malware Detection by Extreme Abstraction. ACSAC (2018)
Cindy Eisner, Dana Fisman, John Havlicek
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations. ACM Trans. Comput. Log. 15 (2) (2014)
Oshri Adler, Cindy Eisner, Tatyana Veksler
Relative Equivalence in the Presence of Ambiguity. CAV (2013)
Cindy Eisner, Amir Nahir, Karen Yorav
Functional verification of power gated designs by compositional reasoning. Formal Methods Syst. Des. 35 (1) (2009)
Eli Arbel, Cindy Eisner, Oleg Rokhlenko
Resurrecting infeasible clock-gating functions. DAC (2009)
Cindy Eisner, Amir Nahir, Karen Yorav
Functional Verification of Power Gated Designs by Compositional Reasoning. CAV (2008)
Cindy Eisner, Dana Fisman
Structural Contradictions. Haifa Verification Conference (2008)
Cindy Eisner, Dana Fisman
Augmenting a Regular Expression-Based Temporal Logic with Local Variables. FMCAD (2008)
Emmanuel Zarpas, Cindy Eisner, Sivan Tal
Policy Validation for System Automation: A Case Study. POLICY (2008)
Cindy Eisner
PSL for Runtime Verification: Theory and Practice. RV (2007)
Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz
ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. Haifa Verification Conference (2006)
Cindy Eisner
Formal verification of software source code through semi-automatic modeling. Softw. Syst. Model. 4 (1) (2005)
Cindy Eisner, Dana Fisman, John Havlicek
A topological characterization of weakness. PODC (2005)
Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal
Model Checking at IBM. Formal Methods Syst. Des. 22 (2) (2003)
Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout
The Definition of a Temporal Clock Operator. ICALP (2003)
Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout
Reasoning with Temporal Logic on Truncated Paths. CAV (2003)
Cindy Eisner, Doron A. Peled
Comparing Symbolic and Explicit Model Checking of a Software System. SPIN (2002)
Cindy Eisner
Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard. Int. J. Softw. Tools Technol. Transf. 4 (1) (2002)
Yael Abarbanel-Vinov, Neta Aizenbud-Reshef, Ilan Beer, Cindy Eisner, Daniel Geist, Tamir Heyman, Iris Reuveni, Eran Rippel, Irit Shitsevalov, Yaron Wolfsthal, Tali Yatzkar-Haham
On the Effective Deployment of Functional Formal Verification. Formal Methods Syst. Des. 19 (1) (2001)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh
The Temporal Logic Sugar. CAV (2001)
Cindy Eisner
Model checking the garbage collection mechanism of SMV. Electron. Notes Theor. Comput. Sci. 55 (3) (2001)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
Efficient Detection of Vacuity in Temporal Model Checking. Formal Methods Syst. Des. 18 (2) (2001)
Cindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk
A methodology for formal design of hardware control with application to cache coherence protocols. DAC (2000)
Cindy Eisner
Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard. CHARME (1999)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal
RuleBase: Model Checking at IBM. CAV (1997)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh
Efficient Detection of Vacuity in ACTL Formulaas. CAV (1997)
Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver
RuleBase: An Industry-Oriented Formal Verification Tool. DAC (1996)