A Survey of Analysis Techniques for Discrete Algorithms. - Bruce W. Weide (ACM Comput. Surv., 1977)

On the Complexity of Computing the Measure of U[ai, bi]. - Michael L. Fredman; Bruce W. Weide (Commun. ACM, 1978)

Surveyor's Forum: Experimental Analysis Discretely Done: Author's Reply. - Bruce W. Weide (ACM Comput. Surv., 1978)

Surveyor's Forum: A Recurrent Problem. - Bruce W. Weide (ACM Comput. Surv., 1979)

Random Graphs and Graph Optimization Problems. - Bruce W. Weide (SIAM J. Comput., 1980)

Optimal Expected-Time Algorithms for Closest Point Problems. - Jon Louis Bentley; Bruce W. Weide; Andrew Chi-Chih Yao (ACM Trans. Math. Softw., 1980)

Modeling of distributed database concurrency control Mechanisms using an extended petri net formalism. - M. Tamer Özsu; Bruce W. Weide (ICDCS, 1982)

Modeling Unusual Behavior of Parallel Algorithms. - Bruce W. Weide (IEEE Trans. Computers, 1982)

Process Control: Integration and Design Methodology Support. - Bruce W. Weide; Mark E. Brown; Jayashree Ramanathan; Karsten Schwan (Computer, 1984)

GEM: Operating system primitives for robots and real-time control systems. - Karsten Schwan; Thomas E. Bihari; Bruce W. Weide; Gregor Taulbee (ICRA, 1985)

Graphical description and run-time environments for Real-Time software. - Sanjiv Taneja; Bruce W. Weide (ACM Conference on Computer Science, 1986)

STILE: A Graphical Design and Development Environment. - Michael P. Stovsky; Bruce W. Weide (COMPCON, 1987)

High-Performance Operating System Primitives for Robotics and Real-Time Control Systems. - Karsten Schwan; Thomas E. Bihari; Bruce W. Weide; Gregor Taulbee (ACM Trans. Comput. Syst., 1987)

Conceptualizing the Software Engineering Process. - Bruce W. Weide; Samuel DeFazio (SEKE, 1989)

The Role of Traditional Engineering Design Techniques in Software Engineering. - Michael P. Stovsky; Bruce W. Weide (SEKE, 1990)

Reusable Software Components. - Bruce W. Weide; William F. Ogden; Stuart H. Zweben (Adv. Comput., 1991)

Access Control Strategies for Coordinating Teams of Software Engineers. - Michael P. Stovsky; Bruce W. Weide (Int. J. Softw. Eng. Knowl. Eng., 1991)

Copying and Swapping: Influences on the Design of Reusable Software Components. - Douglas E. Harms; Bruce W. Weide (IEEE Trans. Software Eng., 1991)

Visual programming system for development of image processing applications. - Joseph W. Klingler; Lee T. Andrews; Clifton L. Vaughan; Bruce W. Weide (J. Electronic Imaging, 1992)

Guest Editor's Introduction. - Bruce W. Weide (Int. J. Softw. Eng. Knowl. Eng., 1993)

A Framework for Modeling Software Engineering Processes. - Bruce W. Weide; Samuel DeFazio (Int. J. Softw. Eng. Knowl. Eng., 1993)

What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"? - Murali Sitaraman; Michael B. Feldman; Gary Ford 001; William B. Frakes; Joseph E. Hollingsworth; David F. McAllister; Bruce W. Weide (TRI-Ada, 1994)

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

Part II: specifying components in RESOLVE. - Stephen H. Edwards; Wayne D. Heym; Timothy J. Long; Murali Sitaraman; Bruce W. Weide (ACM SIGSOFT Softw. Eng. Notes, 1994)

Part IV: RESOLVE components in Ada and C++. - Joseph E. Hollingsworth; Sethu Sreerama; Bruce W. Weide; Sergey Zhupanov (ACM SIGSOFT Softw. Eng. Notes, 1994)

Part I: the RESOLVE framework and discipline: a research synopsis. - William F. Ogden; Murali Sitaraman; Bruce W. Weide; Stuart H. Zweben (ACM SIGSOFT Softw. Eng. Notes, 1994)

Component-based software using RESOLVE. - Marulli Sitariman; Bruce W. Weide (ACM SIGSOFT Softw. Eng. Notes, 1994)

Recasting Algorithms to Encourage Reuse. - Bruce W. Weide; William F. Ogden; Murali Sitaraman (IEEE Softw., 1994)

Design and Specification of Iterators Using the Swapping Paradigm. - Bruce W. Weide; Stephen H. Edwards; Douglas E. Harms; David Alex Lamb (IEEE Trans. Software Eng., 1994)

Reverse Engineering of Legacy Code Exposed. - Bruce W. Weide; Wayne D. Heym; Joseph E. Hollingsworth (ICSE, 1995)

Panel Languages and Models for Reusable Components. - Ben Whittle; Don S. Batory; Reidar Conradi; J. Moore; Will Tracz; Bruce W. Weide (SSR, 1995)

Where Is Software Headed? A Virtual Roundtable. - Ted G. Lewis; Dave Power; Bertrand Meyer 001; Jack Grimes; Mike Potel; Ronald J. Vetter; Phillip A. Laplante; Wolfgang Pree; Gustav Pomberger; Mark D. Hill; James R. Larus; David A. Wood 001; et al. (Computer, 1995)

The Effects of Layering and Encapsulation on Software Development Cost and Quality. - Stuart H. Zweben; Stephen H. Edwards; Bruce W. Weide; Joseph E. Hollingsworth (IEEE Trans. Software Eng., 1995)

Characterizing observability and controllability of software components. - Bruce W. Weide; Stephen H. Edwards; Wayne D. Heym; Timothy J. Long; William F. Ogden (ICSR, 1996)

WISR8: 8th annual workshop on software reuse: summary and working group reports. - Stephen H. Edwards; Bruce W. Weide (ACM SIGSOFT Softw. Eng. Notes, 1997)

On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations. - Murali Sitaraman; Bruce W. Weide; William F. Ogden (IEEE Trans. Software Eng., 1997)

A Data Abstraction Alternative to Data Structure/Algorithm Modularization. - Murali Sitaraman; Bruce W. Weide; Timothy J. Long; William F. Ogden (Generic Programming, 1998)

A framework for detecting interface violations in component-based software. - Stephen H. Edwards; Gulam Shakir; Murali Sitaraman; Bruce W. Weide; Joe Hollingsworth (ICSR, 1998)

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)

Reuse Research: Contributions, Problems and Non-Problems. - Murali Sitaraman; Maggie Davis; Premkumar T. Devanbu; Jeffrey S. Poulin; Alexander Ran; Bruce W. Weide (SSR, 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)

Checkmate: cornering C++ dynamic memory errors with checked pointers. - Scott M. Pike; Bruce W. Weide; Joseph E. Hollingsworth (SIGCSE, 2000)

Experience report: using RESOLVE/C++ for commercial software. - Joseph E. Hollingsworth; Lori Blankenship; Bruce W. Weide (SIGSOFT FSE, 2000)

A Formal Approach to Component-Based Software Engineering: Education and Evaluation. - Murali Sitaraman; Timothy J. Long; Bruce W. Weide; E. James Harner; Liqing Wang (ICSE, 2001)

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

Identifying an appropriate view of software components for undergraduate education. - Allen S. Parrish; Joe Hollingsworth; Peter M. Maurer; Benjamin Shults; 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)

Teaching Component-Based Software Engineering: A Formal Approach and Its Evaluation. - Murali Sitaraman; Timothy J. Long; Bruce W. Weide; E. James Harner; Liqing Wang (Comput. Sci. Educ., 2002)

Dynamic Module Replacement in Distributed Protocols. - Nigamanth Sridhar; Scott M. Pike; Bruce W. Weide (ICDCS, 2003)

Components-first approaches to CS1/CS2: principles and practice. - Emily Howe; Matthew Thornton; Bruce W. Weide (SIGCSE, 2004)

Research, teaching, and service: the miniconference as a model for CS graduate seminar courses. - Paolo A. G. Sivilotti; Bruce W. Weide (SIGCSE, 2004)

Contract-Checking Wrappers for C++ Classes. - Stephen H. Edwards; Murali Sitaraman; Bruce W. Weide; Joseph E. Hollingsworth (IEEE Trans. Software Eng., 2004)

Using parse tree validation to prevent SQL injection attacks. - Gregory Buehrer; Bruce W. Weide; Paolo A. G. Sivilotti (SEM, 2005)

The new context for software engineering education and training. - Hossein Saiedian; Bruce W. Weide (J. Syst. Softw., 2005)

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)

SAVCBS 2006 challenge: specification of iterators. - Bruce W. Weide (SAVCBS@FSE, 2006)

A specification-based approach to reasoning about pointers. - Gregory Kulczycki; Murali Sitaraman; Bruce W. Weide; Atanas Rountev (ACM SIGSOFT Softw. Eng. Notes, 2006)

Abstracting Pointers for a Verifying Compiler. - Gregory Kulczycki; Heather Keown; Murali Sitaraman; Bruce W. Weide (SEW, 2007)

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)

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)

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)

Poster Abstract: Getting Out of the Way - Safety Verification without Compromise. - Theodore P. Pavlic; Sai Prathyusha Peddi; Paolo A. G. Sivilotti; Bruce W. Weide (ICCPS, 2012)

Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study. - Aditi Tagore; Diego Zaccai; Bruce W. Weide (NASA Formal Methods, 2012)

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)

Automatically Detecting Inconsistencies in Program Specifications. - Aditi Tagore; Bruce W. Weide (NASA Formal Methods, 2013)

Engaging mathematical reasoning exercises. - Joseph E. Hollingsworth; Joan Krone; Jason O. Hallstrom; Murali Sitaraman; Bruce W. Weide (SIGCSE, 2013)

Providing Early Warnings of Specification Problems. - Dustin Hoffman; Aditi Tagore; Diego Zaccai; Bruce W. Weide (NASA Formal Methods, 2014)

Special session: "hands-on" tutorial: teaching software correctness with RESOLVE. - Murali Sitaraman; Bruce W. Weide (SIGCSE, 2014)

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)

Panel: Engage in Reasoning with Tools. - Gregory Kulczycki; Murali Sitaraman; Nigamanth Sridhar; Bruce W. Weide (SIGCSE, 2016)

A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts: Software Development Effort Estimation Using Ensemble Techniques. - Murali Sitaraman; Bruce W. Weide (ACM SIGSOFT Softw. Eng. Notes, 2018)