Cindy Eisner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
7
Active years
1996–2018
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ACSAC | Accurate Malware Detection by Extreme Abstraction. | Fady Copty, Matan Danos, Orit Edelstein, Cindy Eisner, Dov Murik, Benjamin Zeltser |
| 2013 | CAV | Relative Equivalence in the Presence of Ambiguity. | Oshri Adler, Cindy Eisner, Tatyana Veksler |
| 2009 | DAC | Resurrecting infeasible clock-gating functions. | Eli Arbel, Cindy Eisner, Oleg Rokhlenko |
| 2008 | CAV | Functional Verification of Power Gated Designs by Compositional Reasoning. | Cindy Eisner, Amir Nahir, Karen Yorav |
| 2008 | FMCAD | Augmenting a Regular Expression-Based Temporal Logic with Local Variables. | Cindy Eisner, Dana Fisman |
| 2007 | RV | PSL for Runtime Verification: Theory and Practice. | Cindy Eisner |
| 2005 | PODC | A topological characterization of weakness. | Cindy Eisner, Dana Fisman, John Havlicek |
| 2003 | CAV | Reasoning with Temporal Logic on Truncated Paths. | Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, David Van Campenhout |
| 2003 | ICALP | The Definition of a Temporal Clock Operator. | Cindy Eisner, Dana Fisman, John Havlicek, Anthony McIsaac, David Van Campenhout |
| 2001 | CAV | The Temporal Logic Sugar. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze, Yoav Rodeh |
| 2000 | DAC | 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 |
| 1997 | CAV | 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 |
| 1997 | CAV | Efficient Detection of Vacuity in ACTL Formulaas. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh |
| 1996 | DAC | RuleBase: An Industry-Oriented Formal Verification Tool. | Ilan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver |