James R. Edmondson
According to our database1, James R. Edmondson authored at least 14 papers between 2005 and 2016.
Legend:Book In proceedings Article PhD thesis Other
Input Attribution for Statistical Model Checking Using Logistic Regression.
Proceedings of the Runtime Verification - 16th International Conference, 2016
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
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
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
Tools for Continuously Evaluating Distributed System Qualities.
IEEE Software, 2010
Multi-agent distributed adaptive resource allocation (MADARA).
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
Unit Testing Non-functional Concerns of Component-based Distributed Systems.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009
M Pivot Sort - Replacing Quick Sort.
Proceedings of the 2005 International Conference on Algorithmic Mathematics and Computer Science, 2005