- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| j5 |      | 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 in System Design 32(3): 175-205 (2008) |
| j4 | | 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) |
| 2006 | ||
| c7 | | 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: 97-108 |
| 2004 | ||
| j3 | | 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): 359-430 (2004) |
| c6 | | Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh: Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ICSE 2004: 211-220 |
| 2003 | ||
| c5 | | Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Assumptions for Compositional Verification. TACAS 2003: 331-346 |
| 2002 | ||
| j2 | | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil: FLAVERS: A finite state verification technique for software systems. IBM Systems Journal 41(1): 140-165 (2002) |
| c4 | | Jamieson M. Cobleigh, Leon J. Osterweil, Alexander E. Wise, Barbara Staudt Lerner: Containment units: a hierarchically composable architecture for adaptive systems. SIGSOFT FSE 2002: 159-165 |
| 2001 | ||
| j1 | | S. K. Smith, Jamieson M. Cobleigh, V. Svetnik: Evaluation of a 1H-13C NMR Spectral Library. Journal of Chemical Information and Computer Sciences 41(6): 1463-1469 (2001) |
| c3 | | 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: 37-46 |
| 2000 | ||
| c2 | | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil: Verifying properties of process definitions. ISSTA 2000: 96-101 |
| 1999 | ||
| c1 | | Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh: Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. PASTE 1999: 57-65 |
Colors in the list of coauthors
Last update Tue May 21 02:50:03 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page