Home > LASER Publications > Static Analysis > Finite-State Verification > 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:
2014
2013
2012
2010
2008
2006
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1990

LASER Publications

Finite-State Verification

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 ]

 1999

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

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