2008 |
9 | EE | 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 |
8 | EE | 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 |
2005 |
7 | EE | Bruce 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) |
2002 |
6 | EE | Nigamanth Sridhar,
Bruce W. Weide,
Paolo Bucci:
Service Facilities: Extending Abstract Factories to Decouple Advanced Dependencies.
ICSR 2002: 309-326 |
5 | EE | Paolo Bucci,
Wayne D. Heym,
Timothy J. Long,
Bruce W. Weide:
Algorithms and object-oriented programming: bridging the gap.
SIGCSE 2002: 302-306 |
2001 |
4 | EE | Paolo Bucci,
Timothy J. Long,
Bruce W. Weide:
Do we really teach abstraction?
SIGCSE 2001: 26-30 |
2000 |
3 | | 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 |
1999 |
2 | EE | Timothy J. Long,
Bruce W. Weide,
Paolo Bucci,
Murali Sitaraman:
Client view first: an exodus from implementation-biased teaching.
SIGCSE 1999: 136-140 |
1998 |
1 | EE | 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 |