Rui Wang

According to our database1, Rui Wang authored at least 27 papers between 2007 and 2019.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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

2018
Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller.
IEEE Trans. Intelligent Transportation Systems, 2018

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

Sensor attack detection using history based pairwise inconsistency.
Future Generation Comp. 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. Industrial 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

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. Applied Mathematics, 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.
Mathematical and Computer Modelling, 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.
Computers in Industry, 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 Software, 2007


  Loading...