Concepedia

Rui Wang

RW

10

Publications

338

Citations

10

H-Index

2016

Active since

Affiliations

Capital Normal University(Current)

Tsinghua University

Embry–Riddle Aeronautical University

University of Illinois Urbana-Champaign

Portland State University

Rui Wang is an author at Capital Normal University specializing in computer science, engineering, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationSystems EngineeringFormal MethodsAutomationComputer EngineeringSoftware VerificationRobotics

Publications per year

2016–2023

10

Publications

10

Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System

Yu Jiang, Houbing Song, Rui Wang et al. · IEEE Transactions on Industrial Informatics · 2016 · 107 citations

Body Area Network, Engineering, Verification +18

A Formal Model-Based Design Method for Robotic Systems

Rui Wang, Yong Guan, Houbing Song et al. · IEEE Systems Journal · 2018 · 46 citations

Robotic Systems, Engineering, Modeling Method +21

From Offline Towards Real-Time Verification for Robot Systems

Rui Wang, Yingxia Wei, Houbing Song et al. · IEEE Transactions on Industrial Informatics · 2018 · 38 citations

Robotic Systems, Engineering, Robot Systems +18

Spatio-Temporal Adaptive Network With Bidirectional Temporal Difference for Action Recognition

Zhilei Li, Jun Li, Yuqing Ma et al. · IEEE Transactions on Circuits and Systems for Video Technology · 2023 · 35 citations

Engineering, Machine Learning, Video Interpretation +18

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller

Yu Jiang, Han Liu, Houbing Song et al. · IEEE Transactions on Intelligent Transportation Systems · 2018 · 31 citations

Engineering, Verification, Computer-aided Verification +17

Rows per page

1–5 of 10