Jamieson M. Cobleigh

Affiliations:
  • University of Massachusetts Amherst, USA


According to our database1, Jamieson M. Cobleigh authored at least 12 papers between 1999 and 2008.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

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 Syst. Des., 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 Syst. J., 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.
J. Chem. Inf. Comput. Sci., 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 Softw. Eng. Notes, 1999


  Loading...