Jie Zhang

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 11

Top Topics

Formal Verification

Temporally Extended Goals

Fourier Transform

Top Venues

计算机科学

COMPSAC Workshops

Publications

Yixuan Zan, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang
Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking. HPCC/DSS/SmartCity (2020)
Yong Guan, Jie Zhang, Zhiping Shi, Yi Wang, Yongdong Li
Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems. J. Syst. Archit. 106 (2020)
Wei Wei, Xiaojuan Li, Yong Guan, Rui Wang, Qian Lu, Jie Zhang
Model Checking for the Goal-Feedback-Result Pattern in ROS. ISPA/BDCloud/SocialCom/SustainCom (2019)
Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang
Formal Analysis and Verification of DDS in ROS2. MEMOCODE (2018)
Shun Wang, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang
Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI (2018)
Xiaojuan Li, Yanyan Huo, Yong Guan, Rui Wang, Jie Zhang
Formal Modelling and Analysis of TCP for Nodes Communication with ROS. CollaborateCom (2016)
Xiumei Yang, Yong Guan, Zhiping Shi, Aixuan Wu, Qianying Zhang, Jie Zhang
函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus). 计算机科学 43 (11) (2016)
Yanchun Li, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang, Hongxing Wei
基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic). 计算机科学 43 (2) (2016)
Xingli Lv, Zhiping Shi, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang
连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform). 计算机科学 42 (4) (2015)
Ya Wang, Rui Wang, Yong Guan, Xiaojuan Li, Hongxing Wei, Jie Zhang
Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System. COMPSAC Workshops (2015)
Yuanyuan Hou, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Zhiping Shi, Jie Zhang
Embedded System Design with Reliability-Centric Optimization. COMPSAC (2015)
Rui Wang, Ping Luo, Yong Guan, Hongxing Wei, Xiaojuan Li, Jie Zhang, Xiaoyu Song
Timed automata based motion planning for a self-assembly robot system. ICRA (2014)
Liming Li, Zhiping Shi, Yong Guan, Jie Zhang, Hongxing Wei
Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4. Intelligent Information Processing (2014)
Liming Li, Zhiping Shi, Yong Guan, Chunna Zhao, Jie Zhang, Hongxing Wei
Formal verification of a collision-free algorithm of dual-arm robot in HOL4. ICRA (2014)
Zhiping Shi, Zhenke Liu, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei
Formalization of Function Matrix Theory in HOL. J. Appl. Math. 2014 (2014)
Jie Zhang, Yuntao Peng, William N. N. Hung, Xiaojuan Li, Jindong Tan, Zhiping Shi
A Case Study on Formal Analysis of an Automated Guided Vehicle System. J. Appl. Math. 2014 (2014)
Yilin Lu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang
A framework of model checking guided test vector generation for the 6DOF manipulator. ICRA (2014)
Zhiping Shi, Weiqing Gu, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang, Hongxing Wei
The Gauge Integral Theory in HOL4. J. Appl. Math. 2013 (2013)
Rui Wang, Yong Guan, Liming Luo, Xiaojuan Li, Jie Zhang
Component-Based Formal Modeling of PLC Systems. J. Appl. Math. 2013 (2013)
Rui Wang, Yong Guan, Liming Luo, Xiaoyu Song, Jie Zhang
Formal Modelling of PLC Systems by BIP Components. COMPSAC (2013)
Jie Zhang, Danwen Mao, Yong Guan
Formalization of Linear Space Theory in the Higher-Order Logic Proving System. J. Appl. Math. 2013 (2013)
Ping Luo, Rui Wang, Xiaojuan Li, Yong Guan, Hongxing Wei, Jie Zhang
Model Checking for SpaceWire Link Interface Design Using Uppaal. COMPSAC Workshops (2013)
Yong Guan, Jie Zhang, Yuanyuan Shang, Minhua Wu, Xumin Liu
Embedded Sensor of Forecast Conveyer Belt Breaks. FSKD (5) (2008)