Embedded Sensor of Forecast Conveyer Belt Breaks. - Yong Guan; Jie Zhang 074; Yuanyuan Shang; Minhua Wu; Xumin Liu (FSKD (5), 2008)

Model Checking for SpaceWire Link Interface Design Using Uppaal. - Ping Luo; Rui Wang 024; Xiaojuan Li; Yong Guan; Hongxing Wei; Jie Zhang 074 (COMPSAC Workshops, 2013)

Formal Modelling of PLC Systems by BIP Components. - Rui Wang 024; Yong Guan; Liming Luo; Xiaoyu Song; Jie Zhang 074 (COMPSAC, 2013)

Adaptive-frame-rate monocular vision and IMU fusion for robust indoor positioning. - Ya Tian; Jie Zhang 074; Jindong Tan (ICRA, 2013)

The Gauge Integral Theory in HOL4. - Zhiping Shi 002; Weiqing Gu; Xiaojuan Li; Yong Guan; Shiwei Ye; Jie Zhang 074; Hongxing Wei (J. Appl. Math., 2013)

Component-Based Formal Modeling of PLC Systems. - Rui Wang 024; Yong Guan; Liming Luo; Xiaojuan Li; Jie Zhang 074 (J. Appl. Math., 2013)

Formalization of Linear Space Theory in the Higher-Order Logic Proving System. - Jie Zhang 074; Danwen Mao; Yong Guan (J. Appl. Math., 2013)

An inertial-based human motion tracking system with twists and exponential maps. - Xi Chen; Jie Zhang 074; William R. Hamel; Jindong Tan (ICRA, 2014)

Motion planning with Satisfiability Modulo Theories. - William N. N. Hung; Xiaoyu Song; Jindong Tan; Xiaojuan Li; Jie Zhang 074; Rui Wang 024; Peng Gao (ICRA, 2014)

Formal verification of a collision-free algorithm of dual-arm robot in HOL4. - Liming Li; Zhiping Shi 002; Yong Guan; Chunna Zhao; Jie Zhang 074; Hongxing Wei (ICRA, 2014)

A framework of model checking guided test vector generation for the 6DOF manipulator. - Yilin Lu; Yong Guan; Xiaojuan Li; Rui Wang 024; Jie Zhang 074 (ICRA, 2014)

Timed automata based motion planning for a self-assembly robot system. - Rui Wang 024; Ping Luo; Yong Guan; Hongxing Wei; Xiaojuan Li; Jie Zhang 074; Xiaoyu Song (ICRA, 2014)

Formalizing the Matrix Inversion Based on the Adjugate Matrix in HOL4. - Liming Li; Zhiping Shi 002; Yong Guan; Jie Zhang 074; Hongxing Wei (IIP, 2014)

Formalization of Function Matrix Theory in HOL. - Zhiping Shi 002; Zhenke Liu; Yong Guan; Shiwei Ye; Jie Zhang 074; Hongxing Wei (J. Appl. Math., 2014)

A Case Study on Formal Analysis of an Automated Guided Vehicle System. - Jie Zhang 074; Yuntao Peng; William N. N. Hung; Xiaojuan Li; Jindong Tan; Zhiping Shi 002 (J. Appl. Math., 2014)

Embedded System Design with Reliability-Centric Optimization. - Yuanyuan Hou; Rui Wang 024; Yu Jiang 001; Yong Guan; Xiaojuan Li; Zhiping Shi 002; Jie Zhang 074 (COMPSAC, 2015)

Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System. - Ya Wang; Rui Wang 024; Yong Guan; Xiaojuan Li; Hongxing Wei; Jie Zhang 074 (COMPSAC Workshops, 2015)

连续傅里叶变换基础理论的高阶逻辑形式化 (Higher-order Logic Formalization of Basic Theory of Continuous Fourier Transform). - Xingli Lv; Zhiping Shi 002; Xiaojuan Li; Yong Guan; Shiwei Ye; Jie Zhang 074 (计算机科学, 2015)

Formal Modelling and Analysis of TCP for Nodes Communication with ROS. - Xiaojuan Li; Yanyan Huo; Yong Guan; Rui Wang 024; Jie Zhang 074 (CollaborateCom, 2016)

基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic). - Yanchun Li; Xiaojuan Li; Yong Guan; Rui Wang 024; Jie Zhang 074; Hongxing Wei (计算机科学, 2016)

函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus). - Xiumei Yang; Yong Guan; Zhiping Shi 002; Aixuan Wu; Qianying Zhang; Jie Zhang 074 (计算机科学, 2016)

Formal Analysis and Verification of DDS in ROS2. - Yanan Liu; Yong Guan; Xiaojuan Li; Rui Wang 024; Jie Zhang 074 (MEMOCODE, 2018)

Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT. - Shun Wang; Xiaojuan Li; Yong Guan; Rui Wang 024; Jie Zhang 074 (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

Visual Tracking With Weighted Adaptive Local Sparse Appearance Model via Spatio-Temporal Context Learning. - Zhetao Li; Jie Zhang 074; Kaihua Zhang 001; Zhiyong Li 001 (IEEE Trans. Image Process., 2018)

Model Checking for the Goal-Feedback-Result Pattern in ROS. - Wei Wei; Xiaojuan Li; Yong Guan; Rui Wang 024; Qian Lu; Jie Zhang 074 (ISPA/BDCloud/SocialCom/SustainCom, 2019)

Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking. - Yixuan Zan; Xiaojuan Li; Yong Guan; Rui Wang 024; Jie Zhang 074 (HPCC/DSS/SmartCity, 2020)

Formalization of continuous Fourier transform in verifying applications for dependable cyber-physical systems. - Yong Guan; Jie Zhang 074; Zhiping Shi 002; Yi Wang 003; Yongdong Li (J. Syst. Archit., 2020)

The theoretical research of generative adversarial networks: an overview. - Yanchun Li; Qiuzhen Wang; Jie Zhang 074; Lingzhi Hu; Wanli Ouyang (Neurocomputing, 2021)

Learning Feature Channel Weighting for Real-Time Visual Tracking. - Zhetao Li; Jie Zhang 074; Yanchun Li; Jiang Zhu; Saiqin Long; Dengfeng Xue; Longfei Fan (IEEE Trans. Image Process., 2022)

Towards Tracing Trustworthiness Dynamics: Revisiting Pre-training Period of Large Language Models. - Chen Qian 006; Jie Zhang 074; Wei Yao 017; Dongrui Liu; Zhenfei Yin; Yu Qiao 001; Yong Liu 007; Jing Shao (ACL (Findings), 2024)

From GPT-4 to Gemini and Beyond: Assessing the Landscape of MLLMs on Generalizability, Trustworthiness and Causality through Four Modalities. - Chaochao Lu; Chen Qian 006; Guodong Zheng; Hongxing Fan; Hongzhi Gao; Jie Zhang 074; Jing Shao; Jingyi Deng; Jinlan Fu; Kexin Huang; Kunchang Li 002; Lijun Li; et al. (CoRR, 2024)

The Better Angels of Machine Personality: How Personality Relates to LLM Safety. - Jie Zhang 074; Dongrui Liu; Chen Qian 006; Ziyue Gan; Yong Liu 007; Yu Qiao 001; Jing Shao (CoRR, 2024)

REEF: Representation Encoding Fingerprints for Large Language Models. - Jie Zhang 074; Dongrui Liu; Chen Qian 006; Linfeng Zhang 001; Yong Liu 018; Yu Qiao 001; Jing Shao (ICLR, 2025)