Modelling and verification of program logic controllers using timed automata. - Rui Wang 024; Xiaoyu Song; Ming Gu 001 (IET Softw., 2007)

Verifying programmable logic controllers with abstraction. - Rui Wang 024; Ming Gu 001; Xiaoyu Song; Hehua Zhang (SIES, 2008)

Formal Specification and Code Generation of Programable Logic Controllers. - Rui Wang 024; Ming Gu 001; Xiaoyu Song; Hai Wan (ICECCS, 2009)

Formal modeling and synthesis of programmable logic controllers. - Rui Wang 024; Xiaoyu Song; Jianzhong Zhu; Ming Gu 001 (Comput. Ind., 2011)

Modeling and Validation of PLC-Controlled Systems: A Case Study. - Rui Wang 024; Min Zhou 001; Liangze Yin; Lianyi Zhang; Jiaguang Sun 001; Ming Gu 001; Marius Bozga (TASE, 2012)

Semantic characterization of programmable logic controller programs. - Litian Xiao; Rui Wang 024; Ming Gu 001; Jiaguang Sun 001 (Math. Comput. Model., 2012)

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)

Formal component-based modeling and synthesis for PLC systems. - Min Zhou 001; Hai Wan; Rui Wang 024; Xiaoyu Song; Chen Su; Ming Gu 001; Jiaguang Sun 001 (Comput. Ind., 2013)

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

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)

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)

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)

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)

Use runtime verification to improve the quality of medical care practice. - Yu Jiang 001; Han Liu 010; Hui Kong 004; Rui Wang 024; Mohammad Hosseini 002; Jia-Guang Sun 001; Lui Sha (ICSE (Companion Volume), 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)

分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4). - Shanshan Li; Chunna Zhao; Yong Guan; Zhiping Shi 002; Rui Wang 024; Xiaojuan Li; Shiwei Ye (计算机科学, 2016)

Uncertainty Model for Configurable Hardware/Software and Resource Partitioning. - Rui Wang 024; William N. N. Hung; Guowu Yang; Xiaoyu Song (IEEE Trans. Computers, 2016)

Formal Modeling and Automatic Code Synthesis for Robot System. - Xinxin Li; Rui Wang 024; Yu Jiang 001; Yong Guan; Xiaojuan Li; Xiaoyu Song (ICECCS, 2017)

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. - Yu Jiang 001; Houbing Song; Rui Wang 024; Ming Gu 001; Jiaguang Sun 001; Lui Sha (IEEE Trans. Ind. Informatics, 2017)

Enhanced resilient sensor attack detection using fusion interval and measurement history. - Kang Yang; Rui Wang 024; Yu Jiang 001; Chenxia Luo; Yong Guan; Xiaojuan Li; Zhiping Shi 002 (CODES+ISSS, 2018)

Runtime Verification of Robots Collision Avoidance Case Study. - Chenxia Luo; Rui Wang 024; Yu Jiang 001; Kang Yang; Yong Guan; Xiaojuan Li; Zhiping Shi 002 (COMPSAC (1), 2018)

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)

Sensor attack detection using history based pairwise inconsistency. - Kang Yang; Rui Wang 024; Yu Jiang 001; Houbing Song; Chenxia Luo; Yong Guan; Xiaojuan Li; Zhiping Shi 002 (Future Gener. Comput. Syst., 2018)

From Offline Towards Real-Time Verification for Robot Systems. - Rui Wang 024; Yingxia Wei; Houbing Song; Yu Jiang 001; Yong Guan; Xiaoyu Song; Xiaojuan Li (IEEE Trans. Ind. Informatics, 2018)

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. - Yu Jiang 001; Han Liu 010; Houbing Song; Hui Kong 004; Rui Wang 024; Yong Guan; Lui Sha (IEEE Trans. Intell. Transp. Syst., 2018)

A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors. - Rui Wang 024; Houbing Song; Yu Jing; Kang Yang; Yong Guan; Jiaguang Sun 001 (ICII, 2019)

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)

Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design. - Yu Jiang 001; Mingzhe Wang; Xun Jiao; Houbing Song; Hui Kong 004; Rui Wang 024; Yongxin Liu; Jian Wang 061; Jiaguang Sun 001 (iThings/GreenCom/CPSCom/SmartData, 2019)

Bidirectional Potential Guided RRT* for Motion Planning. - Xinyu Wang 012; Xiaojuan Li; Yong Guan; Jiadong Song; Rui Wang 024 (IEEE Access, 2019)

A Formal Model-Based Design Method for Robotic Systems. - Rui Wang 024; Yong Guan; Houbing Song; Xinxin Li; Xiaojuan Li; Zhiping Shi 002; Xiaoyu Song (IEEE Syst. J., 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)

Formal verification of discrete event model. - Zhihao Lu; Rui Wang 024; Yong Guan (TAV-CPS/IoT@ISSTA, 2020)

Formal Verification of CAN Bus in Cyber Physical System. - Rui Wang 024; Yong Guan; Xiaojuan Li; Rui Zhang (QRS Companion, 2020)

RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. - Mingzhe Wang; Jie Liang 006; Chijin Zhou; Yu Jiang 001; Rui Wang 024; Chengnian Sun; Jiaguang Sun 001 (USENIX ATC, 2021)

Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service. - Qian Lu; Xiaojuan Li; Yong Guan; Rui Wang 024; Zhi-Ping Shi 002 (Int. J. Softw. Informatics, 2021)

HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Yixiao Yang; Yu Jiang 001; Rui Wang 024; Wanli Chang 001; Jia-Guang Sun 001 (DAC, 2022)

Mercury: Instruction Pipeline Aware Code Generation for Simulink Models. - Zehong Yu; Zhuo Su 005; Yixiao Yang; Jie Liang 006; Yu Jiang 001; Aiguo Cui; Wanli Chang 001; Rui Wang 024 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

STCG: State-Aware Test Case Generation for Simulink Models. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Yixiao Yang; Rui Wang 024; Wanli Chang 001; Aiguo Cui; Yu Jiang 001 (DAC, 2023)

Reform and Practice of Programming Courses' Construction. - Xiaohui Tan; Zhiping Shi 002; Na Jiang; Jun Li 072; Rui Wang 024 (ICCSE (2), 2023)

Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis. - Yixiao Yang; Chen Gao; Zhiqi Li; Yifan Wang; Rui Wang 024 (SETTA, 2023)

Toward the Trustworthiness of Industrial Robotics Using Differential Fuzz Testing. - Bingqing Wang; Rui Wang 024; Houbing Song (IEEE Trans. Ind. Informatics, 2023)

PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. - Zhuo Su 005; Dongyan Wang; Zehong Yu; Yixiao Yang; Yu Jiang 001; Rui Wang 024; Wanli Chang 001; Wen Li; Aiguo Cui; Jia-Guang Sun 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2023)

Spatio-Temporal Adaptive Network With Bidirectional Temporal Difference for Action Recognition. - Zhilei Li; Jun Li 072; Yuqing Ma; Rui Wang 024; Zhi-Ping Shi 002; Yifu Ding; Xianglong Liu 001 (IEEE Trans. Circuits Syst. Video Technol., 2023)

SQLPass: A Semantic Effective Fuzzing Method for DBMS. - Yu Li; Yixiao Yang; Yong Guan; Zhiping Shi 002; Rui Wang 024 (COMPSAC, 2024)

CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Rui Wang 024; Yang Tao; Yu Jiang 001 (DAC, 2024)

Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination. - Zehong Yu; Zhuo Su 005; Yu Jiang 001; Aiguo Cui; Rui Wang 024 (DAC, 2024)

An Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic Control. - Fang Qi; Rui Wang 024; Yong Guan; Xiaoyu Song (ICECCS, 2024)

HSTCG: State-Aware Simulink Model Test Case Generation With Heuristic Strategy. - Zhuo Su 005; Zehong Yu; Dongyan Wang; Yixiao Yang; Rui Wang 024; Wanli Chang 001; Aiguo Cui; Yu Jiang 001 (IEEE Trans. Software Eng., 2024)

Knight: Optimizing Code Generation for Simulink Models With Loop Reshaping. - Zehong Yu; Yixiao Yang; Zhuo Su 005; Rui Wang 024; Yang Tao; Yu Jiang 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2025)