Wayne D. Heym - RankMe

13 papers A* 1A 2B 3Journal 4Unranked 3

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions. CSEE&T Wayne D. Heym, Paolo A. G. Sivilotti, Paolo Bucci, Murali Sitaraman, Kevin Plis, Joseph E. Hollingsworth, Joan Krone, Nigamanth Sridhar
2013	B	`conf`	A Language for Building Verified Software Components. ICSR Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai
2011	J	`jnl`	Building a push-button RESOLVE verifier: Progress and challenges. Formal Aspects Comput. 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
2009	—	`conf`	Traditional assignment considered harmful. OOPSLA Companion Scott M. Pike, Wayne D. Heym, Bruce M. Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide
2008	—	`conf`	Incremental Benchmarks for Software Verification Tools and Techniques. VSTTE Bruce W. Weide, Murali Sitaraman, Heather K. Harton, Bruce M. Adcock, Paolo Bucci, Derek Bronish, Wayne D. Heym, Jason Kirschenbaum, David Frazier
2007	A	`conf`	Which pointer errors do students make? SIGCSE Bruce M. Adcock, Paolo Bucci, Wayne D. Heym, Joseph E. Hollingsworth, Timothy J. Long, Bruce W. Weide
2005	J	`jnl`	Issues in performance certification for high-level automotive control software. ACM SIGSOFT Softw. Eng. Notes Bruce W. Weide, Paolo Bucci, Wayne D. Heym, Murali Sitaraman, Giorgio Rizzoni
2002	A	`conf`	Algorithms and object-oriented programming: bridging the gap. SIGCSE Paolo Bucci, Wayne D. Heym, Timothy J. Long, Bruce W. Weide
2000	B	`conf`	Reasoning about Software-Component Behavior. ICSR Murali Sitaraman, Steven Atkinson, Gregory Kulczycki, Bruce W. Weide, Timothy J. Long, Paolo Bucci, Wayne D. Heym, Scott M. Pike, Joseph E. Hollingsworth
1996	B	`conf`	Characterizing observability and controllability of software components. ICSR Bruce W. Weide, Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, William F. Ogden
1995	A*	`conf`	Reverse Engineering of Legacy Code Exposed. ICSE Bruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth
1994	J	`jnl`	Part II: specifying components in RESOLVE. ACM SIGSOFT Softw. Eng. Notes Stephen H. Edwards, Wayne D. Heym, Timothy J. Long, Murali Sitaraman, Bruce W. Weide
1992	J	`jnl`	Systematic Testing of Data Abstractions Based on Software Specifications. Softw. Test. Verification Reliab. Stuart H. Zweben, Wayne D. Heym, Jon Kimmich