Bruce W. Weide

Publication Activity (10 Years)

Years Active: 1977-2018
Publications (10 Years): 2

Top Topics

Special Session

Automatically Detecting

Solving Problems

Software Development Effort

Top Venues

NASA Formal Methods

Publications

Murali Sitaraman, Bruce W. Weide
A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts: Software Development Effort Estimation Using Ensemble Techniques. ACM SIGSOFT Softw. Eng. Notes 43 (3) (2018)
Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide
Panel: Engage in Reasoning with Tools. SIGCSE (2016)
Dustin Hoffman, Aditi Tagore, Diego Zaccai, Bruce W. Weide
Providing Early Warnings of Specification Problems. NASA Formal Methods (2014)
Diego Zaccai, Aditi Tagore, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov, Harvey M. Friedman, Dennis K. Pearl, Bruce W. Weide
Syrus: providing practice problems in discrete mathematics with instant feedback. SIGCSE (2014)
Murali Sitaraman, Bruce W. Weide
Special session: "hands-on" tutorial: teaching software correctness with RESOLVE. SIGCSE (2014)
Aditi Tagore, Bruce W. Weide
Automatically Detecting Inconsistencies in Program Specifications. NASA Formal Methods (2013)
Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide
Engaging mathematical reasoning exercises. SIGCSE (2013)
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, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai
A Language for Building Verified Software Components. ICSR (2013)
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)
Aditi Tagore, Diego Zaccai, Bruce W. Weide
Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study. NASA Formal Methods (2012)
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 Aspects Comput. 23 (5) (2011)
Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide
Traditional assignment considered harmful. OOPSLA Companion (2009)
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)
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)
Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide
Abstracting Pointers for a Verifying Compiler. SEW (2007)
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)
Bruce W. Weide
SAVCBS 2006 challenge: specification of iterators. SAVCBS@FSE (2006)
Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev
A specification-based approach to reasoning about pointers. ACM SIGSOFT Softw. Eng. Notes 31 (2) (2006)
Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev
A specification-based approach to reasoning about pointers. SAVCBS@ESEC/FSE (2005)
Hossein Saiedian, Bruce W. Weide
The new context for software engineering education and training. J. Syst. Softw. 74 (2) (2005)
Gregory Buehrer, Bruce W. Weide, Paolo A. G. Sivilotti
Using parse tree validation to prevent SQL injection attacks. SEM (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 Softw. Eng. Notes 30 (4) (2005)
Paolo A. G. Sivilotti, Bruce W. Weide
Research, teaching, and service: the miniconference as a model for CS graduate seminar courses. SIGCSE (2004)
Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth
Contract-Checking Wrappers for C++ Classes. IEEE Trans. Software Eng. 30 (11) (2004)
Emily Howe, Matthew Thornton, Bruce W. Weide
Components-first approaches to CS1/CS2: principles and practice. SIGCSE (2004)
Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide
Dynamic Module Replacement in Distributed Protocols. ICDCS (2003)
Paolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce W. Weide
Algorithms and object-oriented programming: bridging the gap. SIGCSE (2002)
Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang
Teaching Component-Based Software Engineering: A Formal Approach and Its Evaluation. Comput. Sci. Educ. 12 (1-2) (2002)
Nigamanth Sridhar, Bruce W. Weide, Paolo Bucci
Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies. ICSR (2002)
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)
Paolo Bucci, Timothy J. Long, Bruce W. Weide
Do we really teach abstraction? SIGCSE (2001)
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)
Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide
Experience report: using RESOLVE/C++ for commercial software. SIGSOFT FSE (2000)
Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth
Checkmate: cornering C++ dynamic memory errors with checked pointers. SIGCSE (2000)
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)
Murali Sitaraman, Maggie Davis, Premkumar T. Devanbu, Jeffrey S. Poulin, Alexander Ran, Bruce W. Weide
Reuse Research: Contributions, Problems and Non-Problems. SSR (1999)
Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman
Client view first: an exodus from implementation-biased teaching. SIGCSE (1999)
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)
Paolo Bucci, Timothy J. Long, Bruce W. Weide
Teaching software architecture principles in CS1/CS2. ISAW@FSE (1998)
Stephen H. Edwards, Gulam Shakir, Murali Sitaraman, Bruce W. Weide, Joe Hollingsworth
A framework for detecting interface violations in component-based software. ICSR (1998)
Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden
A Data Abstraction Alternative to Data Structure/Algorithm Modularization. Generic Programming (1998)
Stephen H. Edwards, Bruce W. Weide
WISR8: 8th annual workshop on software reuse: summary and working group reports. ACM SIGSOFT Softw. Eng. Notes 22 (5) (1997)
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) (1997)
Bruce W. Weide, Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, William F. Ogden
Characterizing observability and controllability of software components. ICSR (1996)
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) (1995)
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. Computer 28 (8) (1995)
Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth
Reverse Engineering of Legacy Code Exposed. ICSE (1995)
Ben Whittle, Don S. Batory, Reidar Conradi, J. Moore, Will Tracz, Bruce W. Weide
Panel Languages and Models for Reusable Components. SSR (1995)
Joseph E. Hollingsworth, Sethu Sreerama, Bruce W. Weide, Sergey Zhupanov
Part IV: RESOLVE components in Ada and C++. ACM SIGSOFT Softw. Eng. Notes 19 (4) (1994)
Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, Murali Sitaraman, Bruce W. Weide
Part II: specifying components in RESOLVE. ACM SIGSOFT Softw. Eng. Notes 19 (4) (1994)
Paolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide
Part III: implementing components in RESOLVE. ACM SIGSOFT Softw. Eng. Notes 19 (4) (1994)
Marulli Sitariman, Bruce W. Weide
Component-based software using RESOLVE. ACM SIGSOFT Softw. Eng. Notes 19 (4) (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) (1994)
Bruce W. Weide, William F. Ogden, Murali Sitaraman
Recasting Algorithms to Encourage Reuse. IEEE Softw. 11 (5) (1994)
William F. Ogden, Murali Sitaraman, Bruce W. Weide, Stuart H. Zweben
Part I: the RESOLVE framework and discipline: a research synopsis. ACM SIGSOFT Softw. Eng. Notes 19 (4) (1994)
Murali Sitaraman, Michael B. Feldman, Gary 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)
Bruce W. Weide
Guest Editor's Introduction. Int. J. Softw. Eng. Knowl. Eng. 3 (2) (1993)
Bruce W. Weide, Samuel DeFazio
A Framework for Modeling Software Engineering Processes. Int. J. Softw. Eng. Knowl. Eng. 3 (3) (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) (1992)
Bruce W. Weide, William F. Ogden, Stuart H. Zweben
Reusable Software Components. Adv. Comput. 33 (1991)
Michael P. Stovsky, Bruce W. Weide
Access Control Strategies for Coordinating Teams of Software Engineers. Int. J. Softw. Eng. Knowl. Eng. 1 (1) (1991)
Douglas E. Harms, Bruce W. Weide
Copying and Swapping: Influences on the Design of Reusable Software Components. IEEE Trans. Software Eng. 17 (5) (1991)
Michael P. Stovsky, Bruce W. Weide
The Role of Traditional Engineering Design Techniques in Software Engineering. SEKE (1990)
Bruce W. Weide, Samuel DeFazio
Conceptualizing the Software Engineering Process. SEKE (1989)
Michael P. Stovsky, Bruce W. Weide
STILE: A Graphical Design and Development Environment. COMPCON (1987)
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) (1987)
Sanjiv Taneja, Bruce W. Weide
Graphical description and run-time environments for Real-Time software. ACM Conference on Computer Science (1986)
Karsten Schwan, Thomas E. Bihari, Bruce W. Weide, Gregor Taulbee
GEM: Operating system primitives for robots and real-time control systems. ICRA (1985)
Bruce W. Weide, Mark E. Brown, Jayashree Ramanathan, Karsten Schwan
Process Control: Integration and Design Methodology Support. Computer 17 (2) (1984)
M. Tamer Özsu, Bruce W. Weide
Modeling of distributed database concurrency control Mechanisms using an extended petri net formalism. ICDCS (1982)
Bruce W. Weide
Modeling Unusual Behavior of Parallel Algorithms. IEEE Trans. Computers 31 (11) (1982)
Bruce W. Weide
Random Graphs and Graph Optimization Problems. SIAM J. Comput. 9 (3) (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) (1980)
Bruce W. Weide
Surveyor's Forum: A Recurrent Problem. ACM Comput. Surv. 11 (1) (1979)
Bruce W. Weide
Surveyor's Forum: Experimental Analysis Discretely Done: Author's Reply. ACM Comput. Surv. 10 (3) (1978)
Michael L. Fredman, Bruce W. Weide
On the Complexity of Computing the Measure of U[ai, bi]. Commun. ACM 21 (7) (1978)
Bruce W. Weide
A Survey of Analysis Techniques for Discrete Algorithms. ACM Comput. Surv. 9 (4) (1977)