Part III: implementing components in RESOLVE. - Paolo Bucci; Joseph E. Hollingsworth; Joan Krone; Bruce W. Weide (ACM SIGSOFT Softw. Eng. Notes, 1994)

Providing intellectual focus to CS1/CS2. - Timothy J. Long; Bruce W. Weide; Paolo Bucci; David S. Gibson; Joseph E. Hollingsworth; Murali Sitaraman; Stephen H. Edwards (SIGCSE, 1998)

Teaching software architecture principles in CS1/CS2. - Paolo Bucci; Timothy J. Long; Bruce W. Weide (ISAW@FSE, 1998)

Client view first: an exodus from implementation-biased teaching. - Timothy J. Long; Bruce W. Weide; Paolo Bucci; Murali Sitaraman (SIGCSE, 1999)

Reasoning about Software-Component Behavior. - Murali Sitaraman; Steven Atkinson; Gregory Kulczycki; Bruce W. Weide; Timothy J. Long; Paolo Bucci; Wayne D. Heym; Scott M. Pike; Joseph E. Hollingsworth (ICSR, 2000)

Do we really teach abstraction? - Paolo Bucci; Timothy J. Long; Bruce W. Weide (SIGCSE, 2001)

Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies. - Nigamanth Sridhar; Bruce W. Weide; Paolo Bucci (ICSR, 2002)

Algorithms and object-oriented programming: bridging the gap. - Paolo Bucci; Wayne D. Heym; Timothy J. Long; Bruce W. Weide (SIGCSE, 2002)

Issues in performance certification for high-level automotive control software. - Bruce W. Weide; Paolo Bucci; Wayne D. Heym; Murali Sitaraman; Giorgio Rizzoni (ACM SIGSOFT Softw. Eng. Notes, 2005)

Which pointer errors do students make? - Bruce M. Adcock; Paolo Bucci; Wayne D. Heym; Joseph E. Hollingsworth; Timothy J. Long; Bruce W. Weide (SIGCSE, 2007)

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)

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)

A Language for Building Verified Software Components. - Gregory Kulczycki; Murali Sitaraman; Joan Krone; Joseph E. Hollingsworth; William F. Ogden; Bruce W. Weide; Paolo Bucci; Charles T. Cook; Svetlana Drachova-Strang; Blair Durkee; Heather K. Harton; Wayne D. Heym; et al. (ICSR, 2013)

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. - Wayne D. Heym; Paolo A. G. Sivilotti; Paolo Bucci; Murali Sitaraman; Kevin Plis; Joseph E. Hollingsworth; Joan Krone; Nigamanth Sridhar (CSEE&T, 2017)