Bruce W. Weide Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason 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
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott 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
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory Kulczycki, Heather Keown, Murali Sitaraman, Bruce W. Weide: Abstracting Pointers for a Verifying Compiler. SEW 2007: 204-213
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory Kulczycki, Murali Sitaraman, Bruce W. Weide, Atanas Rountev: A specification-based approach to reasoning about pointers. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
2005
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory Buehrer, Bruce W. Weide, Paolo A. G. Sivilotti: Using parse tree validation to prevent SQL injection attacks. SEM 2005: 106-113
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni: Issues in performance certification for high-level automotive control software. ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHossein Saiedian, Bruce W. Weide: The new context for software engineering education and training. Journal of Systems and Software 74(2): 109-111 (2005)
2004
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmily Howe, Matthew Thornton, Bruce W. Weide: Components-first approaches to CS1/CS2: principles and practice. SIGCSE 2004: 291-295
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo A. G. Sivilotti, Bruce W. Weide: Research, teaching, and service: the miniconference as a model for CS graduate seminar courses. SIGCSE 2004: 487-491
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStephen 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)
2003
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNigamanth Sridhar, Scott M. Pike, Bruce W. Weide: Dynamic Module Replacement in Distributed Protocols. ICDCS 2003: 620-627
2002
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNigamanth Sridhar, Bruce W. Weide, Paolo Bucci: Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies. ICSR 2002: 309-326
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce W. Weide: Algorithms and object-oriented programming: bridging the gap. SIGCSE 2002: 302-306
2001
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurali 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
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Bucci, Timothy J. Long, Bruce W. Weide: Do we really teach abstraction? SIGCSE 2001: 26-30
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAllen 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
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurali 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott M. Pike, Bruce W. Weide, Joseph E. Hollingsworth: Checkmate: cornering C++ dynamic memory errors with checked pointers. SIGCSE 2000: 352-356
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph E. Hollingsworth, Lori Blankenship, Bruce W. Weide: Experience report: using RESOLVE/C++ for commercial software. SIGSOFT FSE 2000: 11-19
1999
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy J. Long, Bruce W. Weide, Paolo Bucci, Murali Sitaraman: Client view first: an exodus from implementation-biased teaching. SIGCSE 1999: 136-140
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurali 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurali Sitaraman, Bruce W. Weide, Timothy J. Long, William F. Ogden: A Data Abstraction Alternative to Data Structure/Algorithm Modularization. Generic Programming 1998: 102-113
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTimothy 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
1997
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurali 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)
1995
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth: Reverse Engineering of Legacy Code Exposed. ICSE 1995: 327-331
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBen Whittle, Don S. Batory, Reidar Conradi, J. Moore, Will Tracz, Bruce W. Weide: Panel Languages and Models for Reusable Components. SSR 1995: 19-20
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTed 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. IEEE Computer 28(8): 20-32 (1995)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStuart 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)
1994
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurali Sitaraman, Michael B. Feldman, Gary A. 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce W. Weide, William F. Ogden, Murali Sitaraman: Recasting Algorithms to Encourage Reuse. IEEE Software 11(5): 80-88 (1994)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce 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)
1993
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce W. Weide: Guest Editor's Introduction. International Journal of Software Engineering and Knowledge Engineering 3(2): 163-164 (1993)
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce W. Weide, Samuel DeFazio: A Framework for Modeling Software Engineering Processes. International Journal of Software Engineering and Knowledge Engineering 3(3): 351-368 (1993)
1991
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce W. Weide, William F. Ogden, Stuart H. Zweben: Reusable Software Components. Advances in Computers 33: 1-65 (1991)
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDouglas 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)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael P. Stovsky, Bruce W. Weide: Access Control Strategies for Coordinating Teams of Software Engineers. International Journal of Software Engineering and Knowledge Engineering 1(1): 57-73 (1991)
1990
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael P. Stovsky, Bruce W. Weide: The Role of Traditional Engineering Design Techniques in Software Engineering. SEKE 1990: 84-89
1989
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce W. Weide, Samuel DeFazio: Conceptualizing the Software Engineering Process. SEKE 1989: 172-
1987
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael P. Stovsky, Bruce W. Weide: STILE: A Graphical Design and Development Environment. COMPCON 1987: 247-250
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarsten 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)
1986
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSanjiv Taneja, Bruce W. Weide: Graphical description and run-time environments for Real-Time software. ACM Conference on Computer Science 1986: 205-211
1982
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Tamer Özsu, Bruce W. Weide: Modeling of distributed database concurrency control Mechanisms using an extended petri net formalism. ICDCS 1982: 660-665
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce W. Weide: Modeling Unusual Behavior of Parallel Algorithms. IEEE Trans. Computers 31(11): 1126-1130 (1982)
1980
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJon 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)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce W. Weide: Random Graphs and Graph Optimization Problems. SIAM J. Comput. 9(3): 552-557 (1980)
1979
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce W. Weide: Surveyor's Forum: A Recurrent Problem. ACM Comput. Surv. 11(1): 68 (1979)
1978
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce W. Weide: Surveyor's Forum: Experimental Analysis Discretely Done: Author's Reply. ACM Comput. Surv. 10(3): 361-362 (1978)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael L. Fredman, Bruce W. Weide: On the Complexity of Computing the Measure of U[ai, bi]. Commun. ACM 21(7): 540-544 (1978)
1977
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce W. Weide: A Survey of Analysis Techniques for Discrete Algorithms. ACM Comput. Surv. 9(4): 291-313 (1977)

Coauthor Index

1Bruce M. Adcock [47] [49] [50] [51]
2Steven Atkinson [33]
3Don S. Batory [24]
4Jon Louis Bentley [6]
5Thomas E. Bihari [10]
6Lori Blankenship [31]
7Derek Bronish [49] [50] [51]
8Paolo Bucci [27] [30] [33] [35] [37] [38] [44] [47] [49]
9Gregory Buehrer [45]
10Reidar Conradi [24]
11Maggie Davis [29]
12Samuel DeFazio [12] [17]
13Premkumar T. Devanbu [29]
14Stephen H. Edwards [19] [22] [27] [40]
15Hesham El-Rewini [23]
16Michael B. Feldman [21]
17Gary A. Ford [21]
18William B. Frakes [21]
19David Frazier [49]
20Michael L. Fredman [2]
21David S. Gibson [27]
22Jack Grimes [23]
23Douglas E. Harms [15] [19]
24E. James Harner [36]
25Heather K. Harton [49] [51]
26Wayne D. Heym [25] [33] [37] [44] [47] [49] [50]
27Mark D. Hill [23]
28Joe Hollingsworth [34]
29Joseph E. Hollingsworth [21] [22] [25] [27] [31] [32] [33] [40] [47]
30Emily Howe [42]
31Heather Keown [48]
32Jason Kirschenbaum [49] [50] [51]
33Gregory Kulczycki [33] [46] [48]
34David Alex Lamb [19]
35Phillip A. Laplante [23]
36James R. Larus [23]
37Ted G. Lewis [23]
38Timothy J. Long [27] [28] [30] [33] [35] [36] [37] [47]
39Peter M. Maurer [34]
40David F. McAllister [21]
41Bertrand Meyer [23]
42J. Moore [24]
43William F. Ogden [16] [20] [26] [28]
44M. Tamer Özsu [8]
45Allen S. Parrish [34]
46Scott M. Pike [32] [33] [39] [50]
47Gustav Pomberger [23]
48Mike Potel [23]
49Jeffrey S. Poulin [29]
50Dave Power [23]
51Wolfgang Pree [23]
52Alexander Ran [29]
53Giorgio Rizzoni [44]
54Atanas Rountev [46]
55Hossein Saiedian [43]
56Karsten Schwan [10]
57Benjamin Shults [34]
58Murali Sitaraman [20] [21] [26] [27] [28] [29] [30] [33] [36] [40] [44] [46] [48] [49] [51]
59Paolo A. G. Sivilotti [41] [45]
60Hampton Smith [51]
61Nigamanth Sridhar [38] [39]
62Michael P. Stovsky [11] [13] [14]
63Sanjiv Taneja [9]
64Gregor Taulbee [10]
65Matthew Thornton [42]
66Will Tracz [24]
67Ronald J. Vetter [23]
68Liqing Wang [36]
69Ben Whittle [24]
70David A. Wood [23]
71Andrew Chi-Chih Yao [6]
72Stuart H. Zweben (Stu Zweben) [16] [22]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)