Bruce W. Weide

77 papers A* 3A 15B 6C 3Journal 33Unranked 17
YearRankTypeTitle / Venue / Authors
2018 J jnl
A Synopsis of Twenty Five Years of RESOLVE PhD Research Efforts: Software Development Effort Estimation Using Ensemble Techniques.
ACM SIGSOFT Softw. Eng. Notes
Murali Sitaraman, Bruce W. Weide
2016 A conf
Panel: Engage in Reasoning with Tools.
SIGCSE
Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide
2014 — conf
Providing Early Warnings of Specification Problems.
NASA Formal Methods
Dustin Hoffman, Aditi Tagore, Diego Zaccai, Bruce W. Weide
2014 A conf
Special session: "hands-on" tutorial: teaching software correctness with RESOLVE.
SIGCSE
Murali Sitaraman, Bruce W. Weide
2014 A conf
Syrus: providing practice problems in discrete mathematics with instant feedback.
SIGCSE
Diego Zaccai, Aditi Tagore, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov, Harvey M. Friedman, Dennis K. Pearl, Bruce W. Weide
2013 B conf
A Language for Building Verified Software Components.
ICSR
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
2013 — conf
Automatically Detecting Inconsistencies in Program Specifications.
NASA Formal Methods
Aditi Tagore, Bruce W. Weide
2013 A conf
Engaging mathematical reasoning exercises.
SIGCSE
Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide
2012 — conf
Automatically Proving Thousands of Verification Conditions Using an SMT Solver: An Empirical Study.
NASA Formal Methods
Aditi Tagore, Diego Zaccai, Bruce W. Weide
2012 — conf
Poster Abstract: Getting Out of the Way - Safety Verification without Compromise.
ICCPS
Theodore P. Pavlic, Sai Prathyusha Peddi, Paolo A. G. Sivilotti, Bruce W. Weide
2011 J jnl
Building a push-button RESOLVE verifier: Progress and challenges.
Formal Aspects Comput.
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
2009 — conf
Traditional assignment considered harmful.
OOPSLA Companion
Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide
2009 B conf
Verifying Component-Based Software: Deep Mathematics or Simple Bookkeeping?
ICSR
Jason Kirschenbaum, Bruce M. Adcock, Derek Bronish, Hampton Smith, Heather K. Harton, Murali Sitaraman, Bruce W. Weide
2008 — conf
Incremental Benchmarks for Software Verification Tools and Techniques.
VSTTE
Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier
2007 C conf
Abstracting Pointers for a Verifying Compiler.
SEW
Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide
2007 A conf
Which pointer errors do students make?
SIGCSE
Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide
2006 J jnl
A specification-based approach to reasoning about pointers.
ACM SIGSOFT Softw. Eng. Notes
Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev
2006 — conf
SAVCBS 2006 challenge: specification of iterators.
SAVCBS@FSE
Bruce W. Weide
2005 — conf
A specification-based approach to reasoning about pointers.
SAVCBS@ESEC/FSE
Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev
2005 J jnl
Issues in performance certification for high-level automotive control software.
ACM SIGSOFT Softw. Eng. Notes
Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni
2005 J jnl
The new context for software engineering education and training.
J. Syst. Softw.
Hossein Saiedian, Bruce W. Weide
2005 — conf
Using parse tree validation to prevent SQL injection attacks.
SEM
Gregory Buehrer, Bruce W. Weide, Paolo A. G. Sivilotti
2004 A conf
Components-first approaches to CS1/CS2: principles and practice.
SIGCSE
Emily Howe, Matthew Thornton, Bruce W. Weide
2004 J jnl
Contract-Checking Wrappers for C++ Classes.
IEEE Trans. Software Eng.
Stephen H. Edwards, Murali Sitaraman, Bruce W. Weide, Joseph E. Hollingsworth
2004 A conf
Research, teaching, and service: the miniconference as a model for CS graduate seminar courses.
SIGCSE
Paolo A. G. Sivilotti, Bruce W. Weide
2003 A conf
Dynamic Module Replacement in Distributed Protocols.
ICDCS
Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide
2002 A conf
Algorithms and object-oriented programming: bridging the gap.
SIGCSE
Paolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce W. Weide
2002 B conf
Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies.
ICSR
Nigamanth Sridhar, Bruce W. Weide, Paolo Bucci
2002 J jnl
Teaching Component-Based Software Engineering: A Formal Approach and Its Evaluation.
Comput. Sci. Educ.
Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang
2001 A* conf
A Formal Approach to Component-Based Software Engineering: Education and Evaluation.
ICSE
Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang
2001 A conf
Do we really teach abstraction?
SIGCSE
Paolo Bucci, Timothy J. Long, Bruce W. Weide
2001 A conf
Identifying an appropriate view of software components for undergraduate education.
SIGCSE
Allen S. Parrish, Joe Hollingsworth, Peter M. Maurer, Benjamin Shults, Bruce W. Weide
2000 A conf
Checkmate: cornering C++ dynamic memory errors with checked pointers.
SIGCSE
Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth
2000 — conf
Experience report: using RESOLVE/C++ for commercial software.
SIGSOFT FSE
Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide
2000 B conf
Reasoning about Software-Component Behavior.
ICSR
Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth
1999 A conf
Client view first: an exodus from implementation-biased teaching.
SIGCSE
Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman
1999 — conf
Reuse Research: Contributions, Problems and Non-Problems.
SSR
Murali Sitaraman, Maggie Davis, Premkumar T. Devanbu, Jeffrey S. Poulin, Alexander Ran, Bruce W. Weide
1998 — conf
A Data Abstraction Alternative to Data Structure/Algorithm Modularization.
Generic Programming
Murali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden
1998 B conf
A framework for detecting interface violations in component-based software.
ICSR
Stephen H. Edwards, Gulam Shakir, Murali Sitaraman, Bruce W. Weide, Joe Hollingsworth
1998 A conf
Providing intellectual focus to CS1/CS2.
SIGCSE
Timothy J. Long, Bruce W. Weide, Paolo Bucci, David S. Gibson, Joseph E. Hollingsworth, Murali Sitaraman, Stephen H. Edwards
1998 — conf
Teaching software architecture principles in CS1/CS2.
ISAW@FSE
Paolo Bucci, Timothy J. Long, Bruce W. Weide
1997 J jnl
On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.
IEEE Trans. Software Eng.
Murali Sitaraman, Bruce W. Weide, William F. Ogden
1997 J jnl
WISR8: 8th annual workshop on software reuse: summary and working group reports.
ACM SIGSOFT Softw. Eng. Notes
Stephen H. Edwards, Bruce W. Weide
1996 B conf
Characterizing observability and controllability of software components.
ICSR
Bruce W. Weide, Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, William F. Ogden
1995 — conf
Panel Languages and Models for Reusable Components.
SSR
Ben Whittle, Don S. Batory, Reidar Conradi, J. Moore, Will Tracz, Bruce W. Weide
1995 A* conf
Reverse Engineering of Legacy Code Exposed.
ICSE
Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth
1995 J jnl
The Effects of Layering and Encapsulation on Software Development Cost and Quality.
IEEE Trans. Software Eng.
Stuart H. Zweben, Stephen H. Edwards, Bruce W. Weide, Joseph E. Hollingsworth
1995 J jnl
Where Is Software Headed? A Virtual Roundtable.
Computer
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
1994 J jnl
Component-based software using RESOLVE.
ACM SIGSOFT Softw. Eng. Notes
Marulli Sitariman, Bruce W. Weide
1994 J jnl
Design and Specification of Iterators Using the Swapping Paradigm.
IEEE Trans. Software Eng.
Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb
1994 J jnl
Part I: the RESOLVE framework and discipline: a research synopsis.
ACM SIGSOFT Softw. Eng. Notes
William F. Ogden, Murali Sitaraman, Bruce W. Weide, Stuart H. Zweben
1994 J jnl
Part II: specifying components in RESOLVE.
ACM SIGSOFT Softw. Eng. Notes
Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, Murali Sitaraman, Bruce W. Weide
1994 J jnl
Part III: implementing components in RESOLVE.
ACM SIGSOFT Softw. Eng. Notes
Paolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide
1994 J jnl
Part IV: RESOLVE components in Ada and C++.
ACM SIGSOFT Softw. Eng. Notes
Joseph E. Hollingsworth, Sethu Sreerama, Bruce W. Weide, Sergey Zhupanov
1994 J jnl
Recasting Algorithms to Encourage Reuse.
IEEE Softw.
Bruce W. Weide, William F. Ogden, Murali Sitaraman
1994 — conf
What Changes Are Needed For Undergraduate CS Curricula to Educate "Software Engineers"?
TRI-Ada
Murali Sitaraman, Michael B. Feldman, Gary Ford, William B. Frakes, Joseph E. Hollingsworth, David F. McAllister, Bruce W. Weide
1993 J jnl
A Framework for Modeling Software Engineering Processes.
Int. J. Softw. Eng. Knowl. Eng.
Bruce W. Weide, Samuel DeFazio
1993 J jnl
Guest Editor's Introduction.
Int. J. Softw. Eng. Knowl. Eng.
Bruce W. Weide
1992 J jnl
Visual programming system for development of image processing applications.
J. Electronic Imaging
Joseph W. Klingler, Lee T. Andrews, Clifton L. Vaughan, Bruce W. Weide
1991 J jnl
Access Control Strategies for Coordinating Teams of Software Engineers.
Int. J. Softw. Eng. Knowl. Eng.
Michael P. Stovsky, Bruce W. Weide
1991 J jnl
Copying and Swapping: Influences on the Design of Reusable Software Components.
IEEE Trans. Software Eng.
Douglas E. Harms, Bruce W. Weide
1991 J jnl
Reusable Software Components.
Adv. Comput.
Bruce W. Weide, William F. Ogden, Stuart H. Zweben
1990 C conf
The Role of Traditional Engineering Design Techniques in Software Engineering.
SEKE
Michael P. Stovsky, Bruce W. Weide
1989 C conf
Conceptualizing the Software Engineering Process.
SEKE
Bruce W. Weide, Samuel DeFazio
1987 J jnl
High-Performance Operating System Primitives for Robotics and Real-Time Control Systems.
ACM Trans. Comput. Syst.
Karsten Schwan, Thomas E. Bihari, Bruce W. Weide, Gregor Taulbee
1987 — conf
STILE: A Graphical Design and Development Environment.
COMPCON
Michael P. Stovsky, Bruce W. Weide
1986 — conf
Graphical description and run-time environments for Real-Time software.
ACM Conference on Computer Science
Sanjiv Taneja, Bruce W. Weide
1985 A* conf
GEM: Operating system primitives for robots and real-time control systems.
ICRA
Karsten Schwan, Thomas E. Bihari, Bruce W. Weide, Gregor Taulbee
1984 J jnl
Process Control: Integration and Design Methodology Support.
Computer
Bruce W. Weide, Mark E. Brown, Jayashree Ramanathan, Karsten Schwan
1982 J jnl
Modeling Unusual Behavior of Parallel Algorithms.
IEEE Trans. Computers
Bruce W. Weide
1982 A conf
Modeling of distributed database concurrency control Mechanisms using an extended petri net formalism.
ICDCS
M. Tamer Özsu, Bruce W. Weide
1980 J jnl
Optimal Expected-Time Algorithms for Closest Point Problems.
ACM Trans. Math. Softw.
Jon Louis Bentley, Bruce W. Weide, Andrew Chi-Chih Yao
1980 J jnl
Random Graphs and Graph Optimization Problems.
SIAM J. Comput.
Bruce W. Weide
1979 J jnl
Surveyor's Forum: A Recurrent Problem.
ACM Comput. Surv.
Bruce W. Weide
1978 J jnl
On the Complexity of Computing the Measure of U[ai, bi].
Commun. ACM
Michael L. Fredman, Bruce W. Weide
1978 J jnl
Surveyor's Forum: Experimental Analysis Discretely Done: Author's Reply.
ACM Comput. Surv.
Bruce W. Weide
1977 J jnl
A Survey of Analysis Techniques for Discrete Algorithms.
ACM Comput. Surv.
Bruce W. Weide