Jie Zhang

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