Jamieson M. Cobleigh

2008
12	EE	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)
11	EE	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)
2006
10	EE	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
9	EE	Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh: Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ICSE 2004: 211-220
8	EE	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)
2003
7	EE	Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Assumptions for Compositional Verification. TACAS 2003: 331-346
2002
6	EE	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
5	EE	Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil: FLAVERS: A finite state verification technique for software systems. IBM Systems Journal 41(1): 140- (2002)
2001
4		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
3	EE	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)
2000
2	EE	Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil: Verifying properties of process definitions. ISSTA 2000: 96-101
1999
1	EE	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

Coauthor Index

1	George S. Avrunin	[10] [12]
2	Howard Barringer	[11]
3	Mihaela Gheorghiu Bobaru (Mihaela Gheorghiu)	[11]
4	Lori A. Clarke	[1] [2] [4] [5] [8] [10] [12]
5	Matthew B. Dwyer	[8]
6	Dimitra Giannakopoulou	[7] [9] [11]
7	Barbara Staudt Lerner	[6]
8	Gleb Naumovich	[1] [8]
9	Leon J. Osterweil	[2] [4] [5] [6]
10	Corina S. Pasareanu	[7] [9] [11]
11	S. K. Smith	[3]
12	V. Svetnik	[3]
13	Alexander E. Wise	[6]

Colors in the list of coauthors