default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBruce W. Weide
Person information
- affiliation: Ohio State University, Columbus, USA
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2018
[j33]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): 17 (2018)- 2016
- [c44]Gregory Kulczycki, Murali Sitaraman, Nigamanth Sridhar, Bruce W. Weide:
Panel: Engage in Reasoning with Tools. SIGCSE 2016: 160-161 - 2014
- [c43]Dustin Hoffman, Aditi Tagore, Diego Zaccai, Bruce W. Weide:
Providing Early Warnings of Specification Problems. NASA Formal Methods 2014: 92-97 - [c42]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: 61-66 - [c41]Murali Sitaraman, Bruce W. Weide:
Special session: "hands-on" tutorial: teaching software correctness with RESOLVE. SIGCSE 2014: 625-626 - 2013
- [c40]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: 308-314 - [c39]Aditi Tagore, Bruce W. Weide:
Automatically Detecting Inconsistencies in Program Specifications. NASA Formal Methods 2013: 261-275 - [c38]Joseph E. Hollingsworth, Joan Krone, Jason O. Hallstrom, Murali Sitaraman, Bruce W. Weide:
Engaging mathematical reasoning exercises. SIGCSE 2013: 459-460 - 2012
- [c37]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 - [c36]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 - 2011
- [j32]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): 607-626 (2011)
2000 – 2009
- 2009
- [c35]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 - [c34]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 - 2008
- [c33]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 - 2007
- [c32]Gregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide:
Abstracting Pointers for a Verifying Compiler. SEW 2007: 204-213 - [c31]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 - 2006
- [j31]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) - [c30]Bruce W. Weide:
SAVCBS 2006 challenge: specification of iterators. SAVCBS@FSE 2006: 75-77 - 2005
- [j30]Hossein Saiedian, Bruce W. Weide:
The new context for software engineering education and training. J. Syst. Softw. 74(2): 109-111 (2005) - [j29]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): 1-6 (2005) - [c29]Gregory Buehrer, Bruce W. Weide, Paolo A. G. Sivilotti:
Using parse tree validation to prevent SQL injection attacks. SEM 2005: 106-113 - [c28]Gregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev:
A specification-based approach to reasoning about pointers. SAVCBS@ESEC/FSE 2005: 7 - 2004
- [j28]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) - [c27]Emily Howe, Matthew Thornton, Bruce W. Weide:
Components-first approaches to CS1/CS2: principles and practice. SIGCSE 2004: 291-295 - [c26]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 - 2003
- [c25]Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide:
Dynamic Module Replacement in Distributed Protocols. ICDCS 2003: 620-627 - 2002
- [j27]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): 11-36 (2002) - [c24]Nigamanth Sridhar, Bruce W. Weide, Paolo Bucci:
Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies. ICSR 2002: 309-326 - [c23]Paolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce W. Weide:
Algorithms and object-oriented programming: bridging the gap. SIGCSE 2002: 302-306 - 2001
- [c22]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 - [c21]Paolo Bucci, Timothy J. Long, Bruce W. Weide:
Do we really teach abstraction? SIGCSE 2001: 26-30 - [c20]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 - 2000
- [c19]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 - [c18]Scott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth:
Checkmate: cornering C++ dynamic memory errors with checked pointers. SIGCSE 2000: 352-356 - [c17]Joseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide:
Experience report: using RESOLVE/C++ for commercial software. SIGSOFT FSE 2000: 11-19
1990 – 1999
- 1999
- [c16]Timothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman:
Client view first: an exodus from implementation-biased teaching. SIGCSE 1999: 136-140 - [c15]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 - 1998
- [c14]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 - [c13]Stephen H. Edwards, Gulam Shakir, Murali Sitaraman, Bruce W. Weide, Joe Hollingsworth:
A framework for detecting interface violations in component-based software. ICSR 1998: 46-55 - [c12]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 - [c11]Paolo Bucci, Timothy J. Long, Bruce W. Weide:
Teaching software architecture principles in CS1/CS2. ISAW@FSE 1998: 9-12 - 1997
- [j26]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): 17-32 (1997) - [j25]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) - 1996
- [c10]Bruce W. Weide, Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, William F. Ogden:
Characterizing observability and controllability of software components. ICSR 1996: 62-71 - 1995
- [j24]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): 20-32 (1995) - [j23]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) - [c9]Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth:
Reverse Engineering of Legacy Code Exposed. ICSE 1995: 327-331 - [c8]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 - 1994
- [j22]Marulli Sitariman, Bruce W. Weide:
Component-based software using RESOLVE. ACM SIGSOFT Softw. Eng. Notes 19(4): 21-22 (1994) - [j21]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): 23-28 (1994) - [j20]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): 29-39 (1994) - [j19]Paolo Bucci, Joseph E. Hollingsworth, Joan Krone, Bruce W. Weide:
Part III: implementing components in RESOLVE. ACM SIGSOFT Softw. Eng. Notes 19(4): 40-51 (1994) - [j18]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): 52-63 (1994) - [j17]Bruce W. Weide, William F. Ogden, Murali Sitaraman:
Recasting Algorithms to Encourage Reuse. IEEE Softw. 11(5): 80-88 (1994) - [j16]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) - [c7]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: 220 - 1993
- [j15]Bruce W. Weide:
Guest Editor's Introduction. Int. J. Softw. Eng. Knowl. Eng. 3(2): 163-164 (1993) - [j14]Bruce W. Weide, Samuel DeFazio:
A Framework for Modeling Software Engineering Processes. Int. J. Softw. Eng. Knowl. Eng. 3(3): 351-368 (1993) - 1992
- [j13]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) - 1991
- [j12]Bruce W. Weide, William F. Ogden, Stuart H. Zweben:
Reusable Software Components. Adv. Comput. 33: 1-65 (1991) - [j11]Michael P. Stovsky, Bruce W. Weide:
Access Control Strategies for Coordinating Teams of Software Engineers. Int. J. Softw. Eng. Knowl. Eng. 1(1): 57-73 (1991) - [j10]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) - 1990
- [c6]Michael P. Stovsky, Bruce W. Weide:
The Role of Traditional Engineering Design Techniques in Software Engineering. SEKE 1990: 84-89
1980 – 1989
- 1989
- [c5]Bruce W. Weide, Samuel DeFazio:
Conceptualizing the Software Engineering Process. SEKE 1989: 172- - 1987
- [j9]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) - [c4]Michael P. Stovsky, Bruce W. Weide:
STILE: A Graphical Design and Development Environment. COMPCON 1987: 247-250 - 1986
- [c3]Sanjiv Taneja, Bruce W. Weide:
Graphical description and run-time environments for Real-Time software. ACM Conference on Computer Science 1986: 205-211 - 1985
- [c2]Karsten Schwan, Thomas E. Bihari, Bruce W. Weide, Gregor Taulbee:
GEM: Operating system primitives for robots and real-time control systems. ICRA 1985: 807-813 - 1984
- [j8]Bruce W. Weide, Mark E. Brown, Jayashree Ramanathan, Karsten Schwan:
Process Control: Integration and Design Methodology Support. Computer 17(2): 27-32 (1984) - 1982
- [j7]Bruce W. Weide:
Modeling Unusual Behavior of Parallel Algorithms. IEEE Trans. Computers 31(11): 1126-1130 (1982) - [c1]M. Tamer Özsu, Bruce W. Weide:
Modeling of distributed database concurrency control Mechanisms using an extended petri net formalism. ICDCS 1982: 660-665 - 1980
- [j6]Bruce W. Weide:
Random Graphs and Graph Optimization Problems. SIAM J. Comput. 9(3): 552-557 (1980) - [j5]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)
1970 – 1979
- 1979
- [j4]Bruce W. Weide:
Surveyor's Forum: A Recurrent Problem. ACM Comput. Surv. 11(1): 68 (1979) - 1978
- [j3]Michael L. Fredman, Bruce W. Weide:
On the Complexity of Computing the Measure of U[ai, bi]. Commun. ACM 21(7): 540-544 (1978) - [j2]Bruce W. Weide:
Surveyor's Forum: Experimental Analysis Discretely Done: Author's Reply. ACM Comput. Surv. 10(3): 361-362 (1978) - 1977
- [j1]Bruce W. Weide:
A Survey of Analysis Techniques for Discrete Algorithms. ACM Comput. Surv. 9(4): 291-313 (1977)
Coauthor Index
aka: Joe Hollingsworth
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
