Concepedia

Cindy Eisner

CE

Statistics

Publications

12

Citations

457

H-Index

10

Active since

1996

Affiliations

IBM Research - Haifa(Current)

IBM (United States)

Weizmann Institute of Science

Cindy Eisner is an author at IBM Research - Haifa specializing in computer science, model checking, and formal methods.

Publications per year

1996–2018

12

Publications

12

Efficient Detection of Vacuity in Temporal Model Checking

Ilan Beer, Shoham Ben-David, Cindy Eisner et al. · Formal Methods in System Design · 2001 · 137 citations

Computing, Computer Science, Computer Systems +11

Ilan Beer, Shoham Ben-David, Cindy Eisner et al. · 1996 · 123 citations

Computing, Computer Engineering, Computer Science +10

RuleBase: an industry-oriented formal verification tool

Ilan Beer, S. Ben-David, Cindy Eisner et al. · 33rd Design Automation Conference Proceedings, 1996 · 2005 · 41 citations

Computing, Computer Engineering, Computer Science +10

Model Checking at IBM

Shoham Ben-David, Cindy Eisner, Daniel Geist et al. · Formal Methods in System Design · 2003 · 35 citations

Engineering, Computer Engineering, Computer Science +9

Resurrecting infeasible clock-gating functions

Eli Arbel, Cindy Eisner, Oleg Rokhlenko · 2009 · 34 citations

Engineering, Computer Engineering, Computer Science +17

1–5 of 12