Scholar
Jianqi SHI
Google Scholar ID: Rq6ROuMAAAAJ
National Trustworthy Embedded Software Research Center, East China Normal University
Citations & Impact
Citations
798
H-index
16
i10-index
23
Publications
20
Co-authors
8
list available
Contact
No contact links provided.
Publications
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Academic Achievements
- Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin. Formalization and Verification of the Powerlink Protocol using CSP. In the Proc. 23rd Asia-Pacific Software Engineering Conference (APSEC) 2016, Hamilton, New Zealand. (Accepted, Acceptance Rate:19.7%)
- Jianqi Shi, Jifeng He, Huibiao Zhu, Yanhong Huang, Xiaoxian Zhang. ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. In the Proc. 17th ICECCS, 2012, pp 293-301, Association for Computing Machinery, Paris, France.
- Jianqi Shi, Longfei Zhu, Huixing Fang, Huibiao Zhu, Jian Guo. xBIL - A Hardware Resource Oriented Binary Intermediate Language. In the Proc. 17th ICECCS, 2012, pp 211-219, Association for Computing Machinery, Paris, France.
- Jianqi Shi, Qin Li, Longfei Zhu, Xin Ye, Yanhong Huang, Huixing Fang and Fu Song. Towards A Binary Intermediate Language for Real-Time Embedded System. Mathematical Problems in Engineering, 2014, Volume 2014, a925402, pp 1-13, ISSN: 1563-5147.
- Jianqi Shi, Huixing Fang, Yanhong Huang, Fu Song, Jian Guo and Qin Li. Verifying Interrupt Properties of Real-Time Embedded System in Binary Code Perspective. The Scientific World Journal, 2014, Volume 2014, a451085, pp 1-14, ISSN: 1537-744X.
- Jianqi Shi, Longfei Zhu, Huibiao Zhu, Jian Guo, Huixing Fang, Xin Ye and Yanhong Huang. Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. In Proc. 6th TASE 2012, pp 223-226, IEEE Computer Society, Beijing, China.
- Jianqi Shi, Huixing Fang, Huibiao Zhu and Xin Ye. Formal Verification of OSEK/VDX Real-Time Operating System. Proc. 6th SERE(SSIRI), 2012, pp 124-133, Washington, D.C., USA.
- Jianqi Shi, Xin Ye, Liangyu Chen, Pei Zhang, Ningkang Jiang, ESF-An Extensive Service Foundation from Internet of Things Perspective, In Proc. 15th ISORC, 2012, pp 59-64, IEEE Computer Society, Shenzhen, China.
- Qin Li, Jianqi Shi*, Huibiao Zhu. A Formal Framework for Service Mashups with Dynamic Service Selection. In Proc. Innovation in Systems and Software Engineering. 2014, Volume 10, Issue 3 (2014), pp 219-234, ISSN: 1614-5046, Springer.
- Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David. Formal verification and simulation for platform screen doors and collision avoidance in subway control systems. In Proc. International Journal on Software Tools for Technology Transfer (STTT). 2014, Volume 16, Issue 4, pp 339-361, ISSN:1614-5046, Springer.
- Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin: Semantic Theories of Programs with Nested Interrupts. Frontiers of Computer Science, FCS. 2014.
- Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi*, Yang Liu. Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. TASE 2015: 55-62
- Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin. GPU Accelerated On-the-Fly Reachability Checking. ICECCS 2015: 100-109
- Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu and Jifeng He. The Validation and Verification of WSCDL. In Proc. 14th APSEC, 2007, pp 81-88, IEEE Computer Society, Nagoya, Japan.
- Huixing Fang, Huibiao Zhu, Jianqi Shi. An Object-Oriented Language for Modeling of Hybrid Systems. HASE 2015: 1-9
- Can Pan, Jian Guo, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou. Modeling and Verification of CAN Bus with Application Layer using UPPAAL. Electr. Notes Theor. Comput. Sci. 309: 31-49
Research Experience
- Deputy Director, National Engineering Research Center for Trusted Embedded Software / Engineering Research Center for Soft-Hardware Co-Design Technology and Applications, Ministry of Education
- Technical Advisor, United Nations Industrial Development Organization (UNIDO)
- Member, Standardization Committee for Industrial Process Measurement Control and Automation (TC24)/SC5
- Vice Chairman, Embedded and Pervasive Computing Subcommittee, Shanghai Computer Society
Education
- 2007 - 2012 East China Normal University, Computer Theory, Doctoral Degree
- 2003 - 2007 East China Normal University, Software Engineering, Bachelor's Degree
Background
- Research Interests: Formal methods, embedded operating systems, industrial internet software and hardware
- Professional Field: Software Engineering
- Introduction: Associate Researcher, Doctoral Supervisor, Teacher at the School of Software Engineering, East China Normal University, Deputy Director of the National Engineering Research Center for Trusted Embedded Software, Technical Advisor to UNIDO, Member of the Standardization Committee for Industrial Process Measurement Control and Automation (TC24)/SC5, Vice Chairman of the Embedded and Pervasive Computing Subcommittee of the Shanghai Computer Society.
