Publications
Online copies of recent publications are made available as a means
to ensure timely dissemination of scholarly and technical
work. Copyright and all rights therein are maintained by the authors
or by other copyright holders. All persons copying this information
are expected to adhere to the terms and constraints invoked by each
copyright holder. In most cases, these works may not be reposted
without the explicit permission of the copyright holder.
Breaking Up is Hard to Do: An Investigation of
Decomposition for Assume-Guarantee Reasoning.
Jamieson M. Cobleigh, George S. Avrunin, and
Lori A. Clarke. In Proceedings of the International
Symposium on Software Testing and Analysis (ISSTA),
Portland, ME, July 2006.
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, 13(4):359-430, October 2004.
Assume-guarantee Verification of Source Code with
Design-Level Assumptions. Dimitra Giannakopoulou,
Corina S. Păsăreanu, and
Jamieson M. Cobleigh. In Proceedings of
the 26th International Conference on Software
Engineering (ICSE), Edinburgh, Scotland, May 2004,
pages 211-220.
Learning Assumptions for Compositional Verification.
Jamieson M. Cobleigh, Dimitra Giannakopoulou and
Corina S. Păsăreanu. In Proceedings of
the Ninth International Conference on Tools and Algorithms for
the Construction and Analysis of Systems (TACAS), Warsaw,
Poland, April 2003, pages 331-346.
FLAVERS: A Finite State Verification Technique for Software
Systems. Jamieson M. Cobleigh, Lori A. Clarke,
Leon J. Osterweil. IBM Systems Journal,
41(1):140-165, 2002.
Using Little-JIL to Define Containment Units. Barbara
Staudt Lerner, Jamieson M. Cobleigh,
Leon J. Osterweil, and Alexander Wise. Technical Report
UM-CS-2002-033, University of Massachusetts, Department of
Computer Science, July 2002.
Containment Units: A Hierarchically Composable Architecture
for Adaptive Systems. Jamieson M. Cobleigh,
Leon J. Osterweil, Alexander Wise, Barbara Staudt
Lerner. In Proceedings of the Tenth International Symposium
on the Foundations of Software Engineering (FSE),
Charleston, South Carolina, November 2002, pages 159-165.
Architecting Dynamic Systems Using Containment Units.
Leon J. Osterweil, Alexander Wise, Jamieson M.
Cobleigh, Lori A. Clarke, Barbara Staudt Lerner. In
Proceedings of the Working Conference on Complex and
Dynamic Systems Architecture, Brisbane, Australia,
December 2001.
Evaluation of a 1H-13C NMR Spectral
Library. S. K. Smith, J. Cobleigh,
V. Svetnik. Journal of Chemical Information and
Computer Sciences, 41(6):1463-1469, November 2001.
The Right Algorithm at the Right Time: Comparing Data Flow
Analyis Algorithms for Finite State Verification.
Jamieson M. Cobleigh, Lori A. Clarke, Leon J.
Osterweil. In Proceedings of the 23rd International
Conference on Software Engineering (ICSE), Toronta, Canada,
May 2001, pages 37-46.
Verifying Properties of Process Definitions.
Jamieson M. Cobleigh, Lori A. Clarke, Leon J.
Osterweil. In Proceedings of the International Symposium on
Software Testing and Analysis (ISSTA), Portland, OR,
August 2000, pages 96-101.
Using Partial Order Techniques to Improve Performance of
Data Flow Analysis Based Verification. Gleb Naumovich,
Lori A. Clarke, Jamieson M. Cobleigh. In Proceedings
of the Workshop on Program Analysis for Software Tools and
Engineering (PASTE), Toulouse, France, September 1999,
pages 57-65.
Last modified: October 26, 2005