☰

Derek Bronish, Ph.D. - Publications

Affiliations: 
2012 Computer Science and Engineering Ohio State University, Columbus, Columbus, OH 
Area:
Computer Engineering
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
2011 Bronish D, Smith H. Robust, generic, modularly-verified map: A software verification challenge problem Plpv'11 - Proceedings of the 5th Acm Workshop On Programming Languages Meets Program Verification. 27-30. DOI: 10.1145/1929529.1929533  0.397
2011 Sitaraman M, Adcock B, Avigad J, Bronish D, Bucci P, Frazier D, Friedman HM, Harton H, Heym W, Kirschenbaum J, Krone J, Smith H, Weide BW. Building a push-button RESOLVE verifier: Progress and challenges Formal Aspects of Computing. 23: 607-626. DOI: 10.1007/S00165-010-0154-3  0.639
2011 Klebanov V, Müller P, Shankar N, Leavens GT, Wüstholz V, Alkassar E, Arthan R, Bronish D, Chapman R, Cohen E, Hillebrand M, Jacobs B, Leino KRM, Monahan R, Piessens F, et al. The 1st verified software competition: Experience report Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6664: 154-168. DOI: 10.1007/978-3-642-21437-0_14  0.328
2010 Bronish D, Kirschenbaum J, Tagore A. A benchmark- and competition-based approach to software engineering research Proceedings of the Fse/Sdp Workshop On the Future of Software Engineering Research, Foser 2010. 43-45. DOI: 10.1145/1882362.1882372  0.586
2009 Pike SM, Heym WD, Adcock B, Bronish D, Kirschenbaum J, Weide BW. Traditional assignment considered harmful Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 909-916. DOI: 10.1145/1639950.1640056  0.551
2009 Kirschenbaum J, Adcock B, Bronish D, Smith H, Harton H, Sitaraman M, Weide BW. Verifying component-based software: Deep mathematics or simple bookkeeping? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5791: 31-40. DOI: 10.1007/978-3-642-04211-9_4  0.626
2008 Weide BW, Sitaraman M, Harton HK, Adcock B, Bucci P, Bronish D, Heym WD, Kirschenbaum J, Frazier D. Incremental benchmarks for software verification tools and techniques Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5295: 84-98. DOI: 10.1007/978-3-540-87873-5-10  0.624
Show low-probability matches.