Rui Wang

Orcid: 0000-0002-9848-7042

Affiliations:
  • Capital Normal University, Beijing Advanced Innovation Center for Imaging Technology, China
  • Tsinghua University, School of Software, Beijing, China (former)


According to our database1, Rui Wang authored at least 44 papers between 2007 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Spatio-Temporal Adaptive Network With Bidirectional Temporal Difference for Action Recognition.
IEEE Trans. Circuits Syst. Video Technol., September, 2023

PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2023

Toward the Trustworthiness of Industrial Robotics Using Differential Fuzz Testing.
IEEE Trans. Ind. Informatics, March, 2023

STCG: State-Aware Test Case Generation for Simulink Models.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022
Mercury: Instruction Pipeline Aware Code Generation for Simulink Models.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis.
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021
Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service.
Int. J. Softw. Informatics, 2021

RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing.
Proceedings of the 2021 USENIX Annual Technical Conference, 2021

2020
Formal Verification of CAN Bus in Cyber Physical System.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Formal verification of discrete event model.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking.
Proceedings of the 22nd IEEE International Conference on High Performance Computing and Communications; 18th IEEE International Conference on Smart City; 6th IEEE International Conference on Data Science and Systems, 2020

2019
A Formal Model-Based Design Method for Robotic Systems.
IEEE Syst. J., 2019

Bidirectional Potential Guided RRT* for Motion Planning.
IEEE Access, 2019

Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design.
Proceedings of the 2019 International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2019

Model Checking for the Goal-Feedback-Result Pattern in ROS.
Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors.
Proceedings of the IEEE International Conference on Industrial Internet, 2019

2018
Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.
IEEE Trans. Intell. Transp. Syst., 2018

From Offline Towards Real-Time Verification for Robot Systems.
IEEE Trans. Ind. Informatics, 2018

Sensor attack detection using history based pairwise inconsistency.
Future Gener. Comput. Syst., 2018

Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT.
Proceedings of the 2018 IEEE SmartWorld, 2018

Formal Analysis and Verification of DDS in ROS2.
Proceedings of the 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2018

Runtime Verification of Robots Collision Avoidance Case Study.
Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Enhanced resilient sensor attack detection using fusion interval and measurement history.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

2017
Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System.
IEEE Trans. Ind. Informatics, 2017

Formal Modeling and Automatic Code Synthesis for Robot System.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016
Uncertainty Model for Configurable Hardware/Software and Resource Partitioning.
IEEE Trans. Computers, 2016

分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4).
计算机科学, 2016

基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic).
计算机科学, 2016

Use runtime verification to improve the quality of medical care practice.
Proceedings of the 38th International Conference on Software Engineering, 2016

Formal Modelling and Analysis of TCP for Nodes Communication with ROS.
Proceedings of the Collaborate Computing: Networking, Applications and Worksharing, 2016

2015
Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System.
Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Embedded System Design with Reliability-Centric Optimization.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
Timed automata based motion planning for a self-assembly robot system.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

A framework of model checking guided test vector generation for the 6DOF manipulator.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Motion planning with Satisfiability Modulo Theories.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013
Component-Based Formal Modeling of PLC Systems.
J. Appl. Math., 2013

Formal Modelling of PLC Systems by BIP Components.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Model Checking for SpaceWire Link Interface Design Using Uppaal.
Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012
Semantic characterization of programmable logic controller programs.
Math. Comput. Model., 2012

Modeling and Validation of PLC-Controlled Systems: A Case Study.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2011
Formal modeling and synthesis of programmable logic controllers.
Comput. Ind., 2011

2009
Formal Specification and Code Generation of Programable Logic Controllers.
Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008
Verifying programmable logic controllers with abstraction.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

2007
Modelling and verification of program logic controllers using timed automata.
IET Softw., 2007


  Loading...