Bruce W. Weide - Publications

Affiliations: 
Ohio State University, Columbus, Columbus, OH 
Area:
Computer Science
Website:
http://web.cse.ohio-state.edu/~weide.1/

43 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Kulczycki G, Sridhar N, Sitaraman M, Weide BW. Panel: Engage in reasoning with tools Sigcse 2016 - Proceedings of the 47th Acm Technical Symposium On Computing Science Education. 160-161. DOI: 10.1145/2839509.2844657  1
2014 Sitaraman M, Weide BW. Special session: "Hands-on" tutorial: Teaching software correctness with RESOLVE Sigcse 2014 - Proceedings of the 45th Acm Technical Symposium On Computer Science Education. 625-626. DOI: 10.1145/2538862.2538987  1
2014 Zaccai D, Tagore A, Hoffman D, Kirschenbaum J, Bainazarov Z, Friedman HM, Pearl DK, Weide BW. Syrus: Providing practice problems in discrete mathematics with instant feedback Sigcse 2014 - Proceedings of the 45th Acm Technical Symposium On Computer Science Education. 61-66. DOI: 10.1145/2538862.2538929  1
2014 Hoffman D, Tagore A, Zaccai D, Weide BW. Providing early warnings of specification problems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8430: 92-97. DOI: 10.1007/978-3-319-06200-6_7  1
2013 Kulczycki G, Sitaraman M, Krone J, Hollingsworth JE, Ogden WF, Weide BW, Bucci P, Cook CT, Drachova-Strang SV, Durkee B, Harton H, Heym W, Hoffman D, Smith H, Sun YS, et al. A language for building verified software components Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7925: 308-314. DOI: 10.1007/978-3-642-38977-1_23  1
2013 Tagore A, Weide BW. Automatically detecting inconsistencies in program specifications Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7871: 261-275. DOI: 10.1007/978-3-642-38088-4_18  1
2013 Soundarajan N, Ramnath R, Weide BW. A multi-pronged approach to nurturing IT entrepreneurs Asee Annual Conference and Exposition, Conference Proceedings 1
2012 Pavlic TP, Peddi SP, Sivilotti PAG, Weide BW. Poster abstract: Getting out of the way - Safety verification without compromise Proceedings - 2012 Ieee/Acm 3rd International Conference On Cyber-Physical Systems, Iccps 2012. 234. DOI: 10.1109/ICCPS.2012.51  1
2012 Tagore A, Zaccai D, Weide BW. Automatically proving thousands of verification conditions using an SMT solver: An empirical study Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7226: 195-209. DOI: 10.1007/978-3-642-28891-3_20  1
2011 Sitaraman M, Adcock B, Avigad J, Bronish D, Bucci P, Frazier D, Friedman HM, Harton H, Heym W, Kirschenbaum J, Krone J, Smith H, Weide BW. Building a push-button RESOLVE verifier: Progress and challenges Formal Aspects of Computing. 23: 607-626. DOI: 10.1007/S00165-010-0154-3  1
2009 Pike SM, Heym WD, Adcock B, Bronish D, Kirschenbaum J, Weide BW. Traditional assignment considered harmful Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 909-916. DOI: 10.1145/1639950.1640056  1
2009 Kirschenbaum J, Adcock B, Bronish D, Smith H, Harton H, Sitaraman M, Weide BW. Verifying component-based software: Deep mathematics or simple bookkeeping? Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5791: 31-40. DOI: 10.1007/978-3-642-04211-9_4  1
2008 Weide BW, Sitaraman M, Harton HK, Adcock B, Bucci P, Bronish D, Heym WD, Kirschenbaum J, Frazier D. Incremental benchmarks for software verification tools and techniques Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5295: 84-98. DOI: 10.1007/978-3-540-87873-5-10  1
2007 Adcock B, Bucci P, Heym WD, Hollingsworth JE, Long T, Weide BW. Which pointer errors do students make? Sigcse 2007: 38th Sigcse Technical Symposium On Computer Science Education. 9-13. DOI: 10.1145/1227310.1227317  1
2007 Kulczycki G, Keown H, Sitaraman M, Weide BW. Abstracting pointers for a verifying compiler Proceedings - International Conference On Software Engineering. 204-213. DOI: 10.1109/SEW.2007.89  1
2006 Weide BW. SAVCBS 2006 challenge: Specification of iterators Proceedings of the 2006 Conference On Specification and Verification of Component-Based Systems, Savcbs 2006. 75-77. DOI: 10.1145/1181195.1181211  1
2006 Kulczycki G, Sitaraman M, Weide BW, Rountev A. A specification-based approach to reasoning about pointers Acm Sigsoft Software Engineering Notes. 31: 7. DOI: 10.1145/1108768.1123066  0.52
2005 Buehrer G, Weide BW, Sivilotti PAG. Using parse tree validation to prevent SQL injection attacks Sem 2005 - Proceedings of the 5th International Workshop On Software Engineering and Middleware. 106-113. DOI: 10.1145/1108473.1108496  1
2004 Sivilotti PAG, Weide BW. Research, teaching, and service: The miniconference as a model for CS graduate seminar courses Proceedings of the Sigcse Technical Symposium On Computer Science Education. 487-491. DOI: 10.1145/1028174.971464  1
2004 Howe E, Thornton M, Weide BW. Components-first approaches to CS1/CS2: Principles and practice Proceedings of the Sigcse Technical Symposium On Computer Science Education. 291-295. DOI: 10.1145/1028174.971404  1
2004 Edwards SH, Sitaraman M, Weide BW, Hollingsworth J. Contract-checking wrappers for C++ classes Ieee Transactions On Software Engineering. 30: 794-810. DOI: 10.1109/Tse.2004.80  1
2003 Sridhar N, Pike SM, Weide BW. Dynamic module replacement in distributed protocols Proceedings - International Conference On Distributed Computing Systems. 620-627.  1
2002 Sridhar N, Weide BW, Bucci P. Service facilities: Extending abstract factories to decouple advanced dependencies Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2319: 309-326.  1
2002 Bucci P, Heym W, Long TJ, Weide BW. Algorithms and object-oriented programming: Bridging the gap Sigcse Bulletin (Association For Computing Machinery, Special Interest Group On Computer Science Education). 302-306.  1
2001 Bucci P, Long TJ, Weide BW. Do we really teach abstraction? Sigcse Bulletin (Association For Computing Machinery, Special Interest Group On Computer Science Education). 26-30.  1
2001 Weide BW. Our mark on the world Ieee Software. 18.  1
2001 Sitaraman M, Long TJ, Weide BW, Harner EJ, Wang L. A formal approach to component-based software engineering: Education and evaluation Proceedings - International Conference On Software Engineering. 601-609.  1
2000 Pike SM, Weide BW, Hollingsworth JE. Checkmate: Cornering C++ dynamic memory errors with checked pointers Sigcse Bulletin (Association For Computing Machinery, Special Interest Group On Computer Science Education). 352-356.  1
2000 Sitaraman M, Atkinson S, Kulczycki G, Weide BW, Long TJ, Bucci P, Heym W, Pike S, Hollingsworth JE. Reasoning about software-component behavior Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1844: 266-283.  1
2000 Sitaraman M, Weide BW, Long TJ, Ogden WF. A data abstraction alternative to data structure/algorithm modularization Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1766: 102-113.  1
2000 Hollingsworth JE, Blankenship L, Weide BW. Experience report: Using RESOLVE/C++ for commercial software Proceedings of the Acm Sigsoft Symposium On the Foundations of Software Engineering. 11-19.  1
1998 Long TJ, Weide BW, Bucci P, Gibson DS, Hollingsworth J, Sitaraman M, Edwards S. Providing intellectual focus to CS1/CS2 Sigcse Bulletin (Association For Computing Machinery, Special Interest Group On Computer Science Education). 30: 252-256.  1
1997 Sitaraman M, Weide BW, Ogden WF. On the practical need for abstraction relations to verify abstract data type representations Ieee Transactions On Software Engineering. 23: 157-170. DOI: 10.1109/32.585503  1
1995 Zweben SH, Edwards SH, Weide BW, Hollingsworth JE. The Effects of Layering and Encapsulation on Software Development Cost and Quality Ieee Transactions On Software Engineering. 21: 200-208. DOI: 10.1109/32.372147  1
1994 Weide BW, Ogden WF, Sitaraman M. Recasting Algorithms to Encourage Reuse Ieee Software. 11: 80-88. DOI: 10.1109/52.311066  1
1994 Weide BW, Harms DE, Lamb Da, Edwards SH. Design and Specification of Iterators Using the Swapping Paradigm Ieee Transactions On Software Engineering. 20: 631-643. DOI: 10.1109/32.310672  1
1991 Harms DE, Weide BW. Copying and Swapping: Influences on the Design of Reusable Software Components Ieee Transactions On Software Engineering. 17: 424-435. DOI: 10.1109/32.90445  1
1991 Weide BW, Ogden WF, Zweben SH. Reusable Software Components Advances in Computers. 33: 1-65. DOI: 10.1016/S0065-2458(08)60164-3  1
1987 Schwan K, Bihari T, Weide BW, Taulbee G. High-Performance Operating System Primitives for Robotics and Real-Time Control Systems Acm Transactions On Computer Systems (Tocs). 5: 189-231. DOI: 10.1145/24068.24070  1
1984 Weide BW, Brown ME, Ramanathan J, Schwan K. Process Control: Integration and Design Methodology Support Computer. 17: 27-32. DOI: 10.1109/MC.1984.1659052  1
1982 Weide BW. Modeling unusual behavior of parallel algorithms Ieee Transactions On Computers. 1126-1130. DOI: 10.1109/TC.1982.1675930  1
1978 Weide BW, Andrews LT, Iannone AM. Real-time analysis of EEG using Walsh transforms. Computers in Biology and Medicine. 8: 255-63. PMID 729359 DOI: 10.1016/0010-4825(78)90027-6  1
1978 Fredman ML, Weide B. On the Complexity of Computing the Measure of ∪[ai,bi] Communications of the Acm. 21: 540-544. DOI: 10.1145/359545.359553  1
Show low-probability matches.