Incremental Benchmarks for Software Verification Tools and Techniques. - Bruce W. Weide; Murali Sitaraman; Heather K. Harton; Bruce M. Adcock; Paolo Bucci; Derek Bronish; Wayne D. Heym; Jason Kirschenbaum; David Frazier (VSTTE, 2008)

Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping? - Jason Kirschenbaum; Bruce M. Adcock; Derek Bronish; Hampton Smith; Heather K. Harton; Murali Sitaraman; Bruce W. Weide (ICSR, 2009)

Traditional assignment considered harmful. - Scott M. Pike; Wayne D. Heym; Bruce M. Adcock; Derek Bronish; Jason Kirschenbaum; Bruce W. Weide (OOPSLA Companion, 2009)

A benchmark- and competition-based approach to software engineering research. - Derek Bronish; Jason Kirschenbaum; Aditi Tagore (FoSER, 2010)

The 1st Verified Software Competition: Experience Report. - Vladimir Klebanov; Peter Müller 001; Natarajan Shankar; Gary T. Leavens; Valentin Wüstholz; Eyad Alkassar; Rob Arthan; Derek Bronish; Rod Chapman; Ernie Cohen; Mark A. Hillebrand; Bart Jacobs 002; et al. (FM, 2011)

Robust, generic, modularly-verified map: a software verification challenge problem. - Derek Bronish; Hampton Smith (PLPV, 2011)

Formalizing Reusable Aspect-Oriented Concurrency Control. - Neelam Soundarajan; Derek Bronish; Raffi Khatchadourian (SEKE, 2011)

Building a push-button RESOLVE verifier: Progress and challenges. - 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; et al. (Formal Aspects Comput., 2011)