Service-oriented computing and cloud computing: Challenges and opportunities Y Wei, MB Blake Internet Computing, IEEE 14 (6), 72-75, 2010 | 569 | 2010 |
An operation-time simulation framework for UAV swarm configuration and mission planning Y Wei, MB Blake, GR Madey Procedia Computer Science 18, 1949-1958, 2013 | 128 | 2013 |
Applying DDDAS principles to command, control and mission planning for UAV swarms GR Madey, MB Blake, C Poellabauer, H Lu, RR McCune, Y Wei Procedia Computer Science 9, 1177-1186, 2012 | 55 | 2012 |
Investigations of dddas for command and control of uav swarms with agent-based modeling R McCune, R Purta, M Dobski, A Jaworski, G Madey, A Madey, Y Wei, ... 2013 Winter simulations conference (WSC), 1467-1478, 2013 | 46 | 2013 |
Agent-based simulation for uav swarm mission planning and execution Y Wei, GR Madey, MB Blake Proceedings of the Agent-Directed Simulation Symposium, 1-8, 2013 | 46 | 2013 |
A Functional Equivalence Verification Suite for High-Performance Scientific Computing SF Siegel, TK Zirkel, Y Wei Technical Report UDEL-CIS-2011/02, Department of Computer and Information …, 2011 | 34* | 2011 |
Proactive virtualized resource management for service workflows in the cloud Y Wei, MB Blake Computing 98, 523-538, 2016 | 31 | 2016 |
Adaptive service workflow configuration and agent-based virtual resource management in the cloud Y Wei, MB Blake 2013 IEEE International Conference on Cloud Engineering (IC2E), 279-284, 2013 | 28 | 2013 |
Robots on the web MB Blake, SL Remy, Y Wei, AM Howard IEEE robotics & automation magazine 18 (2), 33-43, 2011 | 24 | 2011 |
Adaptive resource management for service workflows in cloud environments Y Wei, MB Blake, I Saleh 2013 IEEE International Symposium on Parallel & Distributed Processing …, 2013 | 19 | 2013 |
An agent-based services framework with adaptive monitoring in cloud environments Y Wei, MB Blake 2012 IEEE 21st International Workshop on Enabling Technologies …, 2012 | 13 | 2012 |
Shared service recommendations from requirement specifications: A hybrid syntactic and semantic toolkit MB Blake, I Saleh, Y Wei, ID Schlesinger, A Yale-Loehr, X Liu Information and Software Technology 57, 392-404, 2015 | 11 | 2015 |
Modeling energy-aware web services and application P Bartalos, Y Wei, MB Blake, H Damgacioglu, I Saleh, N Celik Journal of Network and Computer Applications 67, 86-98, 2016 | 10 | 2016 |
Decentralized resource coordination across service workflows in a cloud environment Y Wei, MB Blake 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative …, 2013 | 9 | 2013 |
Formal Methods for Data-Centric Web Services: From Model to Implementation I Saleh, G Kulczycki, MB Blake, Y Wei 2013 IEEE 20th International Conference on Web Services, 332-339, 2013 | 6 | 2013 |
Static Detection of Implementation Errors Using Formal Code Specification I Saleh, G Kulczycki, MB Blake, Y Wei Software Engineering and Formal Methods: 11th International Conference, SEFM …, 2013 | 6 | 2013 |
Adaptive web services monitoring in cloud environments Y Wei, MB Blake International Journal of Web Portals (IJWP) 5 (1), 15-27, 2013 | 6 | 2013 |
Monitoring, configuration and resource management of service workflows in virtualized clusters and clouds Y Wei University of Notre Dame, 2013 | 1 | 2013 |
FORMAL METHODS FOR THE SPECIFICATION AND TESTING OF DATA-CENTRIC WEB SERVICES: A CASE STUDY I Saleh, G KulczyckiŢ, MB Blake, Y Wei | | |
Comparative Symbolic Execution for Unbounded Loops Using Loop Co-Invariants SF Siegel, Y Wei, TK Zirkel | | |