You are here

Bruce Weide

  • Faculty Emeritus, Computer Science & Engineering
  • 254 Dreese Laboratories
    2015 Neil Ave
    Columbus, OH 43210


  • January, 2009

    University System of Ohio Faculty Innovator Award.

Papers in Proceedings


  • Kirschenbaum, J., and Weide, B.W. "Restrictions: Help in Documenting Client Code Under a Verified Software Paradigm." in Proceedings FSE-18 International Workshop on Specification and Verification of Component-Based Software (SAVCBS 2010). (11 2010).
  • Bronish, D., and Weide, B.W. "A Review of Verification Benchmark Solutions Using Dafny." in Proceedings VSTTE 2010 Tools Workshop. (8 2010).


  • Kirschenbaum, J., Adcock, B., Bronish, B., Smith, H., Harton, H., Sitaraman, M., and Weide, B.W. "Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?." in Proceedings 11th International Conference on Software Reuse. (9 2009).