- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| i1 |      | Huixing Fang, Huibiao Zhu, Jianqi Shi: Apricot - An Object-Oriented Modeling Language for Hybrid Systems. CoRR abs/1304.6498 (2013) |
| 2012 | ||
| c9 | | Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye: xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS 2012: 211-219 |
| c8 | | Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang: ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS 2012: 293-301 |
| c7 | | Jianqi Shi, Xin Ye, Liangyu Chen, Pei Zhang, Ningkang Jiang: ESF - An Extensive Service Foundation from Internet of Things Perspective. ISORC Workshops 2012: 59-64 |
| c6 | | Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin: Investigating Time Properties of Interrupt-Driven Programs. SBMF 2012: 131-146 |
| c5 | | Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi: Formal Verification and Simulation: Co-verification for Subway Control Systems. TASE 2012: 145-152 |
| c4 | | Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye: Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. TASE 2012: 223-226 |
| 2011 | ||
| c3 | | Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu: Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE 2011: 27-34 |
| c2 | | Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi: Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. TASE 2011: 142-149 |
| 2007 | ||
| c1 | | Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He: The Validation and Verification of WSCDL. APSEC 2007: 81-88 |
Data released under the ODC-BY 1.0 license — See also our legal information page