Yuan Ling

Phone:027-87543104

Email:cherryyuanling@hust.edu.cn

Academic Areas:Software Engineering

Research Interests:

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.


Academic Degrees*

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.


Professional Experience*

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.


Selected Publications*

  • 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.


Working Papers*

Selected Cases

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.

Courses Taught

Software Engineering Data Structure

Centers/Programs

In The Media