Follow
Bruce W. Weide
Bruce W. Weide
Professor Emeritus of Computer Science and Engineering, Ohio State University
Verified email at osu.edu - Homepage
Title
Cited by
Cited by
Year
Using parse tree validation to prevent SQL injection attacks
G Buehrer, BW Weide, PAG Sivilotti
Proceedings of the 5th international workshop on Software engineering and …, 2005
5662005
Optimal expected-time algorithms for closest point problems
JL Bentley, BW Weide, AC Yao
ACM Transactions on Mathematical Software (TOMS) 6 (4), 563-580, 1980
4621980
Component-based software using RESOLVE
M Sitariman, B Weide
ACM SIGSOFT Software Engineering Notes 19 (4), 21-22, 1994
2171994
Copying and swapping: Influences on the design of reusable software components
DE Harms, BW Weide
IEEE Transactions on Software Engineering 17 (5), 424, 1991
2021991
Reusable software components
BW Weide, WF Ogden, SH Zweben
Advances in computers 33, 1-65, 1991
1591991
High-performance operating system primitives for robotics and real-time control systems
K Schwan, T Bihari, BW Weide, G Taulbee
ACM Transactions on Computer Systems (TOCS) 5 (3), 189-231, 1987
1021987
On the complexity of computing the measure of∪[ai, bi]
ML Fredman, B Weide
Communications of the ACM 21 (7), 540-544, 1978
1021978
Building a push-button RESOLVE verifier: Progress and challenges
M Sitaraman, B Adcock, J Avigad, D Bronish, P Bucci, D Frazier, ...
Formal Aspects of Computing 23, 607-626, 2011
882011
Computer science curriculum 2008: An interim revision of CS 2001
L Cassel, A Clements, G Davies, M Guzdial, R McCauley, A McGettrick, ...
ACM, 2008
882008
Statistical Methods in Algorithm Design and Analysis.
BW Weide
Carnegie Mellon University, 1978
881978
Do we really teach abstraction?
P Bucci, TJ Long, BW Weide
ACM Sigcse Bulletin 33 (1), 26-30, 2001
812001
Reasoning about software-component behavior
M Sitaraman, S Atkinson, G Kulczycki, BW Weide, TJ Long, P Bucci, ...
Software Reuse: Advances in Software Reusability: 6th International …, 2000
802000
The effects of layering and encapsulation on software development cost and quality
SH Zweben, SH Edwards, BW Weide, JE Hollingsworth
IEEE Transactions on software engineering 21 (3), 200-208, 1995
771995
Part I: the RESOLVE framework and discipline: a research synopsis.
WF Ogden, M Sitaraman, BW Weide, SH Zweben
ACM SIGSOFT Softw. Eng. Notes 19 (4), 23-28, 1994
771994
A survey of analysis techniques for discrete algorithms
B Weide
ACM Computing Surveys (CSUR) 9 (4), 291-313, 1977
721977
A framework for detecting interface violations in component-based software
SH Edwards, G Shakir, M Sitaraman, BW Weide, J Hollingsworth
Proceedings. Fifth International Conference on Software Reuse (Cat. No …, 1998
671998
Part II: Specifying components in RESOLVE
SH Edwards, WD Heym, TJ Long, M Sitaraman, BW Weide
ACM SIGSOFT Software Engineering Notes 19 (4), 29-39, 1994
621994
Recasting algorithms to encourage reuse
BW Weide, WF Ogden, M Sitaraman
IEEE Software 11 (5), 80-88, 1994
581994
Incremental benchmarks for software verification tools and techniques
BW Weide, M Sitaraman, HK Harton, B Adcock, P Bucci, D Bronish, ...
Verified Software: Theories, Tools, Experiments: Second International …, 2008
572008
Reverse engineering of legacy code exposed
BW Weide, WD Heym, JE Hollingsworth
Proceedings of the 17th international conference on Software engineering …, 1995
561995
The system can't perform the operation now. Try again later.
Articles 1–20