Rui Wang - RankMe

53 papers A* 7B 6C 2Misc 3Journal 21Unranked 14

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Knight: Optimizing Code Generation for Simulink Models With Loop Reshaping. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zehong Yu, Yixiao Yang, Zhuo Su, Rui Wang, Yang Tao, Yu Jiang
2024	B	`conf`	An Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic Control. ICECCS Fang Qi, Rui Wang, Yong Guan, Xiaoyu Song
2024	A*	`conf`	CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing. DAC Zhuo Su, Zehong Yu, Dongyan Wang, Rui Wang, Yang Tao, Yu Jiang
2024	A*	`conf`	Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination. DAC Zehong Yu, Zhuo Su, Yu Jiang, Aiguo Cui, Rui Wang
2024	J	`jnl`	HSTCG: State-Aware Simulink Model Test Case Generation With Heuristic Strategy. IEEE Trans. Software Eng. Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui, Yu Jiang
2024	B	`conf`	SQLPass: A Semantic Effective Fuzzing Method for DBMS. COMPSAC Yu Li, Yixiao Yang, Yong Guan, Zhiping Shi, Rui Wang
2023	Misc	`conf`	Binary Level Concolic Execution on Windows with Rich Instrumentation Based Taint Analysis. SETTA Yixiao Yang, Chen Gao, Zhiqi Li, Yifan Wang, Rui Wang
2023	J	`jnl`	PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zhuo Su, Dongyan Wang, Zehong Yu, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Wen Li, Aiguo Cui, Jia-Guang Sun
2023	—	`conf`	Reform and Practice of Programming Courses' Construction. ICCSE (2) Xiaohui Tan, Zhiping Shi, Na Jiang, Jun Li, Rui Wang
2023	A*	`conf`	STCG: State-Aware Test Case Generation for Simulink Models. DAC Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui, Yu Jiang
2023	J	`jnl`	Spatio-Temporal Adaptive Network With Bidirectional Temporal Difference for Action Recognition. IEEE Trans. Circuits Syst. Video Technol. Zhilei Li, Jun Li, Yuqing Ma, Rui Wang, Zhi-Ping Shi, Yifu Ding, Xianglong Liu
2023	J	`jnl`	Toward the Trustworthiness of Industrial Robotics Using Differential Fuzz Testing. IEEE Trans. Ind. Informatics Bingqing Wang, Rui Wang, Houbing Song
2022	A*	`conf`	HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis. DAC Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Jia-Guang Sun
2022	J	`jnl`	Mercury: Instruction Pipeline Aware Code Generation for Simulink Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Zehong Yu, Zhuo Su, Yixiao Yang, Jie Liang, Yu Jiang, Aiguo Cui, Wanli Chang, Rui Wang
2021	J	`jnl`	Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service. Int. J. Softw. Informatics Qian Lu, Xiaojuan Li, Yong Guan, Rui Wang, Zhi-Ping Shi
2021	—	`conf`	RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. USENIX ATC Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, Jiaguang Sun
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	—	`conf`	Formal Verification of CAN Bus in Cyber Physical System. QRS Companion Rui Wang, Yong Guan, Xiaojuan Li, Rui Zhang
2020	—	`conf`	Formal verification of discrete event model. TAV-CPS/IoT@ISSTA Zhihao Lu, Rui Wang, Yong Guan
2019	J	`jnl`	A Formal Model-Based Design Method for Robotic Systems. IEEE Syst. J. Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song
2019	—	`conf`	A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors. ICII Rui Wang, Houbing Song, Yu Jing, Kang Yang, Yong Guan, Jiaguang Sun
2019	J	`jnl`	Bidirectional Potential Guided RRT* for Motion Planning. IEEE Access Xinyu Wang, Xiaojuan Li, Yong Guan, Jiadong Song, Rui Wang
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
2019	—	`conf`	Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design. iThings/GreenCom/CPSCom/SmartData Yu Jiang, Mingzhe Wang, Xun Jiao, Houbing Song, Hui Kong, Rui Wang, Yongxin Liu, Jian Wang, Jiaguang Sun
2018	Misc	`conf`	Enhanced resilient sensor attack detection using fusion interval and measurement history. CODES+ISSS Kang Yang, Rui Wang, Yu Jiang, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi
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
2018	J	`jnl`	From Offline Towards Real-Time Verification for Robot Systems. IEEE Trans. Ind. Informatics Rui Wang, Yingxia Wei, Houbing Song, Yu Jiang, Yong Guan, Xiaoyu Song, Xiaojuan Li
2018	—	`conf`	Runtime Verification of Robots Collision Avoidance Case Study. COMPSAC (1) Chenxia Luo, Rui Wang, Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi
2018	J	`jnl`	Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. Yu Jiang, Han Liu, Houbing Song, Hui Kong, Rui Wang, Yong Guan, Lui Sha
2018	J	`jnl`	Sensor attack detection using history based pairwise inconsistency. Future Gener. Comput. Syst. Kang Yang, Rui Wang, Yu Jiang, Houbing Song, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi
2017	J	`jnl`	Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. IEEE Trans. Ind. Informatics Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, Lui Sha
2017	B	`conf`	Formal Modeling and Automatic Code Synthesis for Robot System. ICECCS Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song
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`	Uncertainty Model for Configurable Hardware/Software and Resource Partitioning. IEEE Trans. Computers Rui Wang, William N. N. Hung, Guowu Yang, Xiaoyu Song
2016	—	`conf`	Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha
2016	J	`jnl`	分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4). 计算机科学 Shanshan Li, Chunna Zhao, Yong Guan, Zhiping Shi, Rui Wang, Xiaojuan Li, Shiwei Ye
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
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`	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	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`	Formal component-based modeling and synthesis for PLC systems. Comput. Ind. Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun
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
2012	Misc	`conf`	Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga
2012	J	`jnl`	Semantic characterization of programmable logic controller programs. Math. Comput. Model. Litian Xiao, Rui Wang, Ming Gu, Jiaguang Sun
2011	J	`jnl`	Formal modeling and synthesis of programmable logic controllers. Comput. Ind. Rui Wang, Xiaoyu Song, Jianzhong Zhu, Ming Gu
2009	B	`conf`	Formal Specification and Code Generation of Programable Logic Controllers. ICECCS Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan
2008	—	`conf`	Verifying programmable logic controllers with abstraction. SIES Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang
2007	J	`jnl`	Modelling and verification of program logic controllers using timed automata. IET Softw. Rui Wang, Xiaoyu Song, Ming Gu