James R. Edmondson

According to our database, James R. Edmondson authored at least 16 papers between 2005 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Extensible collaborative autonomy using GAMS.

Anton Dukeman, Julie A. Adams, James R. Edmondson

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

Input Attribution for Statistical Model Checking Using Logistic Regression.

Jeffery P. Hansen, Sagar Chaki, Scott A. Hissam, James R. Edmondson, Gabriel A. Moreno, David Kyle

Proceedings of the Runtime Verification - 16th International Conference, 2016

2014

Next-Generation Mobile Computing.

James R. Edmondson, William Anderson, Jeff Gray, Joseph P. Loyall, Klaus Schmid, Jules White

IEEE Softw., 2014

Toward parameterized verification of synchronous distributed applications.

Sagar Chaki, James R. Edmondson

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Model-Driven Verifying Compilation of Synchronous Distributed Applications.

Sagar Chaki, James R. Edmondson

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

2012

Control and Validation Mechanisms for Information, Resources, and Deployments in Distributed Real-time and Embedded Systems.

James R. Edmondson

PhD thesis, 2012

Approximation Techniques for Maintaining Real-Time Deployments Informed by User-Provided Dataflows within a Cloud.

James R. Edmondson, Aniruddha S. Gokhale, Douglas C. Schmidt

Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

2011

Dynamic policy-driven quality of service in service-oriented information management systems.

Joseph P. Loyall, Matthew Gillen, Aaron Paulos, Larry Bunch, Marco M. Carvalho, James R. Edmondson, Douglas C. Schmidt, Andrew Martignoni, Asher Sinclair

Softw. Pract. Exp., 2011

Automating testing of service-oriented mobile applications with distributed knowledge and reasoning.

James R. Edmondson, Aniruddha S. Gokhale, Sandeep Neema

Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

QoS-Enabled Distributed Mutual Exclusion in Public Clouds.

James R. Edmondson, Douglas C. Schmidt, Aniruddha S. Gokhale

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2011, 2011

Design of a Scalable Reasoning Engine for Distributed, Real-Time and Embedded Systems.

James R. Edmondson, Aniruddha S. Gokhale

Proceedings of the Knowledge Science, Engineering and Management, 2011

2010

Tools for Continuously Evaluating Distributed System Qualities.

James H. Hill, Douglas C. Schmidt, James R. Edmondson, Aniruddha S. Gokhale

IEEE Softw., 2010

Multi-agent distributed adaptive resource allocation (MADARA).

James R. Edmondson, Douglas C. Schmidt

Int. J. Commun. Networks Distributed Syst., 2010

Dynamic Policy-Driven Quality of Service in Service-Oriented Systems.

Joseph P. Loyall, Matthew Gillen, Aaron Paulos, James R. Edmondson, Pooja Varshneya, Douglas C. Schmidt, Larry Bunch, Marco M. Carvalho, Andrew Martignoni

Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2010

2009

Unit Testing Non-functional Concerns of Component-based Distributed Systems.

James H. Hill, Hamilton A. Turner, James R. Edmondson, Douglas C. Schmidt

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2005

M Pivot Sort - Replacing Quick Sort.

James R. Edmondson

Proceedings of the 2005 International Conference on Algorithmic Mathematics and Computer Science, 2005