Yi Wei
Title
Cited by
Cited by
Year
Service-oriented computing and cloud computing: Challenges and opportunities
Y Wei, MB Blake
Internet Computing, IEEE 14 (6), 72-75, 2010
4762010
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
792013
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
522012
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
382013
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
382013
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
29*2011
Proactive virtualized resource management for service workflows in the cloud
Y Wei, MB Blake
Computing 98 (5), 523-538, 2016
282016
Robots on the web
MB Blake, SL Remy, Y Wei, AM Howard
IEEE robotics & automation magazine 18 (2), 33-43, 2011
262011
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
252013
Adaptive resource management for service workflows in cloud environments
Y Wei, MB Blake, I Saleh
2013 IEEE International Symposium on Parallel & Distributed Processing …, 2013
172013
An agent-based services framework with adaptive monitoring in cloud environments
Y Wei, MB Blake
2012 IEEE 21st International Workshop on Enabling Technologies …, 2012
132012
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
102015
Decentralized resource coordination across service workflows in a cloud environment
Y Wei, MB Blake
2013 Workshops on Enabling Technologies: Infrastructure for Collaborative …, 2013
92013
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
82016
Adaptive web services monitoring in cloud environments
Y Wei, MB Blake
International Journal of Web Portals (IJWP) 5 (1), 15-27, 2013
72013
Static Detection of Implementation Errors Using Formal Code Specification
I Saleh, G Kulczycki, MB Blake, Y Wei
International Conference on Software Engineering and Formal Methods, 197-211, 2013
62013
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
62013
Monitoring, configuration and resource management of service workflows in virtualized clusters and clouds
Y Wei
University of Notre Dame, 2013
12013
FORMAL METHODS FOR THE SPECIFICATION AND TESTING OF DATA-CENTRIC WEB SERVICES: A CASE STUDY
I Saleh, G KulczyckiŢ, MB Blake, Y Wei
International Journal of Services Computing, 39, 0
Comparative Symbolic Execution for Unbounded Loops Using Loop Co-Invariants
SF Siegel, Y Wei, TK Zirkel
The system can't perform the operation now. Try again later.
Articles 1–20