Jian Guo

Publication Activity (10 Years)

Years Active: 2011-2021
Publications (10 Years): 9

Top Topics

Perceptron Learning

Modelling Language

Formal Verification

Top Venues

Mob. Networks Appl.

Electron. Notes Theor. Comput. Sci.

J. Circuits Syst. Comput.

Publications

Yuqian Guan, Jian Guo, Qin Li
Formal Verification of a Hybrid IoT Operating System Model. IEEE Access 9 (2021)
Yuqian Guan, Jian Guo
Adaptive Layered Segregated Fit Scheme for Dynamic Memory Allocation. J. Circuits Syst. Comput. 30 (15) (2021)
Xin Li, Jian Guo, Yongxin Zhao, Xiaoran Zhu
Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective. J. Circuits Syst. Comput. 28 (10) (2019)
Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications. IEEE Trans. Reliab. 68 (3) (2019)
Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh
Formal Analysis of the PKMv3 Protocol. Mob. Networks Appl. 23 (1) (2018)
Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh
Modeling and Verifying HDFS Using Process Algebra. Mob. Networks Appl. 22 (2) (2017)
Xiaoran Zhu, Min Zhang, Jian Guo
Towards an executable semantics of automobile RTOS standard and its application to conformance verification. CoRR (2017)
Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu
Formalization and Verification of the PKMv3 Protocol Using CSP. COMPSAC (1) (2017)
Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo
Modeling and Verifying HDFS Using CSP. COMPSAC (2016)
Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao
Formal Verification of PKMv3 Protocol Using DT-Spin. TASE (2015)
Yiting Tang, Xi Wu, Huibiao Zhu, Jian Guo
Formalization and Verification of REST Architecture in Viewpoints. HASE (2015)
Can Pan, Jian Guo, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou
Modeling and Verification of CAN Bus with Application Layer using UPPAAL. Electron. Notes Theor. Comput. Sci. 309 (2014)
Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu
pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. APSEC (1) (2014)
Ting Yuan, Yiting Tang, Xi Wu, Yue Zhang, Huibiao Zhu, Jian Guo, Weijun Qin
Formalization and Verification of REST on HTTP Using CSP. Electron. Notes Theor. Comput. Sci. 309 (2014)
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. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu
Modeling and Verifying the TTCAN Protocol Using Timed CSP. TASE (2014)
Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo
Modeling and Verification of AUTOSAR OS and EMS Application. TASE (2013)
Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi
Formal Verification and Simulation: Co-verification for Subway Control Systems. TASE (2012)
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)
Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye
xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS (2012)
Wen Su, Fan Yang, Xiaofeng Wu, Jian Guo, Huibiao Zhu
Formal Approaches to Mode Conversion and Positioning for Vehicle System. COMPSAC Workshops (2011)
Han Zhu, Huibiao Zhu, Si Liu, Jian Guo
Towards Denotational Semantics for Verilog in PVS. SSIRI (Companion) (2011)