Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Michael M. Tadesse
Tidjani Négadi
Daniel P. Kennedy
Barbara Aquilani
Emiliano Dall'Anese
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Jim H.A. Blom
Home
/
Author
/
WAYNE D. HEYM
Author Info
Open Visualization
Name
Affiliation
Papers
WAYNE D. HEYM
The Ohio State University, Columbus, USA OH 43210
12
Collaborators
Citations
PageRank
36
111
11.70
Referers
Referees
References
242
229
126
Search Limit
100
242
Publications (12 rows)
Collaborators (36 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions
1
0.36
2017
A Language for Building Verified Software Components.
0
0.34
2013
Building a push-button RESOLVE verifier: Progress and challenges
28
1.72
2011
Traditional assignment considered harmful
0
0.34
2009
Incremental Benchmarks for Software Verification Tools and Techniques
19
1.10
2008
Which pointer errors do students make?
2
0.41
2007
Issues in performance certification for high-level automotive control software
0
0.34
2005
Algorithms and object-oriented programming: bridging the gap
3
0.57
2002
Reasoning about Software-Component Behavior
16
1.90
2000
Characterizing Observability and Controllability of Software Components
8
1.11
1996
Reverse engineering of legacy code exposed
13
1.15
1995
Systematic Testing of Data Abstractions Based on Software Specifications
21
2.37
1992
1