Search the dblp DataBase
Cindy Eisner :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Ilan Beer , Shoham Ben-David , Cindy Eisner , Dana Fisman , Anna Gringauze , Yoav Rodeh The Temporal Logic Sugar. [Citation Graph (0, 0)][DBLP ] CAV, 2001, pp:363-367 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:480-483 [Conf ] Ilan Beer , Shoham Ben-David , Cindy Eisner , Yoav Rodeh Efficient Detection of Vacuity in ACTL Formulaas. [Citation Graph (0, 0)][DBLP ] CAV, 1997, pp:279-290 [Conf ] Cindy Eisner , Dana Fisman , John Havlicek , Yoad Lustig , Anthony McIsaac , David Van Campenhout Reasoning with Temporal Logic on Truncated Paths. [Citation Graph (0, 0)][DBLP ] CAV, 2003, pp:27-39 [Conf ] Cindy Eisner Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard. [Citation Graph (0, 0)][DBLP ] CHARME, 1999, pp:97-109 [Conf ] Ilan Beer , Shoham Ben-David , Cindy Eisner , Avner Landver RuleBase: An Industry-Oriented Formal Verification Tool. [Citation Graph (0, 0)][DBLP ] DAC, 1996, pp:655-660 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] DAC, 2000, pp:724-729 [Conf ] Sharon Barner , Cindy Eisner , Ziv Glazberg , Daniel Kroening , Ishai Rabinovitz ExpliSAT: Guiding SAT-Based Software Verification with Explicit States. [Citation Graph (0, 0)][DBLP ] Haifa Verification Conference, 2006, pp:138-154 [Conf ] Cindy Eisner , Dana Fisman , John Havlicek , Anthony McIsaac , David Van Campenhout The Definition of a Temporal Clock Operator. [Citation Graph (0, 0)][DBLP ] ICALP, 2003, pp:857-870 [Conf ] Cindy Eisner , Dana Fisman , John Havlicek A topological characterization of weakness. [Citation Graph (0, 0)][DBLP ] PODC, 2005, pp:1-8 [Conf ] Cindy Eisner , Doron Peled Comparing Symbolic and Explicit Model Checking of a Software System. [Citation Graph (0, 0)][DBLP ] SPIN, 2002, pp:230-239 [Conf ] Cindy Eisner Model checking the garbage collection mechanism of SMV. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2001, v:19, n:1, pp:35-44 [Journal ] Ilan Beer , Shoham Ben-David , Cindy Eisner , Yoav Rodeh Efficient Detection of Vacuity in Temporal Model Checking. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2001, v:18, n:2, pp:141-163 [Journal ] Shoham Ben-David , Cindy Eisner , Daniel Geist , Yaron Wolfsthal Model Checking at IBM. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2003, v:22, n:2, pp:101-108 [Journal ] Cindy Eisner Formal verification of software source code through semi-automatic modeling. [Citation Graph (0, 0)][DBLP ] Software and System Modeling, 2005, v:4, n:1, pp:14-31 [Journal ] Cindy Eisner Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and Heerhugowaard. [Citation Graph (0, 0)][DBLP ] STTT, 2002, v:4, n:1, pp:107-124 [Journal ] Functional Verification of Power Gated Designs by Compositional Reasoning. [Citation Graph (, )][DBLP ] Resurrecting infeasible clock-gating functions. [Citation Graph (, )][DBLP ] Augmenting a Regular Expression-Based Temporal Logic with Local Variables. [Citation Graph (, )][DBLP ] Structural Contradictions. [Citation Graph (, )][DBLP ] Policy Validation for System Automation: A Case Study. [Citation Graph (, )][DBLP ] PSL for Runtime Verification: Theory and Practice. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.280secs