Jamieson M. Cobleigh, Ph.D.
Affiliations: | 2007 | University of Massachusetts, Amherst, Amherst, MA |
Area:
Computer ScienceGoogle:
"Jamieson Cobleigh"Parents
Sign in to add mentor| Lori A. Clarke | grad student | 2007 | U Mass Amherst | |
| (Automating and evaluating assume -guarantee reasoning.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Cobleigh JM, Avrunin GS, Clarke LA. (2008) Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning Acm Transactions On Software Engineering and Methodology. 17 |
| Cobleigh JM, Avrunin GS, Clarke LA. (2006) 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 |
| Dwyer MB, Clarke LA, Cobleigh JM, et al. (2004) Flow analysis for verifying properties of concurrent software systems Acm Transactions On Software Engineering and Methodology. 13: 359-430 |
| Cobleigh JM, Giannakopoulou D, Pǎsǎreanu CS. (2003) 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 |
| Cobleigh JM, Clarke LA, Osterweil LJ. (2002) FLAVERS: A finite state verification technique for software systems Ibm Systems Journal. 41: 140-165 |
| Cobleigh JM, Clarke LA, Osterweil LJ. (2001) The right algorithm at the right time: Comparing data flow analysis algorithms for finite state verification Proceedings - International Conference On Software Engineering. 37-46 |
| Cobleigh JM, Clarke LA, Osterweil LJ. (2000) Verifying properties of process definitions Proceedings of the Acm Sigsoft 2000 International Symposium On Software Testing and Analysis. 96-101 |