default search action

combined dblp search
author search
venue search
publication search

ask others

Rui Wang 0024

> Home > Persons

Person information

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

Other persons with the same name

see FAQ

Rui Wang — disambiguation page
Rui Wang 0001 — Tongji University, Department of Information and Communications, Shanghai, China (and 3 more)
Rui Wang 0002 — Microsoft Research, Redmond, WA, USA (and 1 more)
Rui Wang 0003 — University of Massachusetts, Amherst, MA, USA
Rui Wang 0004 — Zhejiang University, State Key Laboratory of CAD&CG, Hangzhou, China
Rui Wang 0005 — Vipshop (China) Co., Ltd., Guangzhou, China (and 2 more)
Rui Wang 0006 — Pennsylvania State University, School of Information Sciences and Technology, University Park, PA, USA
Rui Wang 0007 (aka: Rui (Ray) Wang) — Southern University of Science and Technology, Department of Electrical and Electronic Engineering, Shenzhen, China (and 1 more)
Rui Wang 0008 — Commonwealth Scientific and Industrial Research Organisation, Data61, Australia (and 3 more)
Rui Wang 0009 — The Ocean University of China (and 1 more)

Rui Wang 0010 — Microsoft Research, Redmond, WA, USA (and 1 more)
Rui Wang 0011 — Chinese Academy of Sciences, Institute of Automation, Center for Biometrics and Security Research, Beijing, China
Rui Wang 0012 — Beijing University of Posts and Telecommunications, Key Laboratory of Universal Wireless Communications, Beijing, China
Rui Wang 0013 — University of Science and Technology Beijing, Department of Computer Science and Technology, School of Computer and Communication Engineering, China (and 2 more)
Rui Wang 0014 — Beihang University, Sino-German Joint Software Institute, Beijing, China (and 1 more)
Rui Wang 0015 — Shanghai Jiao Tong University, Department of Computer Science and Engineering, China (and 2 more)
Rui Wang 0016 — Dartmouth College, Department of Computer Science, Hanover, NH, USA
Rui Wang 0017 — National University of Defense Technology, College of Information Systems and Management, ChangSha, China (and 1 more)
Rui Wang 0018 — Beijing Institute of Technology, School of Information and Electronics, China (and 2 more)
Rui Wang 0019 — National University of Defense Technology, College of Computer Science, Changsha, China
Rui Wang 0020 — University of Toronto, ON, Canada (and 1 more)
Rui Wang 0021 — Worcester Polytechnic Institute, Worcester, MA, USA
Rui Wang 0022 — Anhui USTC iFLYTEK Company, Ltd., Heifei, China (and 1 more)
Rui Wang 0023 — Dalian University of Technology, School of Aeronautics and Astronautics, Research Center of Information and Control, Dalian, China (and 2 more)
Rui Wang 0025 — Google, Mountain View, CA, USA (and 1 more)
Rui Wang 0026 — University of Southern California, Los Angeles, CA, USA
Rui Wang 0027 — Critical Mention Inc. New York, NY, USA (and 1 more)
Rui Wang 0028 — Microsoft Research Asia, China (and 1 more)
Rui Wang 0029 — North China Electric Power University, School of Control and Computer Engineering, Beijing, China
Rui Wang 0030 — University of Central Florida, Department of Electrical Engineering and Computer Science, Orlando, FL, USA
Rui Wang 0031 — Chinese Academy of Sciences, Institute of Automation, State Key Laboratory of Management and Control for Complex Systems, Beijing, China
Rui Wang 0032 — Chinese Academy of Sciences, Institute of Information Engineering, State Key Lab of Information Security, Beijing, China (and 1 more)
Rui Wang 0033 — Southwest University, College of Agronomy and Biotechnology / Academy of Agricultural Sciences, Beibei, China
Rui Wang 0034 — Shanghai University, Shanghai Institute for Advanced Communication and Data Science, School of Communication and Information Engineering, China (and 1 more)
Rui Wang 0035 — Southern Methodist University, Dallas, TX, USA
Rui Wang 0036 — Wuhan University, School of Computer Science, China
Rui Wang 0037 — Microsoft Mixed Reality & AI lab, Zurich, Switzerland (and 1 more)
Rui Wang 0039 — Beihang University, Institute of Instrument Science and Optoelectronic Engineering, Beijing, China
Rui Wang 0040 — Civil Aviation University of China, College of Information Engineering and Automation, Tianjin, China
Rui Wang 0041 — Wuhan University, School of Remote Sensing and Information Engineering, China
Rui Wang 0042 — Beijing Jiaotong University, School of Computer and Information Technology, China (and 1 more)
Rui Wang 0043 — Nanjing University of Posts and Telecommunications, School of Computer Science, China (and 1 more)
Rui Wang 0044 — Shanghai Institute of Microsystem and Information Technology, Shanghai, China
Rui Wang 0045 — Xidian University, School of Physics and Optoelectronic Engineering, Xi'an, China
Rui Wang 0046 — Dalian University of Technology, School of Information and Communication Engineering, China
Rui Wang 0047 — Shandong University, School of Control Sciences and Engineering, Jinan
Rui Wang 0048 — Western Norway University of Applied Sciences, Bergen, Norway
Rui Wang 0050 — Jiangnan University, School of Internet of Things Engineering, Jiangsu Provincial Engineering Laboratory of Pattern Recognition and Computational Intelligence, Wuxi, China
Rui Wang 0052 — Uber AI Labs
Rui Wang 0053 — University of Bristol, High Performance Networks Group, UK
Rui Wang 0054 — Communication University of China, Institute of Communication Studies, Beijing, China (and 2 more)
Rui Wang 0055 — Chinese Academy of Sciences, Changchun Institute of Optics, Fine Mechanics and Physics, State Key Laboratory of Laser Interaction with Matter, China (and 1 more)
Rui Wang 0056 — Beijing University of Posts and Telecommunication, School of Information and Communication Engineering, Beijing Key Laboratory of Network System Architecture and Convergence, China
Rui Wang 0057 — Dalian University of Technology, Faculty of Economics and Management, China
Rui Wang 0058 — National University of Singapore, Department of Industrial and Systems Engineering, Singapore
Rui Wang 0059 — Nanyang Technological University, Energy Research Institute, Singapore (and 1 more)
Rui Wang 0060 — Beijing Jiaotong University, China
Rui Wang 0061 — Information Engineering University, PLA Strategic Support Force / Institute of Surveying and Mapping, Zhengzhou, China
Rui Wang 0062 — Shanxi University of Finance and Economics, School of Applied Mathematics, Taiyuan, China
Rui Wang 0063 — Huaqiao University, College of Computer Science and Technology, Xiamen, China
Rui Wang 0064 — Beihang University, School of Aeronautic Science and Engineering, Beijing, China
Rui Wang 0065 — Chongqing University of Posts and Telecommunications, School of Communication and Information Engineering, Key Laboratory of New Generation Broadband Mobile Communication Technology, China
Rui Wang 0066 — Northeastern University, School of Information Science and Engineering, Shenyang, China (and 1 more)
Rui Wang 0067 — Facebook, Menlo Park, CA, USA
Rui Wang 0068 — Tencent, WeChat Search Application Department, Beijing, China
Rui Wang 0069 — Yantai University, College of Opto-Electronic Information Science and Technology, Department of Computer Science, China
Rui Wang 0070 — Delft University of Technology, The Netherlands
Rui Wang 0071 — University of North Carolina, Chapel Hill, USA
Rui Wang 0072 — Michigan State University, Department of Mathematics, East Lansing, MI, USA
Rui Wang 0073 — Tongji University, Department of Computer Science and Technology, Shanghai, China (and 1 more)
Rui Wang 0074 — Southwestern University of Finance and Economics, School of Finance, Chengdu, China (and 1 more)
Rui Wang 0075 — State Grid Shandong Electric Power Research Institute, Jinan, China (and 1 more)
Rui Wang 0076 — Zhejiang University, College of Computer Science and Technology, Hangzhou, China (and 1 more)
Rui Wang 0077 — Huazhong University of Science and Technology, School of Computer Science and Technology, Wuhan, China
Rui Wang 0078 — Chinese Academy of Sciences, Aerospace Information Research Institute, Key Laboratory of Technology in GeoSpatial Information Processing and Application System, Beijing, China (and 1 more)
Rui Wang 0079 — Chinese Academy of Sciences, Institute of Software, Science and Technology on Integrated Information System Laboratory, Beijing, China (and 2 more)
Rui Wang 0080 — Fudan University, School of Information Science and Technologies, Department of Communication Science and Engineering, Key Laboratory for Information Science of Electromagnetic Waves, Shanghai, China
Rui Wang 0081 — Soochow University, School of Rail Transportation, Suzhou, China (and 1 more)
Rui Wang 0082 — Shandong University of Science and Technology, College of Energy and Mining Engineering, Qingdao, China
Rui Wang 0083 — Gannan University of Science and Technology, School of Resources and Architectural Engineering, Ganzhou, China (and 2 more)
Rui Wang 0084 — Southern University of Science and Technology, Shenzhen, China
Rui Wang 0085 — China University of Geosciences, School of Automation, Hubei Key Laboratory of Advanced Control and Intelligent Automation for Complex Systems, Wuhan, China
Rui Wang 0086 — Massachusetts Institute of Technology, Boston, MA, USA (and 2 more)
Rui Wang 0087 — Diligent Robotics, Austin, TX, USA (and 1 more)
Rui Wang 0088 — Duke University, Department of Electrical and Computer Engineering, Durham, NC, USA
Rui Wang 0089 — ByteDance Inc., China
Rui Wang 0090 — Southwest Jiaotong University, School of Information Science and Technology, Sichuan Provincial Key Laboratory of Information Coding and Transmission, Chengdu, China
Rui Wang 0092 — Harbin Institute of Technology (Shenzhen), School of Computer Science and Technology, Joint Lab of HITSZ and China Merchants Securities, Shenzhen, China (and 1 more)
Rui Wang 0093 — Harbin Institute of Technology, School of Architecture, Harbin, China
Rui Wang 0094 — China National Institute of Standardization, Ergonomics Laboratory, Beijing, China
Rui Wang 0095 — Fudan University, School of Computer Science, Shanghai Key Laboratory of Intelligent Information Processing, Shanghai, China (and 1 more)
Rui Wang 0096 — Jilin University, School of Mathematics, Changchun, China (and 1 more)
Rui Wang 0097 — Chongqing University of Technology, School of Management, Chongqing, China (and 1 more)
Rui Wang 0098 — Shandong Technology & Business University, School of Statistics, Yantai, China
Rui Wang 0099 — Shanghai Jiao Tong University, Department of Automation, Institute of Image Processing and Pattern Recognition, Shanghai, China
Rui Wang 0100 — Beijing Normal University, School of Journalism and Communication, Beijing, China
Rui Wang 0101 — South China Normal University, Institute for Brain Research and Rehabilitation, Guangzhou, China
Rui Wang 0102 — Tianjin University, College of Intelligence and Computing, Tianjin, China
Rui Wang 0103 — Tianjin University, College of Management and Economics, Tianjin, China (and 1 more)
Rui Wang 0104 — Hong Kong University of Science and Technology, Division of Environment and Sustainability, Hong Kong, China
Rui Wang 0105 — Aalborg University, Department of Energy, Aalborg, Denmark
Rui Wang 0106 — Chongqing University, School of Automation, Chongqing, China
Rui Wang 0107 — Central China Normal University, School of Computer Science, Hubei Provincial Key Laboratory of Artificial Intelligence and Smart Learning, Wuhan, China
Rui Wang 0108 — Sichuan University, College of Electronics and Information Engineering, Chengdu, China
Rui Wang 0110 — The 30th Research Institute of China Electronics Technology Group Corporation, China
Rui Wang 0111 — Ocean University of China, College of Information Science and Engineering, Shandong, China
Rui Wang 0112 — Chongqing Normal University, School of Computer and Information Sciences, China
Rui Wang 0113 — Tsinghua University, State Key Laboratory of Tribology, Beijing, China
Rui Wang 0114 — Shenyang Normal University, Software College, Shenyang, China
Rui Wang 0115 — Michigan State University, Electrical and Computer Engineering, East Lansing, MI, USA
Rui Wang 0116 — University of Western Australia, Department of Computer Science and Software Engineering, Crawley, Australia (and 1 more)
Rui Wang 0117 — Southwest Jiaotong University, National Lab of Railway Transportation, School of Transportation and Logistics, Chengdu, China
Rui Wang 0118 — Beihang University, Beijing, China
Rui Wang 0119 — Shanghai Artifcial Intelligence Laboratory, Shanghai, China
Rui Wang 0120 — Shanghai Jiao Tong University, China

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/LiYGSW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/LiYGSW24
Yu Li, Yixiao Yang, Yong Guan, Zhiping Shi, Rui Wang:
SQLPass: A Semantic Effective Fuzzing Method for DBMS. COMPSAC 2024: 1035-1044
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/0005YW0T024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/0005YW0T024
Zhuo Su, Zehong Yu, Dongyan Wang, Rui Wang, Yang Tao, Yu Jiang:
CFTCG: Test Case Generation for Simulink Model through Code Based Fuzzing. DAC 2024: 16:1-16:6
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/Yu00CW24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/Yu00CW24
Zehong Yu, Zhuo Su, Yu Jiang, Aiguo Cui, Rui Wang:
Efficient Code Generation for Data-Intensive Simulink Models via Redundancy Elimination. DAC 2024: 20:1-20:6
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/QiWGS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/QiWGS24
Fang Qi, Rui Wang, Yong Guan, Xiaoyu Song:
An Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic Control. ICECCS 2024: 290-300
2023
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/SuWYYJWCLCS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/SuWYYJWCLCS23
Zhuo Su, Dongyan Wang, Zehong Yu, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Wen Li, Aiguo Cui, Jia-Guang Sun:
PHCG: Optimizing Simulink Code Generation for Embedded System With SIMD Instructions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(4): 1072-1084 (2023)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tcsv/LiLMWSDL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcsv/LiLMWSDL23
Zhilei Li, Jun Li, Yuqing Ma, Rui Wang, Zhi-Ping Shi, Yifu Ding, Xianglong Liu:
Spatio-Temporal Adaptive Network With Bidirectional Temporal Difference for Action Recognition. IEEE Trans. Circuits Syst. Video Technol. 33(9): 5174-5185 (2023)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/WangWS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/WangWS23
Bingqing Wang, Rui Wang, Houbing Song:
Toward the Trustworthiness of Industrial Robotics Using Differential Fuzz Testing. IEEE Trans. Ind. Informatics 19(3): 2782-2791 (2023)
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/SuYWYWCCJ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/SuYWYWCCJ23
Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Rui Wang, Wanli Chang, Aiguo Cui, Yu Jiang:
STCG: State-Aware Test Case Generation for Simulink Models. DAC 2023: 1-6
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/iccse2/Tan0JLW23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccse2/Tan0JLW23
Xiaohui Tan, Zhiping Shi, Na Jiang, Jun Li, Rui Wang:
Reform and Practice of Programming Courses' Construction. ICCSE (2) 2023: 156-166
2022
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/YuSYLJCCW22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/YuSYLJCCW22
Zehong Yu, Zhuo Su, Yixiao Yang, Jie Liang, Yu Jiang, Aiguo Cui, Wanli Chang, Rui Wang:
Mercury: Instruction Pipeline Aware Code Generation for Simulink Models. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4504-4515 (2022)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/dac/0005YWYJW0S22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dac/0005YWYJW0S22
Zhuo Su, Zehong Yu, Dongyan Wang, Yixiao Yang, Yu Jiang, Rui Wang, Wanli Chang, Jia-Guang Sun:
HCG: optimizing embedded code generation of simulink with SIMD instruction synthesis. DAC 2022: 1033-1038
2021
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/ijsi/LuLGWS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijsi/LuLGWS21
Qian Lu, Xiaojuan Li, Yong Guan, Rui Wang, Zhi-Ping Shi:
Modeling and Analysis of Data Flow-Oriented ROS2 Data Distribution Service. Int. J. Softw. Informatics 11(4): 505-520 (2021)
[c24]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/usenix/WangLZ00S021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/usenix/WangLZ00S021
Mingzhe Wang, Jie Liang, Chijin Zhou, Yu Jiang, Rui Wang, Chengnian Sun, Jiaguang Sun:
RIFF: Reduced Instruction Footprint for Coverage-Guided Fuzzing. USENIX ATC 2021: 147-159
2020
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/hpcc/ZanLGWZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hpcc/ZanLGWZ20
Yixuan Zan, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang:
Formal Modeling and Verification of EDCA Based on Probabilistic Model Checking. HPCC/DSS/SmartCity 2020: 930-937
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/LuWG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/LuWG20
Zhihao Lu, Rui Wang, Yong Guan:
Formal verification of discrete event model. TAV-CPS/IoT@ISSTA 2020: 3-4
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/WangGLZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/WangGLZ20
Rui Wang, Yong Guan, Xiaojuan Li, Rui Zhang:
Formal Verification of CAN Bus in Cyber Physical System. QRS Companion 2020: 249-255

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/XinyuLGJW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/XinyuLGJW19
Xinyu Wang, Xiaojuan Li, Yong Guan, Jiadong Song, Rui Wang:
Bidirectional Potential Guided RRT* for Motion Planning. IEEE Access 7: 95046-95057 (2019)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/sj/WangGSLLSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sj/WangGSLLSS19
Rui Wang, Yong Guan, Houbing Song, Xinxin Li, Xiaojuan Li, Zhiping Shi, Xiaoyu Song:
A Formal Model-Based Design Method for Robotic Systems. IEEE Syst. J. 13(1): 1096-1107 (2019)
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/icii/0024SJYGS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icii/0024SJYGS19
Rui Wang, Houbing Song, Yu Jing, Kang Yang, Yong Guan, Jiaguang Sun:
A Sensor Attack Detection Method in Intelligent Vehicle with Multiple Sensors. ICII 2019: 219-226
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ispa/WeiLGWLZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ispa/WeiLGWLZ19
Wei Wei, Xiaojuan Li, Yong Guan, Rui Wang, Qian Lu, Jie Zhang:
Model Checking for the Goal-Feedback-Result Pattern in ROS. ISPA/BDCloud/SocialCom/SustainCom 2019: 640-645
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ithings/0001WJSK0LWS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ithings/0001WJSK0LWS19
Yu Jiang, Mingzhe Wang, Xun Jiao, Houbing Song, Hui Kong, Rui Wang, Yongxin Liu, Jian Wang, Jiaguang Sun:
Uncertainty Theory Based Reliability-Centric Cyber-Physical System Design. iThings/GreenCom/CPSCom/SmartData 2019: 208-215
2018
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/fgcs/YangWJSLGLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fgcs/YangWJSLGLS18
Kang Yang, Rui Wang, Yu Jiang, Houbing Song, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi:
Sensor attack detection using history based pairwise inconsistency. Future Gener. Comput. Syst. 86: 392-402 (2018)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/0024WSJGSL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/0024WSJGSL18
Rui Wang, Yingxia Wei, Houbing Song, Yu Jiang, Yong Guan, Xiaoyu Song, Xiaojuan Li:
From Offline Towards Real-Time Verification for Robot Systems. IEEE Trans. Ind. Informatics 14(4): 1712-1721 (2018)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tits/JiangLSKWGS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tits/JiangLSKWGS18
Yu Jiang, Han Liu, Houbing Song, Hui Kong, Rui Wang, Yong Guan, Lui Sha:
Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. 19(10): 3320-3333 (2018)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/codes/YangWJLGLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codes/YangWJLGLS18
Kang Yang, Rui Wang, Yu Jiang, Chenxia Luo, Yong Guan, Xiaojuan Li, Zhiping Shi:
Enhanced resilient sensor attack detection using fusion interval and measurement history. CODES+ISSS 2018: 19
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/LuoWJYGLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/LuoWJYGLS18
Chenxia Luo, Rui Wang, Yu Jiang, Kang Yang, Yong Guan, Xiaojuan Li, Zhiping Shi:
Runtime Verification of Robots Collision Avoidance Case Study. COMPSAC (1) 2018: 204-212
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/LiuGLWZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/LiuGLWZ18
Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang:
Formal Analysis and Verification of DDS in ROS2. MEMOCODE 2018: 62-66
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/uic/WangLGWZ18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uic/WangLGWZ18
Shun Wang, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang:
Executable Micro-Architecture Modeling and Automatic Verification of EtherCAT. SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018: 308-315
2017
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/JiangSWGSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/JiangSWGSS17
Yu Jiang, Houbing Song, Rui Wang, Ming Gu, Jiaguang Sun, Lui Sha:
Data-Centered Runtime Verification of Wireless Medical Cyber-Physical System. IEEE Trans. Ind. Informatics 13(4): 1900-1909 (2017)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LiWJGLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LiWJGLS17
Xinxin Li, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Xiaoyu Song:
Formal Modeling and Automatic Code Synthesis for Robot System. ICECCS 2017: 146-149
2016
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/LiLG0ZW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/LiLG0ZW18
Yanchun Li, Xiaojuan Li, Yong Guan, Rui Wang, Jie Zhang, Hongxing Wei:
基于xMAS模型的SpaceWire信誉逻辑的形式化验证 (xMAS-based Formal Verification of SpaceWire Credit Logic). 计算机科学 43(2): 113-117 (2016)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/jsjkx/LiZGS0LY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsjkx/LiZGS0LY18
Shanshan Li, Chunna Zhao, Yong Guan, Zhiping Shi, Rui Wang, Xiaojuan Li, Shiwei Ye:
分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4). 计算机科学 43(3): 23-26 (2016)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/WangHYS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/WangHYS16
Rui Wang, William N. N. Hung, Guowu Yang, Xiaoyu Song:
Uncertainty Model for Configurable Hardware/Software and Resource Partitioning. IEEE Trans. Computers 65(10): 3217-3223 (2016)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/colcom/LiHGWZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/colcom/LiHGWZ16
Xiaojuan Li, Yanyan Huo, Yong Guan, Rui Wang, Jie Zhang:
Formal Modelling and Analysis of TCP for Nodes Communication with ROS. CollaborateCom 2016: 609-614
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/JiangLKWHSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/JiangLKWHSS16
Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha:
Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) 2016: 112-121
2015
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/HouWJGLSZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/HouWJGLSZ15
Yuanyuan Hou, Rui Wang, Yu Jiang, Yong Guan, Xiaojuan Li, Zhiping Shi, Jie Zhang:
Embedded System Design with Reliability-Centric Optimization. COMPSAC 2015: 33-38
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/WangWGLWZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/WangWGLWZ15
Ya Wang, Rui Wang, Yong Guan, Xiaojuan Li, Hongxing Wei, Jie Zhang:
Formal Modeling and Verification of the Safety Critical Fire-Fighting Control System. COMPSAC Workshops 2015: 536-541
2014
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/HungSTLZWG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/HungSTLZWG14
William N. N. Hung, Xiaoyu Song, Jindong Tan, Xiaojuan Li, Jie Zhang, Rui Wang, Peng Gao:
Motion planning with Satisfiability Modulo Theories. ICRA 2014: 113-118
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/LuGLWZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/LuGLWZ14
Yilin Lu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang:
A framework of model checking guided test vector generation for the 6DOF manipulator. ICRA 2014: 4262-4267
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icra/WangLGWLZS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icra/WangLGWLZS14
Rui Wang, Ping Luo, Yong Guan, Hongxing Wei, Xiaojuan Li, Jie Zhang, Xiaoyu Song:
Timed automata based motion planning for a self-assembly robot system. ICRA 2014: 5624-5629
2013
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/cii/ZhouWWSSGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cii/ZhouWWSSGS13
Min Zhou, Hai Wan, Rui Wang, Xiaoyu Song, Chen Su, Ming Gu, Jiaguang Sun:
Formal component-based modeling and synthesis for PLC systems. Comput. Ind. 64(8): 1022-1034 (2013)
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jam/WangGLLZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jam/WangGLLZ13
Rui Wang, Yong Guan, Liming Luo, Xiaojuan Li, Jie Zhang:
Component-Based Formal Modeling of PLC Systems. J. Appl. Math. 2013: 721624:1-721624:9 (2013)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/LuoWLGWZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/LuoWLGWZ13
Ping Luo, Rui Wang, Xiaojuan Li, Yong Guan, Hongxing Wei, Jie Zhang:
Model Checking for SpaceWire Link Interface Design Using Uppaal. COMPSAC Workshops 2013: 181-186
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/compsac/WangGLSZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compsac/WangGLSZ13
Rui Wang, Yong Guan, Liming Luo, Xiaoyu Song, Jie Zhang:
Formal Modelling of PLC Systems by BIP Components. COMPSAC 2013: 512-518
2012
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/mcm/XiaoWGS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mcm/XiaoWGS12
Litian Xiao, Rui Wang, Ming Gu, Jiaguang Sun:
Semantic characterization of programmable logic controller programs. Math. Comput. Model. 55(5-6): 1819-1824 (2012)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/tase/WangZYZSMB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tase/WangZYZSMB12
Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga:
Modeling and Validation of PLC-Controlled Systems: A Case Study. TASE 2012: 161-166
2011
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/cii/WangSZG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cii/WangSZG11
Rui Wang, Xiaoyu Song, Jianzhong Zhu, Ming Gu:
Formal modeling and synthesis of programmable logic controllers. Comput. Ind. 62(1): 23-31 (2011)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/WangGSW09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/WangGSW09
Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan:
Formal Specification and Code Generation of Programable Logic Controllers. ICECCS 2009: 102-109
2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sies/WangGSZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sies/WangGSZ08
Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang:
Verifying programmable logic controllers with abstraction. SIES 2008: 225-228
2007
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/WangSG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/WangSG07
Rui Wang, Xiaoyu Song, Ming Gu:
Modelling and verification of program logic controllers using timed automata. IET Softw. 1(4): 127-131 (2007)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.