Jamieson M. Cobleigh

Publication Activity (10 Years)

Years Active: 1999-2008
Publications (10 Years): 0

Publications

Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. ACM Trans. Softw. Eng. Methodol. 17 (2) (2008)
Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Formal Methods Syst. Des. 32 (3) (2008)
Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. ISSTA (2006)
Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh
Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ICSE (2004)
Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich
Flow analysis for verifying properties of concurrent software systems. ACM Trans. Softw. Eng. Methodol. 13 (4) (2004)
Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu
Learning Assumptions for Compositional Verification. TACAS (2003)
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
FLAVERS: A finite state verification technique for software systems. IBM Syst. J. 41 (1) (2002)
Jamieson M. Cobleigh, Leon J. Osterweil, Alexander E. Wise, Barbara Staudt Lerner
Containment units: a hierarchically composable architecture for adaptive systems. SIGSOFT FSE (2002)
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification. ICSE (2001)
S. K. Smith, Jamieson M. Cobleigh, V. Svetnik
Evaluation of a 1H-13C NMR Spectral Library. J. Chem. Inf. Comput. Sci. 41 (6) (2001)
Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
Verifying properties of process definitions. ISSTA (2000)
Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh
Using partial order techniques to improve performance of data flow analysis based verification. ACM SIGSOFT Softw. Eng. Notes 24 (5) (1999)
Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. PASTE (1999)