Jamieson M. Cobleigh
According to our database1, Jamieson M. Cobleigh authored at least 12 papers between 1999 and 2008.
Legend:Book In proceedings Article PhD thesis Other
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
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
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
Learning Assumptions for Compositional Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
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
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
Verifying properties of process definitions.
Proceedings of the International Symposium on Software Testing and Analysis, 2000
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