Home > LASER Publications > Jamieson M. Cobleigh
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
Little-JIL
Process Interpretation
Resource Management
Process Simulation
Process Analysis
Evaluation
Rework

Software Development
Component-Based Software Engineering
Arcadia
Software Development Environments
Refactoring

Case Studies
Medical Safety
Elections
Scientific Workflow
Online Dispute Resolution
Digital Government
Software Development

Electronic Enterprise Institute

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

LASER Publications

by Jamieson M. Cobleigh

 2008

Breaking Up is Hard to Do: An Evaluation of Automated Assume-Guarantee Reasoning
Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke, ACM Transactions on Sofware Engineering and Methodology. Vol. 17, Issue 2, April 2008. (UM-CS-2007-27)

This is an updated version of TR UM-CS-2007-07, which was originally dated August 2007. This report is a revised and extended version of UM-CS-2004-022, which appeared in ISSTA 2006.

[ ACM ] [ PDF ] [ Online-only Appendix ] [ Experimental Subjects ]

 2007

Automating and Evaluating Assume-Guarantee Reasoning
Jamieson M. Cobleigh, Doctoral Thesis, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, February 2007. (THESIS-JCoblei)

[ PDF ]

 2006

Breaking Up is Hard to Do: An Investigation of Decomposition for Assume-Guarantee Reasoning
Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke, ACM SIGSOFT 2006 International Symposium on Software Testing and Analysis (ISSTA '06) Portland, ME, pp. 97-108, July 2006. (UM-CS-2004-022)

This is an updated version originally dated May 2004. Please see "Breaking Up is Hard to Do: An Evaluation of Automated Assume-Guarantee Reasoning" UM-CS-2007-27 for a revised and extended version of this report.

[ ACM ] [ PDF ] [ PDF with Appendix B ] [ Slides ]

 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

 2002

Containment Units: A Hierarchically Composable Architecture for Adaptive Systems
Jamieson M. Cobleigh, Leon J. Osterweil, Alexander Wise, Barbara Staudt Lerner, 10th International Symposium on the Foundations of Software Engineering (FSE 10), Charleston, SC, pp. 159-165, November 2002. (UM-CS-2001-045)

[ PostScript ] [ PDF ]

Using Little-JIL to Define Containment Units
Barbara Staudt Lerner, Jamieson M. Cobleigh, Leon J. Osterweil, Alexander Wise, Department of Computer Science, University of Massachusetts, Amherst, MA 01003, July 2002. (UM-CS-2002-033)

[ PostScript ] [ PDF ]

FLAVERS: a Finite State Verification Technique for Software Systems
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, IBM Systems Journal (Issue on Software Testing and Verification), 41(1), pp. 140-165, 2002. (UM-CS-2001-017)

[ IBM Systems Journal ] [ PostScript ] [ PDF ]

 2001

Architecting Dynamic Systems Using Containment Units
Leon J. Osterweil, Alexander Wise, Jamieson M. Cobleigh, Lori A. Clarke, Barbara Staudt Lerner, Working Conference on Complex and Dynamic Systems Architecture, Brisbane, Australia, Day 3, Session 1, December 2001. (UM-CS-2002-029)

[ PostScript ]

The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, 23rd International Conference on Software Engineering (ICSE 2001), Toronto, Canada, pp. 37-46, May 2001. (UM-CS-2000-046)

[ PostScript ] [ PDF ] [ IEEE ]

 2000

Verifying Properties of Process Definitions
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil, ACM Sigsoft 2000 International Symposium on Software Testing and Analysis (ISSTA 2000), Portland, OR, pp. 96-101, August 2000. (UM-CS-1999-063)

[ PostScript ] [ PDF ] [ ACM ]

 1999

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 ]

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