BibSonomy :: author  ::

bookmarks

publications

(14)

• Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.
  Corina S. Pasareanu and Dimitra Giannakopoulou and Mihaela Gheorghiu Bobaru and Jamieson M. Cobleigh and Howard Barringer Formal Methods in System Design 32 175-205 (2008)
  to dblp by dblp on 2008-05-28 00:00:00
  | URL | BibTeX  
• Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.
  Jamieson M. Cobleigh and George S. Avrunin and Lori A. Clarke ACM Trans. Softw. Eng. Methodol. 17 (2008)
  to dblp by dblp on 2008-05-05 00:00:00
  | URL | BibTeX  
• Process Programming to Support Medical Safety: A Case Study on Blood Transfusion.
  Lori A. Clarke and Yao Chen and George S. Avrunin and Bin Chen and Rachel L. Cobleigh and Kim Frederick and Elizabeth A. Henneman and Leon J. Osterweil ISPW 347-359 (2005)
  to dblp by dblp on 2007-01-26 00:00:00
  | URL | BibTeX  
• User guidance for creating precise and accessible property specifications.
  Rachel L. Cobleigh and George S. Avrunin and Lori A. Clarke SIGSOFT FSE 208-218 (2006)
  to dblp by dblp on 2007-01-26 00:00:00
  | URL | BibTeX  
• Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning.
  Jamieson M. Cobleigh and George S. Avrunin and Lori A. Clarke ISSTA 97-108 (2006)
  to dblp by dblp on 2006-12-06 00:00:00
  | URL | BibTeX  
• Containment units: a hierarchically composable architecture for adaptive systems.
  Jamieson M. Cobleigh and Leon J. Osterweil and Alexander E. Wise and Barbara Staudt Lerner SIGSOFT FSE 159-165 (2002)
  to dblp by dblp on 2006-02-15 00:00:00
  | URL | BibTeX  
• Flow analysis for verifying properties of concurrent software systems.
  Matthew B. Dwyer and Lori A. Clarke and Jamieson M. Cobleigh and Gleb Naumovich ACM Trans. Softw. Eng. Methodol. 13 359-430 (2004)
  to dblp by dblp on 2006-02-09 00:00:00
  | URL | BibTeX  
• Assume-Guarantee Verification of Source Code with Design-Level Assumptions.
  Dimitra Giannakopoulou and Corina S. Pasareanu and Jamieson M. Cobleigh ICSE 211-220 (2004)
  to dblp by dblp on 2004-06-21 00:00:00
  | URL | BibTeX  
• Evaluation of a 1H-13C NMR Spectral Library.
  S. K. Smith and Jamieson M. Cobleigh and V. Svetnik Journal of Chemical Information and Computer Sciences 41 1463-1469 (2001)
  to dblp by dblp on 2003-06-27 00:00:00
  | URL | BibTeX  
• Learning Assumptions for Compositional Verification.
  Jamieson M. Cobleigh and Dimitra Giannakopoulou and Corina S. Pasareanu TACAS 331-346 (2003)
  to dblp by dblp on 2003-03-04 00:00:00
  | URL | BibTeX