IBM Research

Cindy Eisner: Publications

Refereed Publications

A Topological Characterization of Weakness
C. Eisner, D. Fisman, J. Havlicek
In Proc. 24th Annual ACM Symposium on Principles of Distributed Computing (PODC), pp. 1-8, July 2005.
Formal Verification of Software Source Code Through Semi-Automatic Modeling
C. Eisner
Software and Systems Modeling (SOSYM). Volume 4, Number 1, February 2005.
Basic Results on the Semantics of Accellera PSL 1.1 Foundation Language
J Havlicek, D. Fisman and C. Eisner
Accellera Technical Report 2004.02, May 2004.
Reasoning with Temporal Logic on Truncated Paths
C. Eisner, D. Fisman, J. Havlicek, Y. Lustig, A. McIsaac and D. Van Campenhout
In Proc. 15th International Conference on Computer-Aided Verification (CAV), LNCS 2725, pp.27-39, July 2003.
The Definition of a Temporal Clock Operator
C. Eisner, D. Fisman, J. Havlicek, A. McIsaac and D. Van Campenhout
In Proc. 30th International Colloquium on Automata, Languages and Programming (ICALP), LNCS 2719, Springer, 2003.
Using Symbolic CTL Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard
C. Eisner
International Journal on Software Tools for Technology Transfer (STTT), Volume 4, Number 1, Springer, 2002.
Model checking the garbage collection mechanism of SMV
C. Eisner
In Electronic Notes in Theoretical Computer Science, Volume 55, Number 3, Elsevier Science Publishers, 2001.
The Temporal Logic Sugar
I. Beer, S. Ben-David, C. Eisner, D. Fisman, A. Gringauze and Y. Rodeh
In Proc. 13th International Conference on Computer Aided Verification (CAV), LNCS 2101, Springer, 2001.
Efficient Detection of Vacuity in Temporal Model Checking
I. Beer, S. Ben-David, C. Eisner, and Y. Rodeh
Formal Methods in System Design, Volume 18, Number 2, Kluwer Academic Publishers, 2001.
A Methodology for Formal Design of Hardware Control with Application to Cache Coherence Protocols
C. Eisner, R. Hoover, W. Nation, K. Nelson, I. Shitsevalov, and K. Valk
In Proc. 37th Design Automation Conference (DAC), Association for Computing Machinery, Inc., June 2000.
Using Symbolic Model Checking to Verify the Railway Stations of Hoorn-Kersenboogerd and Heerhugowaard
C. Eisner
In Proc. 10th IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME), LNCS 1703, Springer, 1999.
Efficient Detection of Vacuity in ACTL Formulas
I. Beer, S. Ben-David, C. Eisner, and Y. Rodeh
In Proc. 9th International Conference on Computer Aided Verification (CAV), LNCS 1254, Springer, 1997.
RuleBase: Model Checking at IBM
I. Beer, S. Ben-David, C. Eisner, D. Geist, L. Gluhovsky, T. Heyman, A. Landver, P. Paanah, Y. Rodeh, G. Ronin, and Y. Wolfsthal
In Proc. 9th International Conference on Computer Aided Verification (CAV), LNCS 1254, Springer, 1997.
RuleBase: an Industry Oriented Formal Verification Tool
I. Beer, S. Ben-David, C. Eisner, and A. Landver
In Proc. 33rd Design Automation Conference (DAC), Association for Computing Machinery, Inc., June 1996.

Invited Papers

Model Checking at IBM
S. Ben-David, C. Eisner, D. Geist and Y. Wolfsthal
Formal Methods in System Design, Volume 22, Number 2, Kluwer Academic Publishers, 2003.
Comparing Symbolic and Explicit Model Checking of a Software System
C. Eisner and D. Peled
In Proc. 9th International SPIN Workshop on Model Checking of Software (SPIN), LNCS 2318, Springer, 2002.
Sugar 2.0
C. Eisner and D. Fisman
Proposal Presented to the Accellera Formal Verification Technical Committee, March 2002.
On the Effective Deployment of Functional Formal Verification
Y. Abarbanel-Vinov, N. Aizenbud-Reshef, I. Beer, C. Eisner, D. Geist, T. Heyman, I. Reuveni, E. Rippel, I. Shitsevalov, Y. Wolfsthal and T. Yatzkar-Haham
Formal Methods in System Design, Volume 19, Number 1, Kluwer Academic Publishers, 2001.

Cindy Eisner, Publications, eisner@il.ibm.com
Last modified: August 2005.

Privacy Legal Contact IBM IBM Research Research Sites Page Contact