☰

Jamieson M. Cobleigh, Ph.D. - Publications

Affiliations: 
2007 University of Massachusetts, Amherst, Amherst, MA 
Area:
Computer Science
Tree Info Similar researchers PubMed Report error

7 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2008 Cobleigh JM, Avrunin GS, Clarke LA. Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning Acm Transactions On Software Engineering and Methodology. 17. DOI: 10.1145/1348250.1348253  0.633
2006 Cobleigh JM, Avrunin GS, Clarke LA. Breaking up is hard to do: An investigation of decomposition for assume-guarantee reasoning Proceedings of the 2006 International Symposium On Software Testing and Analysis, Issta 2006. 2006: 97-107. DOI: 10.1145/1146238.1146250  0.628
2004 Dwyer MB, Clarke LA, Cobleigh JM, Naumovich G. Flow analysis for verifying properties of concurrent software systems Acm Transactions On Software Engineering and Methodology. 13: 359-430. DOI: 10.1145/1040291.1040292  0.624
2003 Cobleigh JM, Giannakopoulou D, Pǎsǎreanu CS. Learning assumptions for compositional verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2619: 331-346.  0.393
2002 Cobleigh JM, Clarke LA, Osterweil LJ. FLAVERS: A finite state verification technique for software systems Ibm Systems Journal. 41: 140-165. DOI: 10.1147/Sj.411.0140  0.604
2001 Cobleigh JM, Clarke LA, Osterweil LJ. The right algorithm at the right time: Comparing data flow analysis algorithms for finite state verification Proceedings - International Conference On Software Engineering. 37-46.  0.567
2000 Cobleigh JM, Clarke LA, Osterweil LJ. Verifying properties of process definitions Proceedings of the Acm Sigsoft 2000 International Symposium On Software Testing and Analysis. 96-101.  0.564
Show low-probability matches.