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)

Verifying properties of process definitions. - Jamieson M. Cobleigh; Lori A. Clarke; Leon J. Osterweil (ISSTA, 2000)

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 (ICSE, 2001)

Evaluation of a 1H-13C NMR Spectral Library. - S. K. Smith; Jamieson M. Cobleigh; V. Svetnik (J. Chem. Inf. Comput. Sci., 2001)

Containment units: a hierarchically composable architecture for adaptive systems. - Jamieson M. Cobleigh; Leon J. Osterweil; Alexander E. Wise; Barbara Staudt Lerner (SIGSOFT FSE, 2002)

FLAVERS: A finite state verification technique for software systems. - Jamieson M. Cobleigh; Lori A. Clarke; Leon J. Osterweil (IBM Syst. J., 2002)

Learning Assumptions for Compositional Verification. - Jamieson M. Cobleigh; Dimitra Giannakopoulou; Corina S. Pasareanu (TACAS, 2003)

Assume-Guarantee Verification of Source Code with Design-Level Assumptions. - Dimitra Giannakopoulou; Corina S. Pasareanu; Jamieson M. Cobleigh (ICSE, 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)

Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. - Jamieson M. Cobleigh; George S. Avrunin; Lori A. Clarke (ISSTA, 2006)

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)

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)