Verification of Compartmental Epidemiological Models using Metamorphic Testing, Model Checking and Visual Analytics... Conference Paper December, 2012
D-Factor: A Quantitative Model of Application Slow-Down in Multi-Resource Shared Systems Conference Paper June, 2012
MROrchestrator: A Fine-Grained Resource Orchestration Framework for MapReduce Clusters... Conference Paper June, 2012
A Hybrid Sensitivity Analysis Approach for Agent-based Disease Spread Models... Conference Paper June, 2012
