成员

 

   

Name

石海鹤

Professional Title

Professor       

Research Fields

Component-based software engineering, model-driven software development, software formal method, biological computing

E-mail

haiheshi@163.com

Short Bio I am a teacher in the College of Computer Information and Engineering at Jiangxi Normal University, Nanchang, China. I graduated from Institute of Software, Chinese Academy of Sciences in 2010 and gained PhD degree of computer software and theory. Now my main research interests include model-driven software development, component-based software engineering, and software formal method.
Publications

1. Haihe Shi, Jinyun Xue. Research on Automated Sorting Algorithms Generation Based on PAR. Journal of Software, 2012,23(9):2248-2260 (in Chinese with English abstract).
2. Haihe Shi, Jinyun Xue. Development of a Set of Reliable Searching Algorithmic Programs based on PAR. Journal of Computer Research and Development, 2010, 47(s): 204-208 (in Chinese with English abstract).
3. Haihe Shi, Jinyun Xue. PAR-based Formal Development of Algorithms. Chinese Journal of Computers, 2009, 32(5): 982-991 (in Chinese with English abstract).
4. Haihe Shi, and Jinyun Xue. Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs. International Journal of Computer Information Science, 2008, 9(2): 29-35.
5. Haihe Shi, Jinyun Xue. A Generative Approach to Searching Algorithmic Programs Development. In: Proceedings of 5th IEEE Int’l Conf. Theoretical Aspects of Software Engineering (TASE2011), Xi’an, China, 2011.
6. Haihe Shi, Jinyun Xue. Formal Derivation of Two Algorithms Involving Sequences. In: Proceedings of 10th IEEE/ACIS Int'l Conf. Computer and Information Science (ICIS2011), Hainan, China, 2011.
7. Haihe Shi, Jinyun Xue. Generating Provably Correct Algorithmic Programs from Formal Specifications. In: Proceedings of 10th Int’l Conf. Quality Software (QSIC2010), Zhangjiajie, China, 2010.
8. Haihe Shi, Jinyun Xue, and Dawei Du. A Mechanical Approach for Deriving Algorithmic Programs. In: Proceedings of 7th IEEE/ACIS Int’l Conf. Computer and Information Science (ICIS 2008), Portland, Oregon, USA, 2008.
9. Haihe Shi, Dawei Du, and Jinyun Xue. Generating Algorithms plus Loop invariants by Formal Derivation. In: Proceedings of 7th IEEE/ACIS Int’l Conf. Computer and Information Science (ICIS 2008), Portland, Oregon, USA, 2008.

Projects

1. “Efficient Dynamic Programming in Biosequence Analysis via Formal Components Assembly under PAR Framework”, National Natural Science Foundation of China (No. 61662035), 2017-2020.

2. “Model-driven Automated Generation for Highly-reliable Graph Algorithm Components”, National Natural Science Foundation of China (No.61363013), 2014-2017.


Personal profile