James R. Edmondson

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Input Attribution for Statistical Model Checking Using Logistic Regression.
Proceedings of the Runtime Verification - 16th International Conference, 2016

2014
Next-Generation Mobile Computing.
IEEE Software, 2014

Toward parameterized verification of synchronous distributed applications.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Model-Driven Verifying Compilation of Synchronous Distributed Applications.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014

2012
Approximation Techniques for Maintaining Real-Time Deployments Informed by User-Provided Dataflows within a Cloud.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

2011
Dynamic policy-driven quality of service in service-oriented information management systems.
Softw., Pract. Exper., 2011

Automating testing of service-oriented mobile applications with distributed knowledge and reasoning.
Proceedings of the 2011 IEEE International Conference on Service-Oriented Computing and Applications, 2011

QoS-Enabled Distributed Mutual Exclusion in Public Clouds.
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.
Proceedings of the Knowledge Science, Engineering and Management, 2011

2010
Tools for Continuously Evaluating Distributed System Qualities.
IEEE Software, 2010

Multi-agent distributed adaptive resource allocation (MADARA).
IJCNDS, 2010

Dynamic Policy-Driven Quality of Service in Service-Oriented Systems.
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.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

2005
M Pivot Sort - Replacing Quick Sort.
Proceedings of the 2005 International Conference on Algorithmic Mathematics and Computer Science, 2005


  Loading...