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 database¹, Rui Wang authored at least 50 papers between 2007 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

An Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic Control.

[BibT_eX]

[DOI]

Proceedings of the Engineering of Complex Computer Systems - 28th International Conference, 2024

Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination.

[BibT_eX]

[DOI]

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

SQLPass: A Semantic Effective Fuzzing Method for DBMS.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023

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

[BibT_eX]

[DOI]

IEEE Trans. Circuits Syst. Video Technol., September, 2023

PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., April, 2023

Toward the Trustworthiness of Industrial Robotics Using Differential Fuzz Testing.

[BibT_eX]

[DOI]

Bingqing Wang

Rui Wang

Houbing Song

IEEE Trans. Ind. Informatics, March, 2023

Reform and Practice of Programming Courses' Construction.

[BibT_eX]

[DOI]

Proceedings of the Computer Science and Education. Teaching and Curriculum, 2023

STCG: State-Aware Test Case Generation for Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Mercury: Instruction Pipeline Aware Code Generation for Simulink Models.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2021

RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 2021 USENIX Annual Technical Conference, 2021

2020

Formal Verification of CAN Bus in Cyber Physical System.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Formal verification of discrete event model.

[BibT_eX]

[DOI]

Zhihao Lu

Rui Wang

Yong Guan

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Syst. J., 2019

Bidirectional Potential Guided RRT* for Motion Planning.

[BibT_eX]

[DOI]

IEEE Access, 2019

Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Industrial Internet, 2019

2018

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

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2018

From Offline Towards Real-Time Verification for Robot Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2018

Sensor attack detection using history based pairwise inconsistency.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2018

Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE SmartWorld, 2018

Formal Analysis and Verification of DDS in ROS2.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

Enhanced resilient sensor attack detection using fusion interval and measurement history.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2018

2017

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

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2017

Formal Modeling and Automatic Code Synthesis for Robot System.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

Uncertainty Model for Configurable Hardware/Software and Resource Partitioning.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2016

分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4).

[BibT_eX]

[DOI]

计算机科学, 2016

基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic).

[BibT_eX]

[DOI]

计算机科学, 2016

Use runtime verification to improve the quality of medical care practice.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Formal Modelling and Analysis of TCP for Nodes Communication with ROS.

[BibT_eX]

[DOI]

Proceedings of the Collaborate Computing: Networking, Applications and Worksharing, 2016

2015

Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System.

[BibT_eX]

[DOI]

Proceedings of the 39th Annual Computer Software and Applications Conference, 2015

Embedded System Design with Reliability-Centric Optimization.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014

Timed automata based motion planning for a self-assembly robot system.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Motion planning with Satisfiability Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013

Component-Based Formal Modeling of PLC Systems.

[BibT_eX]

[DOI]

J. Appl. Math., 2013

Formal component-based modeling and synthesis for PLC systems.

[BibT_eX]

[DOI]

Comput. Ind., 2013

Formal Modelling of PLC Systems by BIP Components.

[BibT_eX]

[DOI]

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Model Checking for SpaceWire Link Interface Design Using Uppaal.

[BibT_eX]

[DOI]

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

2012

Semantic characterization of programmable logic controller programs.

[BibT_eX]

[DOI]

Math. Comput. Model., 2012

Modeling and Validation of PLC-Controlled Systems: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

2011

Formal modeling and synthesis of programmable logic controllers.

[BibT_eX]

[DOI]

Comput. Ind., 2011

2009

Formal Specification and Code Generation of Programable Logic Controllers.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008

Verifying programmable logic controllers with abstraction.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

2007

Modelling and verification of program logic controllers using timed automata.

[BibT_eX]

[DOI]

Rui Wang

Xiaoyu Song

Ming Gu

IET Softw., 2007

Rui Wang

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...