![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Rui Wang 0024
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
- 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 — Chinese Academy of Sciences, Institute of Computing Technology, Beijing, China
- 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 0038
— University of Science and Technology Beijing, Department of Computer Science and Technology, School of Computer and Communication Engineering, China (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 0109
— University of Science and Technology Beijing, School of Computer and Communication Engineering, Beijing, 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
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j19]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]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]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]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]Xiaohui Tan, Zhiping Shi, Na Jiang, Jun Li, Rui Wang:
Reform and Practice of Programming Courses' Construction. ICCSE (2) 2023: 156-166 - 2022
- [j16]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]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]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]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]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]Zhihao Lu, Rui Wang, Yong Guan:
Formal verification of discrete event model. TAV-CPS/IoT@ISSTA 2020: 3-4 - [c21]Rui Wang, Yong Guan, Xiaojuan Li, Rui Zhang:
Formal Verification of CAN Bus in Cyber Physical System. QRS Companion 2020: 249-255
2010 – 2019
- 2019
- [j14]Xinyu Wang
, Xiaojuan Li, Yong Guan, Jiadong Song, Rui Wang:
Bidirectional Potential Guided RRT* for Motion Planning. IEEE Access 7: 95046-95057 (2019) - [j13]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]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]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]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]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]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]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]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]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]Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang, Jie Zhang:
Formal Analysis and Verification of DDS in ROS2. MEMOCODE 2018: 62-66 - [c14]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]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]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]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]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]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]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]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]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]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]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]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]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]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]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]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]Rui Wang, Yong Guan, Liming Luo, Xiaoyu Song, Jie Zhang:
Formal Modelling of PLC Systems by BIP Components. COMPSAC 2013: 512-518 - 2012
- [j3]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]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]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
- 2009
- [c2]Rui Wang, Ming Gu, Xiaoyu Song, Hai Wan:
Formal Specification and Code Generation of Programable Logic Controllers. ICECCS 2009: 102-109 - 2008
- [c1]Rui Wang, Ming Gu, Xiaoyu Song, Hehua Zhang:
Verifying programmable logic controllers with abstraction. SIES 2008: 225-228 - 2007
- [j1]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
![](https://dblp.org/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint