|
Search the dblp DataBase
Jamieson M. Cobleigh:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
- Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu
Learning Assumptions for Compositional Verification. [Citation Graph (0, 0)][DBLP] TACAS, 2003, pp:331-346 [Conf]
- 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]
- 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]
- 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.001secs, Finished in 0.002secs
|