| 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 | 573 | 2005 |
| 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 | 472 | 1980 |
| Special feature: Componentbased software using resolve M Sitaraman, BW Weide Software Engineering Notes 19 (4), 21-67, 1994 | 229 | 1994 |
| Copying and swapping: Influences on the design of reusable software components DE Harms, BW Weide IEEE Transactions on Software Engineering 17 (5), 424, 1991 | 208 | 1991 |
| Reusable software components BW Weide, WF Ogden, SH Zweben Advances in computers 33, 1-65, 1991 | 161 | 1991 |
| On the complexity of computing the measure of∪[ai, bi] ML Fredman, B Weide Communications of the ACM 21 (7), 540-544, 1978 | 104 | 1978 |
| 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 | 100 | 1987 |
| Computer science curriculum 2008: An interim revision of CS 2001 L Cassel, A Clements, G Davies, M Guzdial, R McCauley, A McGettrick, ... ACM, 2008 | 92 | 2008 |
| Statistical methods in algorithm design and analysis. BW Weide Carnegie Mellon University, 1978 | 90 | 1978 |
| 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 | 88 | 2011 |
| Do we really teach abstraction? P Bucci, TJ Long, BW Weide ACM Sigcse Bulletin 33 (1), 26-30, 2001 | 81 | 2001 |
| 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 | 79 | 2000 |
| 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 | 79 | 1995 |
| 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 | 77 | 1994 |
| A survey of analysis techniques for discrete algorithms B Weide ACM Computing Surveys (CSUR) 9 (4), 291-313, 1977 | 75 | 1977 |
| 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 | 65 | 1998 |
| 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 | 62 | 1994 |
| Recasting algorithms to encourage reuse BW Weide, WF Ogden, M Sitaraman IEEE Software 11 (5), 80-88, 1994 | 59 | 1994 |
| 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 | 58 | 2008 |
| Reverse engineering of legacy code exposed BW Weide, WD Heym, JE Hollingsworth Proceedings of the 17th international conference on Software engineering …, 1995 | 57 | 1995 |
