The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jamieson M. Cobleigh: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:37-46 [Conf]
  2. Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh
    Assume-Guarantee Verification of Source Code with Design-Level Assumptions. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:211-220 [Conf]
  3. Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke
    Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:97-108 [Conf]
  4. Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
    Verifying properties of process definitions. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2000, pp:96-101 [Conf]
  5. Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh
    Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification. [Citation Graph (0, 0)][DBLP]
    PASTE, 1999, pp:57-65 [Conf]
  6. Jamieson M. Cobleigh, Leon J. Osterweil, Alexander E. Wise, Barbara Staudt Lerner
    Containment units: a hierarchically composable architecture for adaptive systems. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:159-165 [Conf]
  7. Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu
    Learning Assumptions for Compositional Verification. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:331-346 [Conf]
  8. Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
    FLAVERS: A finite state verification technique for software systems. [Citation Graph (0, 0)][DBLP]
    IBM Systems Journal, 2002, v:41, n:1, pp:140-0 [Journal]
  9. S. K. Smith, Jamieson M. Cobleigh, V. Svetnik
    Evaluation of a 1H-13C NMR Spectral Library. [Citation Graph (0, 0)][DBLP]
    Journal of Chemical Information and Computer Sciences, 2001, v:41, n:6, pp:1463-1469 [Journal]
  10. Matthew B. Dwyer, Lori A. Clarke, Jamieson M. Cobleigh, Gleb Naumovich
    Flow analysis for verifying properties of concurrent software systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2004, v:13, n:4, pp:359-430 [Journal]

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002