Joseph R. Ruthruff

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 0

Top Topics

Logical Inference

Predicate Calculus

Proof Procedure

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Geoffrey C. Hulette, Robert C. Armstrong, Jackson R. Mayo, Joseph R. Ruthruff
Theorem-Proving Analysis of Digital Control Logic Interacting with Continuous Dynamics. Electron. Notes Theor. Comput. Sci. 317 (2015)
C. Seshadhri, Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Joseph R. Ruthruff
Influence and Dynamic Behavior in Random Boolean Networks CoRR (2011)
Yevgeniy Vorobeychik, Jackson R. Mayo, Robert C. Armstrong, Joseph R. Ruthruff
Noncooperatively Optimized Tolerance: Decentralized Strategic Optimization in Complex Systems CoRR (2011)
Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel
Experimental program analysis. Inf. Softw. Technol. 52 (4) (2010)
Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian G. Elbaum, Gregg Rothermel
Predicting accurate and actionable static analysis warnings: an experimental approach. ICSE (2008)
Joseph R. Ruthruff
Experimental program analysis: a new paradigm for program analysis. ICSE (2006)
Joseph R. Ruthruff, Margaret M. Burnett, Gregg Rothermel
Interactive Fault Localization Techniques in a Spreadsheet Environment. IEEE Trans. Software Eng. 32 (4) (2006)
Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel
Experimental program analysis: a new program analysis paradigm. ISSTA (2006)
Joseph R. Ruthruff, Margaret M. Burnett, Gregg Rothermel
An empirical study of fault localization for end-user programmers. ICSE (2005)
Joseph R. Ruthruff, Margaret Burnett
Six challenges in supporting end-user debugging. WEUSE@ICSE (2005)
Joseph R. Ruthruff, Margaret M. Burnett
Six challenges in supporting end-user debugging. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Amit Phalgune, Cory Kissinger, Margaret M. Burnett, Curtis R. Cook, Laura Beckwith, Joseph R. Ruthruff
Garbage in, Garbage out? An Empirical Look at Oracle Mistakes by End-User Programmers. VL/HCC (2005)
Joseph R. Ruthruff, Shrinu Prabhakararao, James Reichwein, Curtis R. Cook, Eugene Creswick, Margaret M. Burnett
Interactive, visual fault localization support for end-user programmers. J. Vis. Lang. Comput. 16 (1-2) (2005)
Joseph R. Ruthruff, Amit Phalgune, Laura Beckwith, Margaret M. Burnett, Curtis R. Cook
Rewarding "Good" Behavior: End-User Debugging and Rewards. VL/HCC (2004)
T. J. Robertson, Shrinu Prabhakararao, Margaret M. Burnett, Curtis R. Cook, Joseph R. Ruthruff, Laura Beckwith, Amit Phalgune
Impact of interruption style on end-user debugging. CHI (2004)
Shrinu Prabhakararao, Curtis R. Cook, Joseph R. Ruthruff, Eugene Creswick, M. Main, Mike Durham
Strategies and behaviors of end-user programmers with interactive fault localization. HCC (2003)
Joseph R. Ruthruff, Eugene Creswick, Margaret M. Burnett, Curtis R. Cook, Shreenivasarao Prabhakararao, Marc Fisher II, M. Main
End-User Software Visualizations for Fault Localization. SOFTVIS (2003)