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)

Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability. - Paolo Bucci; Jason Kirschenbaum; L. Anthony Mangan; Tunc Aldemir; Curtis L. Smith; Ted Wood (Reliab. Eng. Syst. Saf., 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)

Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies. - Tunc Aldemir; Sergio B. Guarro; Diego Mandelli; Jason Kirschenbaum; L. Anthony Mangan; Paolo Bucci; Michael K. Yau; Eylem Ekici; D. W. Miller; Xiaodong Sun 002; S. A. Arndt (Reliab. Eng. Syst. Saf., 2010)

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)

Syrus: providing practice problems in discrete mathematics with instant feedback. - Diego Zaccai; Aditi Tagore; Dustin Hoffman; Jason Kirschenbaum; Zakariya Bainazarov; Harvey M. Friedman; Dennis K. Pearl; Bruce W. Weide (SIGCSE, 2014)