RuleBase: An Industry-Oriented Formal Verification Tool. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Avner Landver (DAC, 1996)

RuleBase: Model Checking at IBM. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Daniel Geist; Leonid Gluhovsky; Tamir Heyman; Avner Landver; P. Paanah; Yoav Rodeh; G. Ronin; Yaron Wolfsthal (CAV, 1997)

Efficient Detection of Vacuity in ACTL Formulaas. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Yoav Rodeh (CAV, 1997)

Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard. - Cindy Eisner (CHARME, 1999)

A methodology for formal design of hardware control with application to cache coherence protocols. - Cindy Eisner; Irit Shitsevalov; Russ Hoover; Wayne G. Nation; Kyle L. Nelson; Ken Valk (DAC, 2000)

The Temporal Logic Sugar. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Dana Fisman; Anna Gringauze; Yoav Rodeh (CAV, 2001)

Model checking the garbage collection mechanism of SMV. - Cindy Eisner (Workshop on Software Model Checking @ CAV, 2001)

On the Effective Deployment of Functional Formal Verification. - 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 (Formal Methods Syst. Des., 2001)

Efficient Detection of Vacuity in Temporal Model Checking. - Ilan Beer; Shoham Ben-David; Cindy Eisner; Yoav Rodeh (Formal Methods Syst. Des., 2001)

Comparing Symbolic and Explicit Model Checking of a Software System. - Cindy Eisner; Doron A. Peled (SPIN, 2002)

Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard. - Cindy Eisner (Int. J. Softw. Tools Technol. Transf., 2002)

Reasoning with Temporal Logic on Truncated Paths. - Cindy Eisner; Dana Fisman; John Havlicek; Yoad Lustig; Anthony McIsaac; David Van Campenhout (CAV, 2003)

The Definition of a Temporal Clock Operator. - Cindy Eisner; Dana Fisman; John Havlicek; Anthony McIsaac; David Van Campenhout (ICALP, 2003)

Model Checking at IBM. - Shoham Ben-David; Cindy Eisner; Daniel Geist; Yaron Wolfsthal (Formal Methods Syst. Des., 2003)

A topological characterization of weakness. - Cindy Eisner; Dana Fisman; John Havlicek (PODC, 2005)

Formal verification of software source code through semi-automatic modeling. - Cindy Eisner (Softw. Syst. Model., 2005)

ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. - Sharon Barner; Cindy Eisner; Ziv Glazberg; Daniel Kroening; Ishai Rabinovitz (Haifa Verification Conference, 2006)

A Practical Introduction to PSL - Cindy Eisner; Dana Fisman (Springer, 2006)

PSL for Runtime Verification: Theory and Practice. - Cindy Eisner (RV, 2007)

Augmenting a Regular Expression-Based Temporal Logic with Local Variables. - Cindy Eisner; Dana Fisman (FMCAD, 2008)

Structural Contradictions. - Cindy Eisner; Dana Fisman (Haifa Verification Conference, 2008)

Policy Validation for System Automation: A Case Study. - Emmanuel Zarpas; Cindy Eisner; Sivan Tal (POLICY, 2008)

Resurrecting infeasible clock-gating functions. - Eli Arbel; Cindy Eisner; Oleg Rokhlenko (DAC, 2009)

Functional verification of power gated designs by compositional reasoning. - Cindy Eisner; Amir Nahir; Karen Yorav (Formal Methods Syst. Des., 2009)

Relative Equivalence in the Presence of Ambiguity. - Oshri Adler; Cindy Eisner; Tatyana Veksler (CAV, 2013)

Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations. - Cindy Eisner; Dana Fisman; John Havlicek (ACM Trans. Comput. Log., 2014)

Accurate Malware Detection by Extreme Abstraction. - Fady Copty; Matan Danos; Orit Edelstein; Cindy Eisner; Dov Murik; Benjamin Zeltser (ACSAC, 2018)

Functional Specification of Hardware via Temporal Logic. - Cindy Eisner; Dana Fisman (Handbook of Model Checking, 2018)