Jian Guo

23 papers B 2C 1Misc 5Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2021 J jnl
Adaptive Layered Segregated Fit Scheme for Dynamic Memory Allocation.
J. Circuits Syst. Comput.
Yuqian Guan, Jian Guo
2021 J jnl
Formal Verification of a Hybrid IoT Operating System Model.
IEEE Access
Yuqian Guan, Jian Guo, Qin Li
2020 C conf
SAT-Based Automata Construction for LTL over Finite Traces.
APSEC
Yingying Shi, Shengping Xiao, Jianwen Li, Jian Guo, Geguang Pu
2019 J jnl
Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective.
J. Circuits Syst. Comput.
Xin Li, Jian Guo, Yongxin Zhao, Xiaoran Zhu
2019 J jnl
Toward a Unified Executable Formal Automobile OS Kernel and Its Applications.
IEEE Trans. Reliab.
Xiaoran Zhu, Min Zhang, Jian Guo, Xin Li, Huibiao Zhu, Jifeng He
2018 J jnl
Formal Analysis of the PKMv3 Protocol.
Mob. Networks Appl.
Xiaoran Zhu, Yuanmin Xu, Xin Li, Jian Guo, Huibiao Zhu, Phan Cong Vinh
2017 — conf
Formalization and Verification of the PKMv3 Protocol Using CSP.
COMPSAC (1)
Yuanmin Xu, Huibiao Zhu, Xiaoran Zhu, Xi Wu, Jian Guo, Gang Lu
2017 J jnl
Modeling and Verifying HDFS Using Process Algebra.
Mob. Networks Appl.
Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo, Phan Cong Vinh
2017 J jnl
Towards an executable semantics of automobile RTOS standard and its application to conformance verification.
CoRR
Xiaoran Zhu, Min Zhang, Jian Guo
2016 B conf
Modeling and Verifying HDFS Using CSP.
COMPSAC
Wanling Xie, Huibiao Zhu, Xi Wu, Shuangqing Xiang, Jian Guo
2015 Misc conf
Formal Verification of PKMv3 Protocol Using DT-Spin.
TASE
Xiaoran Zhu, Yuanmin Xu, Jian Guo, Xi Wu, Huibiao Zhu, Weikai Miao
2015 — conf
Formalization and Verification of REST Architecture in Viewpoints.
HASE
Yiting Tang, Xi Wu, Huibiao Zhu, Jian Guo
2014 J jnl
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems.
Int. J. Softw. Tools Technol. Transf.
Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David
2014 Misc conf
Modeling and Verifying the TTCAN Protocol Using Timed CSP.
TASE
Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu
2014 — conf
pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.
APSEC (1)
Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu
2013 — conf
Formalization and Verification of REST on HTTP Using CSP.
TTSS
Ting Yuan, Yiting Tang, Xi Wu, Yue Zhang, Huibiao Zhu, Jian Guo, Weijun Qin
2013 Misc conf
Modeling and Verification of AUTOSAR OS and EMS Application.
TASE
Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo
2013 — conf
Modeling and Verification of CAN Bus with Application Layer using UPPAAL.
TTSS
Can Pan, Jian Guo, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou
2012 Misc conf
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.
TASE
Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye
2012 Misc conf
Formal Verification and Simulation: Co-verification for Subway Control Systems.
TASE
Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi
2012 B conf
xBIL - A Hardware Resource Oriented Binary Intermediate Language.
ICECCS
Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye
2011 — conf
Formal Approaches to Mode Conversion and Positioning for Vehicle System.
COMPSAC Workshops
Wen Su, Fan Yang, Xiaofeng Wu, Jian Guo, Huibiao Zhu
2011 — conf
Towards Denotational Semantics for Verilog in PVS.
SSIRI (Companion)
Han Zhu, Huibiao Zhu, Si Liu, Jian Guo