Bruce W. Weide

Aditi Tagore, Bruce W. Weide: Automatically Detecting Inconsistencies in Program Specifications. NASA Formal Methods 2013: 261-275

Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide: Engaging mathematical reasoning exercises. SIGCSE 2013: 459-460

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

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

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, Bruce W. Weide: Building a push-button RESOLVE verifier: Progress and challenges. Formal Asp. Comput. 23(5): 607-626 (2011)

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

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

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

Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide: Abstracting Pointers for a Verifying Compiler. SEW 2007: 204-213

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

Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev: A specification-based approach to reasoning about pointers. ACM SIGSOFT Software Engineering Notes 31(2) (2006)

Hossein Saiedian, Bruce W. Weide: The new context for software engineering education and training. Journal of Systems and Software 74(2): 109-111 (2005)

Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni: Issues in performance certification for high-level automotive control software. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)

Gregory Buehrer, Bruce W. Weide, Paolo A. G. Sivilotti: Using parse tree validation to prevent SQL injection attacks. SEM 2005: 106-113

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

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

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

Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide: Dynamic Module Replacement in Distributed Protocols. ICDCS 2003: 620-627

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

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

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

Paolo Bucci, Timothy J. Long, Bruce W. Weide: Do we really teach abstraction? SIGCSE 2001: 26-30

Allen S. Parrish, Joe Hollingsworth, Peter M. Maurer, Benjamin Shults, Bruce W. Weide: Identifying an appropriate view of software components for undergraduate education. SIGCSE 2001: 394-395

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

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

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

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

Murali Sitaraman, Maggie Davis, Premkumar T. Devanbu, Jeffrey S. Poulin, Alexander Ran, Bruce W. Weide: Reuse Research: Contributions, Problems and Non-Problems. SSR 1999: 178-180

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

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

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

Ted G. Lewis, Dave Power, Bertrand Meyer, Jack Grimes, Mike Potel, Ronald J. Vetter, Phillip A. Laplante, Wolfgang Pree, Gustav Pomberger, Mark D. Hill, James R. Larus, David A. Wood, Hesham El-Rewini, Bruce W. Weide: Where Is Software Headed? A Virtual Roundtable. IEEE Computer 28(8): 20-32 (1995)

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

Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth: Reverse Engineering of Legacy Code Exposed. ICSE 1995: 327-331

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

Bruce W. Weide, William F. Ogden, Murali Sitaraman: Recasting Algorithms to Encourage Reuse. IEEE Software 11(5): 80-88 (1994)

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

Murali Sitaraman, Michael B. Feldman, Gary A. Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide: What Changes Are Needed For Undergraduate CS Curricula to Educate ``Software Engineers''? TRI-Ada 1994: 220

Bruce W. Weide: Guest Editor's Introduction. International Journal of Software Engineering and Knowledge Engineering 3(2): 163-164 (1993)

Bruce W. Weide, Samuel DeFazio: A Framework for Modeling Software Engineering Processes. International Journal of Software Engineering and Knowledge Engineering 3(3): 351-368 (1993)

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

Bruce W. Weide, William F. Ogden, Stuart H. Zweben: Reusable Software Components. Advances in Computers 33: 1-65 (1991)

Michael P. Stovsky, Bruce W. Weide: Access Control Strategies for Coordinating Teams of Software Engineers. International Journal of Software Engineering and Knowledge Engineering 1(1): 57-73 (1991)

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

Michael P. Stovsky, Bruce W. Weide: The Role of Traditional Engineering Design Techniques in Software Engineering. SEKE 1990: 84-89

Bruce W. Weide, Samuel DeFazio: Conceptualizing the Software Engineering Process. SEKE 1989: 172-

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

Michael P. Stovsky, Bruce W. Weide: STILE: A Graphical Design and Development Environment. COMPCON 1987: 247-250

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

Bruce W. Weide: Modeling Unusual Behavior of Parallel Algorithms. IEEE Trans. Computers 31(11): 1126-1130 (1982)

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

Bruce W. Weide: Random Graphs and Graph Optimization Problems. SIAM J. Comput. 9(3): 552-557 (1980)

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

Bruce W. Weide: Surveyor's Forum: A Recurrent Problem. ACM Comput. Surv. 11(1): 68 (1979)

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

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

Bruce W. Weide: A Survey of Analysis Techniques for Discrete Algorithms. ACM Comput. Surv. 9(4): 291-313 (1977)