Wayne D. Heym

	2011
9		Murali Sitaraman, Bruce M. Adcock, Jeremy Avigad, Derek Bronish, Paolo Bucci, David Frazier, Harvey M. Friedman, Heather K. Harton, Wayne D. Heym, Jason Kirschenbaum, Joan Krone, Hampton Smith, Bruce W. Weide: Building a push-button RESOLVE verifier: Progress and challenges. Formal Asp. Comput. 23(5): 607-626 (2011)
	2009
8		Scott 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
7		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
6		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
5		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
4		Paolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce W. Weide: Algorithms and object-oriented programming: bridging the gap. SIGCSE 2002: 302-306
	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
	1995
2		Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth: Reverse Engineering of Legacy Code Exposed. ICSE 1995: 327-331
	1992
1		Stuart H. Zweben, Wayne D. Heym, Jon Kimmich: Systematic Testing of Data Abstractions Based on Software Specifications. Softw. Test., Verif. Reliab. 1(4): 39-55 (1992)

Coauthor Index

1	Bruce M. Adcock	[6] [7] [8] [9]
2	Steven Atkinson	[3]
3	Jeremy Avigad	[9]
4	Derek Bronish	[7] [8] [9]
5	Paolo Bucci	[3] [4] [5] [6] [7] [9]
6	David Frazier	[7] [9]
7	Harvey M. Friedman (Harvey Friedman)	[9]
8	Heather K. Harton	[7] [9]
9	Joseph E. Hollingsworth	[2] [3] [6]
10	Jon Kimmich	[1]
11	Jason Kirschenbaum	[7] [8] [9]
12	Joan Krone	[9]
13	Gregory Kulczycki	[3]
14	Timothy J. Long	[3] [4] [6]
15	Scott M. Pike	[3] [8]
16	Giorgio Rizzoni	[5]
17	Murali Sitaraman	[3] [5] [7] [9]
18	Hampton Smith	[9]
19	Bruce W. Weide	[2] [3] [4] [5] [6] [7] [8] [9]
20	Stuart H. Zweben (Stu Zweben)	[1]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page