I am an associate professor in the Advanced Data Engineering and real-time computing (ADE) lab, School of Computer Science, Huazhong University of Science and Technology. My current research interests are related to Formal Methods, Software Architecture, and Software Fault tolerance.
PhD, 2008, School of Computer Science, National University of Singapore;
Master, 2002, the Key Laboratory of Software Engineering, Wuhan University;
Bachelor of Computer Science, 1997, School of Computer Science, Wuhan Univerity.
Associate Professor ( 2011- ). School of Computer Science,
Huazhong University of Science and Technology.
Assistant Professor ( 2008-2011). School of Computer Science, Huazhong University of Science and Technology.
Research Assistant (2006-2008). School of Computer Science,
National University of Singapore.
Tian Huat Tan, Étienne André, Manman Chen, Jun Sun, Yang Liu, Jin Song Dong, and Ling Yuan*. Automated Synthesis of Local Time Requirement for Service Composition. IEEE Transactions on Software Engineering.(Accepted)
Hesuan Hu, Yang Liu, and Ling Yuan*, "Supervisor simplification in FMSs: Comparative studies and new results using Petri nets", IEEE Transactions on Control Systems Technology. (Accepted)
Ling Yuan，Ping Fan. Verification of Dependable Architecture based on Prototype Verification System. Information Technology Applications in Industry, Computer Engineering and Materials Science, Vols.756-759(2013).pp 2315-2319.
Ling Yuan, Ping Fan. Formal Modeling and Verification of Multi-agent System Architecture.2013 AASRI Conference on Parallel and Distributed Computing and Systems. AASRI Procedia 5(2013). pp126-132.
Yunfeng Xu, Ping Fan, and Ling Yuan. A Simple and Efficient Artificial Bee Colony Algorithm. Mathematical Problems in Engineering. Vol (2013), pp1-9, 2013.
Ping Fan, Guohui Li, and Ling Yuan*. Vague Continuous K-Nearest Neighbor Queries over Moving Objects with Uncertain Velocity in Road Networks. Information Systems. 37:13-32, 2012.
Guohui Li, Ping Fan, and Ling Yuan. Continuous K-Nearest Neighbor Processing Based on Speed and Direction of Moving Objects in a Road Network. Telecommunication Systems，2012.
National Natural Science Foundation (610059) Natural Science Foundation of Hubei Province (2010CDB02301) Scientific Research Foundation for the Returned Oversea , Ministry of Education of China (2010-174) Doctoral Fund of Ministry of Education of China (20090142120026)
Awards and Honors
The Supervisor of Best Bachelor Thesis of Hubei Province, 2014.
Software Engineering Data Structure