Jamieson M. Cobleigh

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

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2008

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

Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke

ACM Trans. Softw. Eng. Methodol., 2008

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

Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer

Formal Methods Syst. Des., 2008

2006

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

Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke

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

2004

Flow analysis for verifying properties of concurrent software systems.

Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich

ACM Trans. Softw. Eng. Methodol., 2004

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

Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh

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

2003

Learning Assumptions for Compositional Verification.

Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu

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

2002

FLAVERS: A finite state verification technique for software systems.

Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil

IBM Syst. J., 2002

Containment units: a hierarchically composable architecture for adaptive systems.

Jamieson M. Cobleigh, Leon J. Osterweil, Alexander E. Wise, Barbara Staudt Lerner

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

2001

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

S. K. Smith, Jamieson M. Cobleigh, V. Svetnik

J. Chem. Inf. Comput. Sci., 2001

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

Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil

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

2000

Verifying properties of process definitions.

Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil

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.

Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh

ACM SIGSOFT Softw. Eng. Notes, 1999