Jamieson M. Cobleigh

Laboratory for Advanced Software Engineering Research
Department of Computer Science
University of Massachusetts
Amherst, MA 01003-9264

jcobleig

cs.umass.edu

Vita

Research

My research interests are in the areas of finite-state verification, data-flow analysis, and compositional verification. For my thesis, I am performing an empirical study of an automated assume-guarantee reasoning technique to determine its effectiveness.

Selected publications

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.
- Abstract
- PDF
- Appendices B and C
- ACM
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.
- Abstract
- PDF
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 23^rd International Conference on Software Engineering (ICSE), Toronta, Canada, May 2001, pages 37-46.
- Abstract
- PDF
Here is the full list of my publications

Other Interests

Last modified: November 2, 2005