成员

 

Name

游珍

Professional Title

Associate Professor     

Research Fields

Concurrent and Distributed Programming Language, Formal Verification of Software, Model Driven Development, Big Data, Virtual Reality

E-mail

youzhenjxnu@163.com

Short Bio

I received Ph. D in Computer Science from Wuhan University in 2014. Now I am a lecturer of Jiangxi Normal University and was selected to Youth Talent in Cultivation Plan of Jiangxi Normal University. I am a Senior Member of CCF (China Computer Federation) and a Council Member of JXCF (Jiangxi Computer Federation). I presided 1 National Natural Science Foundation project, 2 Jiangxi Provincial Natural Science Foundation projects, 2 Jiangxi Provincial Education Department's science and technology projects and 2 university research projects.

Publications

1. Zhen You, Jinyun Xue, Zhangkang Zuo. Unified Formal Derivation and Automatic Verification of Three Binary-tree Traversal Non-recursive Algorithms [J]. Cluster Computing-The Journal of Networks Software Tools and Applications, 19(4):2145-2156,2016 (SCI-WOS:000388972000035,IF=1.514)

2. Zhen You, Jinyun Xue. Orchestration Combinators in Apla+ Lanugge[C]. Springer International Publishing, Lecture Notes in Computer Science, Volume 10189: 3-14, 2017 (EI:20171703613263)

3. Zhen You , Jinyun Xue, Qimin Hu, Yi Hong. Formal Semantics of Orc Based on TLA+ [C], Lecture Notes in Computer Science, Volume 8979: 147-163, 2015  (EI:20152100879294)

4. Zhen You, Jinyun Xue, Shi Ying, Dongming Jiang, Qimin Hu. Formalization of Distributed and Dynamic Resources Allocation Using Category Theory [J]. Journal of Software. Vol. 8, No. 12:3088~3095, 2013 (EI:20140117152914)

5. Zhen You, Jinyun Xue, Shi Ying, Tangliu Wen, Wuping Xie. Unified Categorical Models for Three Typical Resource Allocation Problems [J]. Journal of Information & Computational Science. Vol. 10 (14) : 4691~ 4701, 2013 (EI:20134316893956)

6. Zhen You, Jinyun Xue, Shi Ying. Research on Concurrent and Distributed Mechanism of Apla Language [J]. Computer Science(Chinese),Vol. 39, No. 1, P.104~108, 2012

7. Zhen You, Jinyun Xue, Shi Ying. Categorial Semantics of a Solution to Distributed Dining Philosophers Problem[C]. In: Frontiers in Algorithmics - 4th International Workshop, FAW 2010, Proceedings, Lecture Notes in Computer Science, Volume 6213, 2010,  (EI: 20103413187202)

8. Zhen You, Jinyun Xue. Formal Verification of Algorithmic Programs Based on Isabelle Theorem Prover[J], Computer Engineering and Science(Chinese), 31(10), 2009

9. Zhen You, Jinyun Xue. Formal Derivation and Correctness Proof of Non-recursion Algorithm for Tower-of-Hanoi[J]. Journal of Computer Research and Development(Chinese), 45(z1), P.143~147, 2008

10. Huazhen Xu, Zhen You*, Jinyun Xue. Automatic Verification of Non-recursive Algorithm of Hanoi Tower by Using Isabelle Theorem Prover[C]. 17th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD), Shanghai, China, pp. 13-18, May, 2016. (EI:20163502746749)

11. Zhengkang Zuo, Zhen You, Jinyun Xue. Formal Derivation and Proof of Postorder Traversal Binary Tree Non-recursion Algorithm[J], Computer Engineering and Science(Chinese), 32(3), 119-123, 2010

12. Qimin Hu, Jinyun Xue, Zhen You. Formal development of Linear Structure Reusable Components in PAR Platform[C]. Springer International Publishing, Lecture Notes in Computer Science, Volume 10189: 85-97, 2017 (EI)

13. Qimin Hu, Jinyun Xue, Zhen You. Research on Formal Development of Non-Recursive Algorithms of Graph Search[C]. Springer International Publishing, Lecture Notes in Computer Science, Volume 9559: 165-178, 2016 (EI:20161302150795)

14. Tangliu Wen, Jie Peng, Zhen You. Soundness of Conjunction Rule in Concurrent Separation Logic [J]. Journal of Computational Information Systems 10: 16 (2014) 6833-6847 (EI:20144600200313)

15. Dongming Jiang, Yuan Jiang, Wuping Xie, Zhen You. A novel service selection based on resource-directive decomposition [C]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), v 7923 LNCS, p 649-654, 2013 (EI:20132916507645)

16. Dongming Jiang, Jinyun Xue, Wuping Xie, Zhen You. The forgetting mechanism in Dirichlet Reputation System [J]. Journal of Computational Information Systems, 2012/8(16), 2012 (EI: 20123915472561)

17. Song Lan, Xue Jinyun, Hu Qimin, Xie Wuping, Jiang Dongming, You Zhen. Research of Automatic Verification Method about Radio Frequency Identification Protocol[J]. Computer Science(Chinese), Vol. 44, No. 9, P.99-104, Sep. 2017

 

Projects

1. Design of Concurrent Modeling Language Apla+ and Reliability Research Based on Model-Driven Development (Research Project Supported by The National Natural Science Foundation of China, Grant No. 61462041), Period: 2015~2018

2. Method of Trustworthy Verification in Concurrent and Distributed Computing of Big Data (Research Project Supported by The National Natural Science Foundation of Jiangxi Province, Grant No. 20171BAB202008), Period: 2017~2018

3. Research of New Concurrent and Distributed Mechanism Based on PAR (Research Project Supported by The National Natural Science Foundation of China Jiangxi Province, Grant No. 20132BAB211022), Period: 2013~2014

4. Formal Verification of Security and Liveness in Concurrent Computing (Science and Technology Research Project Supported by Educational Department of Jiangxi Province, Grant No.160329), Period: 2017~2018

5. Research on High Reliability of Concurrent and Distributed Modeling Language and its Related Theories (Science and Technology Research Project Supported by Educational Department of Jiangxi Province, Grant No. GJJ13231), Period: 2013~2014

6. Research on Simple Concurrent and Distributed Modelling Language (Doctoral Initial Project Supported by Jiangxi Normal University, Grant No. 6195), Period: 2014~2017

7. Research and Exploration of a Concurrent and Distributed Programming Language Orc (Growing-Youth Foundation Project Supported by Jiangxi Normal University, Grant No. 3174), Period: 2010~2012

I joined the following research projects.

1. New Concept of Loop Invariant and Automatic Detection Technology Research (Research Project Supported by The National Natural Science Foundation of China, Grant No. 61472167) , Project Director: XUE Jinyun, Period: 2015~2018

2. High-reliable Software Modeling Language and Method of Automatic Transformation of Models (Research Project Supported by The National Natural Science Foundation of China, Grant No. 61272075) , Project Director: XUE Jinyun, Period: 2013~2016

3. Several New Technologies and Application in PAR Platforms (Major International Cooperative Research Project Supported by The National Natural Science Foundation of China, Grant No. 61020106009), Project Director: XUE Jinyun, Period: 2010~2014

4. New High-reliability Software Development Platform and Related Theory (International Science and Technology Cooperation Project Supported by Ministry of Science and Technology Department of China, Grant No. 2008DFA11940), Project Director: XUE Jinyun, Period: 2008~2011

5. Some Common Key Technologies of Information System Application Software Based on PAR Platform (Research Project Supported by The National Natural Science Foundation of China, Grant No. 60773054), Project Director: XUE Jinyun, Period: 2008~2010

6. Key Technology Research on Generic Programming Based on PAR method and PAR platform (Research Project Supported by The National Natural Science Foundation of China, Grant No. 60573080), Project Director: XUE Jinyun, Period: 2006~2008

7. The First Software International Forum on New Technology in Computer Science (International Cooperation and Exchange Project Supported by The National Natural Science Foundation of China), Project Director: XUE Jinyun, Period: 2007

8. Research of Correctness of Algorithmic Program Model Transformation in PAR Platform (Research Project Supported by The National Natural Science Foundation of China, Grant No. 61662036), Project Director: HU Qimin, Period: 2017~2020

9. Research on Generic Constraint Methods Based on Algebraic Structure and Axiom Semantics (Research Project Supported by The National Natural Science Foundation of China, Grant No. 61462039), Project Director: ZUO Zhengkang, Period: 2015~2018

10. Research on Methods of Obtainment, Verification and Validation Formal Software Specification Radl (Research Project Supported by The National Natural Science Foundation of China, Grant No. 61363012), Project Director: Wang Changjin, Period: 2014~2017

 

Personal profile