Associate Professor

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.

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

Login and edit information