Yuemin Li

Papers

Total Citations

H-Index

About

Yuemin Li is a researcher whose work bridges formal verification, service-oriented computing, and trustworthy system design. Their key contributions center on developing rigorous methods to validate both functional and non-functional attributes of service compositions, addressing a critical gap in current verification practices. In their most-cited work, Li proposed an innovative approach that integrates non-functional attributes—such as security, performance, and reliability—into the inference rules of linear logic, enabling more comprehensive validation of composite services. This method, validated through the VIPLE platform and pi-calculus, offers a formal framework that extends beyond traditional functionality checks to ensure end-to-end trustworthiness in distributed systems. While their citation count (2 for their top paper) reflects an emerging career, the conceptual depth of their work signals potential for significant influence in formal methods and service engineering. Li's research is particularly relevant for students and practitioners seeking to build dependable, non-functional-aware systems in cloud, IoT, or microservice architectures.