| Flow Analysis for Verifying Properties of Concurrent Software Systems. Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, and Gleb Naumovich. Accepted for publication in the ACM Transactions on Software Engineering and Methodology (TOSEM). |
Abstract
 PostScript  
|
| Static Analysis of Role-Based Access Control in J2EE Applications. Gleb Naumovich and Paolina Centonze. In Proceedings of the 2004 Workshop on Testing, Analysis and Verification of Web Services, July 2004. |
Abstract
BibTeX entry PostScript
|
| Obfuscation of Design Intent in Object-Oriented Applications. Mikhail Sosonkin, Gleb Naumovich, and Nasir Memon. In proceedings of the ACM Workshop on Digital Rights Management (DRM'03), October 2003. |
Abstract
BibTeX entry PostScript
|
| Preventing Piracy, Reverse Engineering, and Tampering. Gleb Naumovich and Nasir Memon. IEEE Computer, Vol 36, No. 7, pp. 64--71, July 2003 |
Abstract
BibTeX entry PostScript
|
| Using the Observer Design Pattern for Implementation of Data Flow Analyses. Gleb Naumovich. In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 2002), pp. 61 -- 68, November 2002. |
Abstract
BibTeX entry PostScript
|
| A Conservative Algorithm for Computing the Flow of Permissions in Java Programs. Gleb Naumovich. In Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2002), pp. 33--43, July 2002. |
Abstract
BibTeX entry PostScript
|
| 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
|
| 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 |
| 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 |
| 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 |
| An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs. Gleb Naumovich, George S. Avrunin, and Lori A. Clarke. Proceedings of the Seventh European Software Engineering Conference and Seventh ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 338 -- 354, September 1999. | Abstract
BibTeX entry PostScript |
| 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 |
| A Conservative Data Flow Algorithm for Detecting All Pairs of Statements that May Happen in Parallel. Gleb Naumovich and George S. Avrunin. Proceedings of the 6th International Symposium on the Foundations of Software Engineering, pp. 24 -- 34, November 1998. | Abstract BibTeX entry PostScript |
| Comparing Implementation Strategies for Composite Data Flow Analysis Problems. Gleb Naumovich, Lori A. Clarke, and Leon J. Osterweil. Proceedings of SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pp. 51 -- 58, June 1998. | Abstract BibTeX entry PostScript |
| 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 |
| 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 |
| Asymptotically Optimal Regulator for a Quasi-Linear System. R. Gabasov, A. I. Kalinin, F. M. Kirillova, and G. N. Naumovich. Doklady Akademii Nauk (Russian Academy of Science), vol. 332, no. 2, pp. 1121 -- 1129, September 1993. |