Cindy Eisner - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 29 from 29

2018

Accurate Malware Detection by Extreme AbstractionFady Copty, Matan Danos, Orit Edelstein, Cindy Eisner, Dov Murik, Benjamin Zeltser. acsac 2018: 101-111 [doi]

2017

Atom-partitioned multipole expansions for electrostatic potential boundary conditionsM. Lee, Kenneth W. Leiter, Cindy Eisner, Jaroslaw Knap. jcphy, 328:344-353, 2017. [doi]

2014

Safety and Liveness, Weakness and Strength, and the Underlying Topological RelationsCindy Eisner, Dana Fisman, John Havlicek. tocl, 15(2):13, 2014. [doi]

2013

Relative Equivalence in the Presence of AmbiguityOshri Adler, Cindy Eisner, Tatyana Veksler. cav 2013: 430-446 [doi]

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]

A Practical Introduction to PSLCindy Eisner, Dana Fisman. Series on Integrated Circuits and Systems, Springer, 2006. [doi]

2005

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

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

2003

2002

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

Comparing Symbolic and Explicit Model Checking of a Software SystemCindy Eisner, Doron Peled. spin 2002: 230-239 [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

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

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

1996

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

Sign in or sign up to see more results.

runs on WebDSL