Rui Wang 0024 - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2023

STCG: State-Aware Test Case Generation for Simulink ModelsZhuo Su 0005, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang 0024, Wanli Chang 0001, Aiguo Cui, Yu Jiang 0001. dac 2023: 1-6 [doi]

PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD InstructionsZhuo Su 0005, Dongyan Wang, Zehong Yu, Yixiao Yang, Yu Jiang 0001, Rui Wang 0024, Wanli Chang 0001, Wen Li, Aiguo Cui, Jia-Guang Sun 0001. tcad, 42(4):1072-1084, April 2023. [doi]

Spatio-Temporal Adaptive Network With Bidirectional Temporal Difference for Action RecognitionZhilei Li, Jun Li 0072, Yuqing Ma, Rui Wang 0024, Zhi-Ping Shi 0002, Yifu Ding, Xianglong Liu 0001. tcsv, 33(9):5174-5185, September 2023. [doi]

Toward the Trustworthiness of Industrial Robotics Using Differential Fuzz TestingBingqing Wang, Rui Wang 0024, Houbing Song. tii, 19(3):2782-2791, March 2023. [doi]

2021

Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution ServiceQian Lu, Xiaojuan Li, Yong Guan, Rui Wang 0024, Zhi-Ping Shi 0002. ijsi, 11(4):505-520, 2021. [doi]

RIFF: Reduced Instruction Footprint for Coverage-Guided FuzzingMingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang 0001, Rui Wang 0024, Chengnian Sun, Jiaguang Sun 0001. usenix 2021: 147-159 [doi]

2019

Uncertainty Theory Based Reliability-Centric Cyber-Physical System DesignYu Jiang 0001, Mingzhe Wang, Xun Jiao, Houbing Song, Hui Kong, Rui Wang 0024, Yongxin Liu, Jian Wang, Jiaguang Sun. ithings 2019: 208-215 [doi]

A Sensor Attack Detection Method in Intelligent Vehicle with Multiple SensorsRui Wang 0024, Houbing Song, Yu Jing, Kang Yang, Yong Guan, Jiaguang Sun. icii 2019: 219-226 [doi]

A Formal Model-Based Design Method for Robotic SystemsRui Wang 0024, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song. sj, 13(1):1096-1107, 2019. [doi]

Model Checking for the Goal-Feedback-Result Pattern in ROSWei Wei, Xiaojuan Li, Yong Guan, Rui Wang 0024, Qian Lu, Jie Zhang. ispa 2019: 640-645 [doi]

Bidirectional Potential Guided RRT* for Motion PlanningWang Xinyu, Xiaojuan Li, Yong Guan, Song Jiadong, Rui Wang 0024. access, 7:95046-95057, 2019. [doi]

2018

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus ControllerYu Jiang 0001, Han Liu, Houbing Song, Hui Kong, Rui Wang 0024, Yong Guan, Lui Sha. tits, 19(10):3320-3333, 2018. [doi]

From Offline Towards Real-Time Verification for Robot SystemsRui Wang 0024, Yingxia Wei, Houbing Song, Yu Jiang, Yong Guan, Xiaoyu Song, Xiaojuan Li. tii, 14(4):1712-1721, 2018. [doi]

Sensor attack detection using history based pairwise inconsistencyKang Yang, Rui Wang 0024, Yu Jiang 0001, Houbing Song, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi. fgcs, 86:392-402, 2018. [doi]

2016

分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4)Shanshan Li, Chunna Zhao, Yong Guan, Zhiping Shi, Rui Wang 0024, Xiaojuan Li, Shiwei Ye. jsjkx, 43(3):23-26, 2016. [doi]

基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic)Yanchun Li, Xiaojuan Li, Yong Guan, Rui Wang 0024, Jie Zhang, Hongxing Wei. jsjkx, 43(2):113-117, 2016. [doi]

Sign in or sign up to see more results.

runs on WebDSL