Cindy Eisner

MaRDI QIDQ202473zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Functional specification of hardware via temporal logic Handbook of Model Checking	2018-07-20	Paper
A topological characterization of weakness Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing	2015-03-10	Paper
Safety and Liveness, Weakness and Strength, and the Underlying Topological Relations ACM Transactions on Computational Logic	2014-07-17	Paper
Reasoning with temporal logic on truncated paths. Lecture Notes in Computer Science	2010-04-20	Paper
Functional verification of power gated designs by compositional reasoning Formal Methods in System Design	2009-11-23	Paper
Functional Verification of Power Gated Designs by Compositional Reasoning Computer Aided Verification	2008-07-15	Paper
scientific article; zbMATH DE number 2087633 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2038760 (Why is no real title available?)	2004-02-08	Paper
Model checking at IBM Formal Methods in System Design	2003-05-11	Paper
scientific article; zbMATH DE number 1796144 (Why is no real title available?)	2002-09-04	Paper
Efficient detection of vacuity in temporal model checking Formal Methods in System Design	2002-04-09	Paper
On the effective deployment of functional formal verification Formal Methods in System Design	2002-02-10	Paper

Research outcomes over time

This page was built for person: Cindy Eisner