软件工程学院

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 (2014)

Liangyu Chen, Jianqi Shi, Ningkang Jiang, An Information Infrastructure for Enterprise Computing Towards The Internet of Things. In Proc. ICISCI, 2011, pp 84-91, IEEE Computer Society, Harbin, China.

Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo and Huibiao Zhu. pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. In Proc. 21th APSEC, 2014, IEEE Computer Society, Jeju, Korea.

Qiu Fang, Xin Ye, Jianqi Shi and Xiaoxian Zhang. A New Approach for Developing Safety-Critical Software in Automotive Industry. In Proc. 5th ICSESS, 2014, pp 64-69,IEEE Computer Society, Beijing, China.Yanhong Huang, Yongxin Zhao, Jianqi Shi, and Huibiao Zhu: A Denotational Model for Interrupt-Driven Programs. In Proc. 6th ICST, 2013, pp 15-20, IEEE Computer Society, Luxembourg.

Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin: Investigating Time Properties of Interrupt-Driven Programs. In Proc. 15th SBMF, 2012, pp 131-146, Association for Computing Machinery, Natal, Brazil.

Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo and Huibiao Zhu. Modelling and Verifying the TTCAN Protocol Using Timed CSP. In Proc. 8th TASE, 2014, IEEE Computer Society, Changsha, China.

Longfei Zhu, Peng Liu, Zheng Wang, Jianqi Shi and Huibiao Zhu: A Timing Verification Framework for AUTOSAR OS Component Development based on Real-Time Maude. In Proc. 7th TASE, 2013, pp 29-36, IEEE Computer Society, Birmingham, UK.

Huixing Fang, Jian Guo, Huibiao Zhu and Jianqi Shi. Formal Verification and Simulation: Co-Verification for Subway Control Systems. In Proc. 6th TASE, 2012, pp 145-152, IEEE Computer Society, Beijing, China.

Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu. Formalising Application Programming Interfaces of the OSEK/VDX Operating System Specification. In Proc. 5th TASE, 2011, pp 27-34, IEEE Computer Society, Xian, China.

Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi. Modelling and verifying the code-level OSEK/VDX operating system with CSP. In Proc. 5th TASE, 2011, pp 142-149, IEEE Computer Society, Xian, China.