Cindy Eisner

According to our database, Cindy Eisner authored at least 28 papers between 1996 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Functional Specification of Hardware via Temporal Logic.

Cindy Eisner, Dana Fisman

Proceedings of the Handbook of Model Checking., 2018

Accurate Malware Detection by Extreme Abstraction.

Fady Copty, Matan Danos, Orit Edelstein, Cindy Eisner, Dov Murik, Benjamin Zeltser

Proceedings of the 34th Annual Computer Security Applications Conference, 2018

2014

Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations.

Cindy Eisner, Dana Fisman, John Havlicek

ACM Trans. Comput. Log., 2014

2013

Relative Equivalence in the Presence of Ambiguity.

Oshri Adler, Cindy Eisner, Tatyana Veksler

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2009

Functional verification of power gated designs by compositional reasoning.

Cindy Eisner, Amir Nahir, Karen Yorav

Formal Methods Syst. Des., 2009

Resurrecting infeasible clock-gating functions.

Eli Arbel, Cindy Eisner, Oleg Rokhlenko

Proceedings of the 46th Design Automation Conference, 2009

2008

Policy Validation for System Automation: A Case Study.

Emmanuel Zarpas, Cindy Eisner, Sivan Tal

Proceedings of the 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2008

Structural Contradictions.

Cindy Eisner, Dana Fisman

Proceedings of the Hardware and Software: Verification and Testing, 2008

Augmenting a Regular Expression-Based Temporal Logic with Local Variables.

Cindy Eisner, Dana Fisman

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007

PSL for Runtime Verification: Theory and Practice.

Cindy Eisner

Proceedings of the Runtime Verification, 7th International Workshop, 2007

2006

A Practical Introduction to PSL

Cindy Eisner, Dana Fisman

Series on Integrated Circuits and Systems, Springer, ISBN: 978-0-387-36123-9, 2006

ExpliSAT: Guiding SAT-Based Software Verification with Explicit States.

Sharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz

Proceedings of the Hardware and Software, 2006

2005

Formal verification of software source code through semi-automatic modeling.

Cindy Eisner

Softw. Syst. Model., 2005

A topological characterization of weakness.

Cindy Eisner, Dana Fisman, John Havlicek

Proceedings of the Twenty-Fourth Annual ACM Symposium on Principles of Distributed Computing, 2005

2003

Model Checking at IBM.

Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal

Formal Methods Syst. Des., 2003

The Definition of a Temporal Clock Operator.

Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout

Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003

Reasoning with Temporal Logic on Truncated Paths.

Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

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

Comparing Symbolic and Explicit Model Checking of a Software System.

Cindy Eisner, Doron A. Peled

Proceedings of the Model Checking of Software, 2002

2001

Efficient Detection of Vacuity in Temporal Model Checking.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh

Formal Methods Syst. Des., 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

Model checking the garbage collection mechanism of SMV.

Cindy Eisner

Proceedings of the Workshop on Software Model Checking 2001, 2001

The Temporal Logic Sugar.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

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

Proceedings of the 37th Conference on Design Automation, 2000

1999

Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard.

Cindy Eisner

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1997

Efficient Detection of Vacuity in ACTL Formulaas.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

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

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

RuleBase: An Industry-Oriented Formal Verification Tool.

Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver

Proceedings of the 33st Conference on Design Automation, 1996