Jamieson M. Cobleigh

According to our database1, 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


  Loading...