Jamieson M. Cobleigh
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2000–2006
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ISSTA | Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. | Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke |
| 2004 | ICSE | Assume-Guarantee Verification of Source Code with Design-Level Assumptions. | Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh |
| 2003 | TACAS | Learning Assumptions for Compositional Verification. | Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2001 | ICSE | The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification. | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil |
| 2000 | ISSTA | Verifying properties of process definitions. | Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil |