Derek Bronish

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide
Building a push-button RESOLVE verifier: Progress and challenges. Formal Aspects Comput. 23 (5) (2011)
Neelam Soundarajan, Derek Bronish, Raffi Khatchadourian
Formalizing Reusable Aspect-Oriented Concurrency Control. SEKE (2011)
Derek Bronish, Hampton Smith
Robust, generic, modularly-verified map: a software verification challenge problem. PLPV (2011)
Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß
The 1st Verified Software Competition: Experience Report. FM (2011)
Derek Bronish, Jason Kirschenbaum, Aditi Tagore
A benchmark- and competition-based approach to software engineering research. FoSER (2010)
Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide
Traditional assignment considered harmful. OOPSLA Companion (2009)
Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? ICSR (2009)
Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier
Incremental Benchmarks for Software Verification Tools and Techniques. VSTTE (2008)