Cindy Eisner

From MaRDI portal
Person:202473

Available identifiers

zbMath Open eisner.cindyMaRDI QIDQ202473

List of research outcomes





PublicationDate of PublicationType
Functional Specification of Hardware via Temporal Logic2018-07-20Paper
A topological characterization of weakness2015-03-10Paper
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations2014-07-17Paper
Computer Aided Verification2010-04-20Paper
Functional verification of power gated designs by compositional reasoning2009-11-23Paper
Functional Verification of Power Gated Designs by Compositional Reasoning2008-07-15Paper
https://portal.mardi4nfdi.de/entity/Q47384822004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44492252004-02-08Paper
Model checking at IBM2003-05-11Paper
https://portal.mardi4nfdi.de/entity/Q45511642002-09-04Paper
Efficient detection of vacuity in temporal model checking2002-04-09Paper
On the effective deployment of functional formal verification2002-02-10Paper

Research outcomes over time

This page was built for person: Cindy Eisner

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:202473&oldid=6607069"
Powered by MediaWiki