Gleb Naumovich's publications on Finite State Verification

Extending FLAVERS to Check Properties on Infinite Executions of Concurrent Software Systems. Gleb Naumovich and Lori A. Clarke. In Proceedings of the Monterey Workshop, June 2001.	Abstract BibTeX entry PostScript PDF
Classifying Properties: An Alternative to the Safety-Liveness Classification. Gleb Naumovich and Lori A. Clarke. Proceedings of the Eighth International Symposium on the Foundations of Software Engineering, pp. 159 -- 168, November 2000.	Abstract BibTeX entry PostScript PDF
Toward Synergy of Finite State Verification and Testing. Gleb Naumovich and Phyllis G. Frankl. Proceedings of the First International Workshop on Automated Program Analysis, Testing and Verification, pp. 89 -- 94, June 2000.	Abstract BibTeX entry PostScript PDF
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. Gleb Naumovich, Lori A. Clarke, and Jamieson M. Cobleigh. Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, Software Engineering Notes, Vol. 24.5, pp. 57 -- 65, September 1999.	Abstract BibTeX entry PostScript PDF
Data Flow Analysis for Checking Properties of Concurrent Java Programs. Gleb Naumovich, George S. Avrunin, and Lori A. Clarke. Proceedings of the 21st International Conference on Software Engineering, pp. 399 -- 410, May 1999.	Abstract BibTeX entry PostScript PDF
Applying Static Analysis to Software Architectures. Gleb Naumovich, George S. Avrunin, Lori A. Clarke and Leon J. Osterweil. Proceedings of Sixth European Software Engineering Conference and Fifth ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 77 -- 93, September 1997.	Abstract BibTeX entry PostScript PDF
Verification of Communication Protocols Using Data Flow Analysis. Gleb Naumovich, Lori A. Clarke, and Leon J. Osterweil. Proceedings of the 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 93 -- 105, October 1996.	Abstract BibTeX entry PostScript PDF