Jamieson M. Cobleigh

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