Cindy Eisner

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