Home > LASER Publications > Static Analysis > Gleb Naumovich
All Publications

Static Analysis »
FLAVERS
PROPEL
Finite-State Verification
Property Specification
Fault-Tree Analysis
Failure Mode and Effect Analysis
MPI Verification
INCA
Experimentation

Process Programming and Workflow [...]

Software Development [...]

Case Studies [...]

Electronic Enterprise Institute

Jump To:
2016
2014
2013
2012
2010
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1985

LASER Publications

Static Analysis

by Gleb Naumovich

 2004

Flow Analysis for Verifying Properties of Concurrent Software Systems
Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich, ACM Transactions on Software Engineering and Methodology (TOSEM), Vol. 13, No. 4, pp. 359-430, October 2004. (UM-CS-2004-006)

This is an updated version of UM-CS-1999-052 and UM-CS-2003-030.

[ ACM ] [ PDF ] [ Appendices B and C ]

 2003

Flow Analysis for Verifying Properties of Concurrent Software Systems
Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, October 2003. (UM-CS-2003-030)

See UM-CS-2004-006 for an updated version

 2001

Extending FLAVERS to Check Properties on Infinite Executions of Concurrent Software Systems
Gleb Naumovich, Lori A. Clarke, Monterey Workshop 2001 on Engineering Automation for Software Intensive System Integration, Monterey, CA, pp. 267-276, June 2001. (UM-CS-2000-010)

[ PostScript ] [ PDF ]

 2000

Classifying Properties: An Alternative to the Safety-Liveness Classification
Gleb Naumovich, Lori A. Clarke, 8th ACM Sigsoft Symposium on the Foundations of Software Engineering (FSE 8), San Diego, CA, pp. 159-168, March 2000. (UM-CS-2000-012)

[ PostScript ] [ PDF ] [ ACM ]

 1999

An Efficient Algorithm for Computing MHP Information for Concurrent Java Programs
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, 7th European Software Engineering Conference (ESEC 1999) and the 7th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 7), Toulouse, France, Springer Verlag Lecture Notes in Computer Science #1687, pp. 338-354, September. (UM-CS-1998-044)

[ PostScript ] [ PDF ] [ ACM ]

Data Flow Analysis for Checking Properties of Concurrent Java Programs
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, 21st International Conference on Software Engineering (ICSE 1999), Los Angeles, CA, pp. 399-410, May 1999. (UM-CS-1998-022)

[ PostScript ] [ PDF ]

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification
Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh, ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 1999) ,Toulouse, France, pp. 57-65, September 1999. (UM-CS-1999-024)

[ PostScript ] [ PDF ]

 1998

Efficient Composite Data Flow Analysis Applied to Concurrent Programs
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, ACM SIGPLAN SIGSOFT Workshop on Program Analysis for Software Tools and Engineering (PASTE 1998), Montreal, Quebec, Canada, pp. 51-58, June 1998. (UM-CS-1998-082)

Replaces UM-CS-1997-043.

[ PostScript ] [ PDF ]

A Conservative Data Flow Algorithm for Detecting all Pairs of Statements that may Happen in Parallel
Gleb Naumovich, George S. Avrunin, 6TH ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 6), Lake Buena Vista, FL, pp. 24-34, November 1998. (UM-CS-1998-023)

[ PostScript ] [ PDF ]

 1997

Gaining Confidence in Distributed Systems
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, Matthew B. Dwyer, 10th International Software Quality Week (QW 97), Vol II, Session 10, San Francisco, CA, May 1997. (UM-CS-1997-042)

[ PostScript ] [ PDF ]

Applying Static Analysis to Software Architectures
Gleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, 5th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 5) and the 6th European Software Engineering Conference (ESEC 1997), Zurich, Switzerland, Springer Verlag Lecture Notes In Computer Science #1301, pp. 77-93, Sept. 1997. (UM-CS-1997-008)

[ PostScript ] [ PDF ]

 1996

Verification of Communication Protocols Using Data Flow Analysis
Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil, 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 4), San Francisco, CA, pp. 93-105, October 1996. (UM-CS-1996-027)

[ PostScript ] [ PDF ]

Notice: We present this material to ensure timely and wide dissemination of our work. All persons copying this material must adhere to the terms of the relevant copyrights
 

This site is maintained by the Laboratory for Advanced Software Engineering Research.
© 2011 University of Massachusetts AmherstSite Policies