Rui Wang

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 26

Top Topics

Satisfiability Modulo Theories

Formal Verification

Collision Avoidance

Top Venues

IEEE Trans. Ind. Informatics

计算机科学

COMPSAC Workshops

Publications

Zhilei Li, Jun Li, Yuqing Ma, Rui Wang, Zhi-Ping Shi, Yifu Ding, Xianglong Liu
Spatio-Temporal Adaptive Network With Bidirectional Temporal Difference for Action Recognition. IEEE Trans. Circuits Syst. Video Technol. 33 (9) (2023)
Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui, Yu Jiang
STCG: State-Aware Test Case Generation for Simulink Models. DAC (2023)
Zhuo Su, Dongyan Wang, Zehong Yu, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Wen Li, Aiguo Cui, Jia-Guang Sun
PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (4) (2023)
Xiaohui Tan, Zhiping Shi, Na Jiang, Jun Li, Rui Wang
Reform and Practice of Programming Courses' Construction. ICCSE (2) (2023)
Bingqing Wang, Rui Wang, Houbing Song
Toward the Trustworthiness of Industrial Robotics Using Differential Fuzz Testing. IEEE Trans. Ind. Informatics 19 (3) (2023)
Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, Jiaguang Sun
RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. USENIX Annual Technical Conference (2021)
Qian Lu, Xiaojuan Li, Yong Guan, Rui Wang, Zhi-Ping Shi
Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service. Int. J. Softw. Informatics 11 (4) (2021)
Yu Jiang, Mingzhe Wang, Xun Jiao, Houbing Song, Hui Kong, Rui Wang, Yongxin Liu, Jian Wang, Jiaguang Sun
Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design. iThings/GreenCom/CPSCom/SmartData (2019)
Xinyu Wang, Xiaojuan Li, Yong Guan, Jiadong Song, Rui Wang
Bidirectional Potential Guided RRT* for Motion Planning. IEEE Access 7 (2019)
Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song
A Formal Model-Based Design Method for Robotic Systems. IEEE Syst. J. 13 (1) (2019)
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)
Rui Wang, Houbing Song, Yu Jing, Kang Yang, Yong Guan, Jiaguang Sun
A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors. ICII (2019)
Chenxia Luo, Rui Wang, Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi
Runtime Verification of Robots Collision Avoidance Case Study. COMPSAC (1) (2018)
Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang
Formal Analysis and Verification of DDS in ROS2. MEMOCODE (2018)
Kang Yang, Rui Wang, Yu Jiang, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi
Enhanced resilient sensor attack detection using fusion interval and measurement history. CODES+ISSS (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)
Rui Wang, Yingxia Wei, Houbing Song, Yu Jiang, Yong Guan, Xiaoyu Song, Xiaojuan Li
From Offline Towards Real-Time Verification for Robot Systems. IEEE Trans. Ind. Informatics 14 (4) (2018)
Kang Yang, Rui Wang, Yu Jiang, Houbing Song, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi
Sensor attack detection using history based pairwise inconsistency. Future Gener. Comput. Syst. 86 (2018)
Yu Jiang, Han Liu, Houbing Song, Hui Kong, Rui Wang, Yong Guan, Lui Sha
Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. 19 (10) (2018)
Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song
Formal Modeling and Automatic Code Synthesis for Robot System. ICECCS (2017)
Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, Lui Sha
Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. IEEE Trans. Ind. Informatics 13 (4) (2017)
Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha
Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) (2016)
Xiaojuan Li, Yanyan Huo, Yong Guan, Rui Wang, Jie Zhang
Formal Modelling and Analysis of TCP for Nodes Communication with ROS. CollaborateCom (2016)
Shanshan Li, Chunna Zhao, Yong Guan, Zhiping Shi, Rui Wang, Xiaojuan Li, Shiwei Ye
分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4). 计算机科学 43 (3) (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)
Rui Wang, William N. N. Hung, Guowu Yang, Xiaoyu Song
Uncertainty Model for Configurable Hardware/Software and Resource Partitioning. IEEE Trans. Computers 65 (10) (2016)
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)
William N. N. Hung, Xiaoyu Song, Jindong Tan, Xiaojuan Li, Jie Zhang, Rui Wang, Peng Gao
Motion planning with Satisfiability Modulo Theories. ICRA (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)
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)
Ping Luo, Rui Wang, Xiaojuan Li, Yong Guan, Hongxing Wei, Jie Zhang
Model Checking for SpaceWire Link Interface Design Using Uppaal. COMPSAC Workshops (2013)
Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga
Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE (2012)
Litian Xiao, Rui Wang, Ming Gu, Jiaguang Sun
Semantic characterization of programmable logic controller programs. Math. Comput. Model. 55 (5-6) (2012)
Rui Wang, Xiaoyu Song, Jianzhong Zhu, Ming Gu
Formal modeling and synthesis of programmable logic controllers. Comput. Ind. 62 (1) (2011)
Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan
Formal Specification and Code Generation of Programable Logic Controllers. ICECCS (2009)
Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang
Verifying programmable logic controllers with abstraction. SIES (2008)
Rui Wang, Xiaoyu Song, Ming Gu
Modelling and verification of program logic controllers using timed automata. IET Softw. 1 (4) (2007)