James R. Edmondson

Publication Activity (10 Years)

Years Active: 2005-2016
Publications (10 Years): 2

Top Topics

Logistic Regression

Verification Method

Top Venues

Publications

Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle
Input Attribution for Statistical Model Checking Using Logistic Regression. RV (2016)
Anton Dukeman, Julie A. Adams, James R. Edmondson
Extensible collaborative autonomy using GAMS. SAC (2016)
Sagar Chaki, James R. Edmondson
Toward parameterized verification of synchronous distributed applications. SPIN (2014)
Sagar Chaki, James R. Edmondson
Model-Driven Verifying Compilation of Synchronous Distributed Applications. MoDELS (2014)
James R. Edmondson, William Anderson, Jeff Gray, Joseph P. Loyall, Klaus Schmid, Jules White
Next-Generation Mobile Computing. IEEE Softw. 31 (2) (2014)
James R. Edmondson, Aniruddha S. Gokhale, Douglas C. Schmidt
Approximation Techniques for Maintaining Real-Time Deployments Informed by User-Provided Dataflows within a Cloud. SRDS (2012)
James R. Edmondson, Douglas C. Schmidt, Aniruddha S. Gokhale
QoS-Enabled Distributed Mutual Exclusion in Public Clouds. OTM Conferences (2) (2011)
Joseph P. Loyall, Matthew Gillen, Aaron Paulos, Larry Bunch, Marco M. Carvalho, James R. Edmondson, Douglas C. Schmidt, Andrew Martignoni, Asher Sinclair
Dynamic policy-driven quality of service in service-oriented information management systems. Softw. Pract. Exp. 41 (12) (2011)
James R. Edmondson, Aniruddha S. Gokhale
Design of a Scalable Reasoning Engine for Distributed, Real-Time and Embedded Systems. KSEM (2011)
James R. Edmondson, Aniruddha S. Gokhale, Sandeep Neema
Automating testing of service-oriented mobile applications with distributed knowledge and reasoning. SOCA (2011)
James R. Edmondson, Douglas C. Schmidt
Multi-agent distributed adaptive resource allocation (MADARA). Int. J. Commun. Networks Distributed Syst. 5 (3) (2010)
Joseph P. Loyall, Matthew Gillen, Aaron Paulos, James R. Edmondson, Pooja Varshneya, Douglas C. Schmidt, Larry Bunch, Marco M. Carvalho, Andrew Martignoni
Dynamic Policy-Driven Quality of Service in Service-Oriented Systems. ISORC (2010)
James H. Hill, Douglas C. Schmidt, James R. Edmondson, Aniruddha S. Gokhale
Tools for Continuously Evaluating Distributed System Qualities. IEEE Softw. 27 (4) (2010)
James H. Hill, Hamilton A. Turner, James R. Edmondson, Douglas C. Schmidt
Unit Testing Non-functional Concerns of Component-based Distributed Systems. ICST (2009)
James R. Edmondson
M Pivot Sort - Replacing Quick Sort. AMCS (2005)