Jian Guo

According to our database, Jian Guo authored at least 23 papers between 2011 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Adaptive Layered Segregated Fit Scheme for Dynamic Memory Allocation.

Yuqian Guan, Jian Guo

J. Circuits Syst. Comput., 2021

Formal Verification of a Hybrid IoT Operating System Model.

Yuqian Guan, Jian Guo, Qin Li

IEEE Access, 2021

2020

SAT-Based Automata Construction for LTL over Finite Traces.

Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

Toward a Unified Executable Formal Automobile OS Kernel and Its Applications.

Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He

IEEE Trans. Reliab., 2019

Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective.

Xin Li, Jian Guo, Yongxin Zhao, Xiaoran Zhu

J. Circuits Syst. Comput., 2019

2018

Formal Analysis of the PKMv3 Protocol.

Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh

Mob. Networks Appl., 2018

2017

Modeling and Verifying HDFS Using Process Algebra.

Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh

Mob. Networks Appl., 2017

Towards an executable semantics of automobile RTOS standard and its application to conformance verification.

Xiaoran Zhu, Min Zhang, Jian Guo

CoRR, 2017

Formalization and Verification of the PKMv3 Protocol Using CSP.

Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

Modeling and Verifying HDFS Using CSP.

Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

Formal Verification of PKMv3 Protocol Using DT-Spin.

Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Formalization and Verification of REST Architecture in Viewpoints.

Yiting Tang, Xi Wu, Huibiao Zhu, Jian Guo

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems.

Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David

Int. J. Softw. Tools Technol. Transf., 2014

Modeling and Verifying the TTCAN Protocol Using Timed CSP.

Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.

Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Formalization and Verification of REST on HTTP Using CSP.

Ting Yuan, Yiting Tang, Xi Wu, Yue Zhang, Huibiao Zhu, Jian Guo, Weijun Qin

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Modeling and Verification of CAN Bus with Application Layer using UPPAAL.

Can Pan, Jian Guo, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Modeling and Verification of AUTOSAR OS and EMS Application.

Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

2012

Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.

Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Formal Verification and Simulation: Co-verification for Subway Control Systems.

Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

xBIL - A Hardware Resource Oriented Binary Intermediate Language.

Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Towards Denotational Semantics for Verilog in PVS.

Han Zhu, Huibiao Zhu, Si Liu, Jian Guo

Proceedings of the Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011

Formal Approaches to Mode Conversion and Positioning for Vehicle System.

Wen Su, Fan Yang, Xiaofeng Wu, Jian Guo, Huibiao Zhu

Proceedings of the Workshop Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011