- 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:
- 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 Matthew B. Dwyer
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 ]
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
Comparing Finite-State Verification Techniques for Concurrent Software
George S. Avrunin,
James C. Corbett,
Matthew B. Dwyer,
Corina S. Pasareanu,
Stephen F. Siegel,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, November 1999. (UM-CS-1999-069)
[ PostScript ]
[ PDF ]
Flow Analysis for Verifying Specifications of Concurrent and Distributed Software
Matthew B. Dwyer,
Lori A. Clarke,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, August 1999. (UM-CS-1999-052)
See UM-CS-2004-006 for an updated version
[ PostScript ]
[ PDF ]
Benchmarking Finite-State Verifiers
George S. Avrunin,
James C. Corbett,
Matthew B. Dwyer,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, July 1999. (UM-CS-1999-048)
[ PostScript ]
[ PDF ]
Patterns in Property Specifications for Finite-State Verification
Matthew B. Dwyer,
George S. Avrunin,
James C. Corbett,
21st International Conference on Software Engineering (ICSE 1999), Los Angeles, CA, pp. 411-420, May 1999. (UM-CS-1998-035)
[ PostScript ]
[ PDF ]
[ ACM ]
Property Specification Patterns for Finite-State Verification
Matthew B. Dwyer,
George S. Avrunin,
James C. Corbett,
2nd Workshop on Formal Methods in Software Practice (FMSP 1998), Clearwater Beach, FL, pp. 7-15, March 1998. (UM-CS-1997-049)
[ PostScript ]
[ PDF ]
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 ]
A Compact Petri Net Representation and Its Implications for Analysis
Matthew B. Dwyer,
Lori A. Clarke,
IEEE Transactions on Software Engineering, 22 (11), pp. 794-811, November 1996. (UM-CS-1996-021)
[ PostScript ]
[ PDF ]
A Flexible Architecture for Building Data Flow Analyzers
Matthew B. Dwyer,
Lori A. Clarke,
18th International Conference on Software Engineering (ICSE 1996), Berlin, Germany, pp. 554-564, March 1996. (UM-CS-1995-079)
[ PostScript ]
[ PDF ]
Data Flow Analysis for Verifying Correctness Properties of Concurrent Programs
Matthew B. Dwyer,
Doctoral Thesis, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, September 1995. (THESIS-DWYER)
[ PostScript ]
[ PDF ]
Data Flow Analysis Frameworks for Concurrent Programs
Matthew B. Dwyer,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, July 1995. (UM-CS-1995-062)
[ PostScript ]
[ PDF ]
A Compact Petri Net Representation for Concurrent Programs
Matthew B. Dwyer,
Kari A. Nies,
Lori A. Clarke,
17th International Conference on Software Engineering (ICSE 1995), Seattle, WA, pp. 147-157, April 1995. (UM-CS-1994-046)
Replaced by UM-CS-1996-021.
[ PostScript ]
[ PDF ]
Data Flow Analysis for Verifying Properties of Concurrent Programs
Matthew B. Dwyer,
Lori A. Clarke,
2nd ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE 2), New Orleans, LA, pp. 62-75, December 1994. (UM-CS-1994-045)
[ 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