Cindy Eisner - researchr alias

researchr

You are not signed in
Sign in
Sign up

2009

Resurrecting infeasible clock-gating functionsEli Arbel, Cindy Eisner, Oleg Rokhlenko. dac 2009: 160-165 [doi]

Functional verification of power gated designs by compositional reasoningCindy Eisner, Amir Nahir, Karen Yorav. fmsd, 35(1):40-55, 2009. [doi]

2008

2007

PSL for Runtime Verification: Theory and PracticeCindy Eisner. rv 2007: 1-8 [doi]

2006

ExpliSAT: Guiding SAT-Based Software Verification with Explicit StatesSharon Barner, Cindy Eisner, Ziv Glazberg, Daniel Kroening, Ishai Rabinovitz. hvc 2007: 138-154 [doi]

2005

A topological characterization of weaknessCindy Eisner, Dana Fisman, John Havlicek. podc 2005: 1-8 [doi]

Formal verification of software source code through semi-automatic modelingCindy Eisner. SoSyM, 4(1):14-31, 2005. [doi]

2003

2002

Comparing Symbolic and Explicit Model Checking of a Software SystemCindy Eisner, Doron Peled. spin 2002: 230-239 [doi]

Using symbolic CTL model checking to verify the railway stations of Hoorn-Kersenboogerd and HeerhugowaardCindy Eisner. STTT, 4(1):107-124, 2002. [doi]

2001

2000

A methodology for formal design of hardware control with application to cache coherence protocolsCindy Eisner, Irit Shitsevalov, Russ Hoover, Wayne G. Nation, Kyle L. Nelson, Ken Valk. dac 2000: 724-729 [doi]

1999

Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and HeerhugowaardCindy Eisner. charme 1999: 97-109 [doi]

1997

Efficient Detection of Vacuity in ACTL FormulaasIlan Beer, Shoham Ben-David, Cindy Eisner, Yoav Rodeh. cav 1997: 279-290

RuleBase: Model Checking at IBMIlan Beer, Shoham Ben-David, Cindy Eisner, Daniel Geist, Leonid Gluhovsky, Tamir Heyman, Avner Landver, P. Paanah, Yoav Rodeh, G. Ronin, Yaron Wolfsthal. cav 1997: 480-483

1996

RuleBase: An Industry-Oriented Formal Verification ToolIlan Beer, Shoham Ben-David, Cindy Eisner, Avner Landver. dac 1996: 655-660 [doi]