# Jamieson M. Cobleigh

According to our database

Collaborative distances:

^{1}, Jamieson M. Cobleigh authored at least 13 papers between 1999 and 2008.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2008

Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.

ACM Trans. Softw. Eng. Methodol., 2008

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.

Formal Methods in System Design, 2008

2006

Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2004

Flow analysis for verifying properties of concurrent software systems.

ACM Trans. Softw. Eng. Methodol., 2004

Assume-Guarantee Verification of Source Code with Design-Level Assumptions.

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Learning Assumptions for Compositional Verification.

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2002

FLAVERS: A finite state verification technique for software systems.

IBM Systems Journal, 2002

Containment units: a hierarchically composable architecture for adaptive systems.

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

2001

Evaluation of a 1H-13C NMR Spectral Library.

Journal of Chemical Information and Computer Sciences, 2001

The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification.

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Verifying properties of process definitions.

Proceedings of the International Symposium on Software Testing and Analysis, 2000

1999

Using partial order techniques to improve performance of data flow analysis based verification.

ACM SIGSOFT Software Engineering Notes, 1999

Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification.

Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1999