Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZheng Wang 0005
Person information
- affiliation: Beijing Institute of Control Engineering, Beijing, China
- affiliation: East China Normal University
Other persons with the same name
- Zheng Wang — disambiguation page
- Zheng Wang 0001
![[0000-0001-6157-0662]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0001-6157-0662")
— University of Leeds, School of Computing, Leeds, UK (and 1 more) - Zheng Wang 0002 — University of Hong Kong, Department of Mechanical Engineering, Hong Kong (and 3 more)
- Zheng Wang 0003 (aka: Zheng Joyce Wang) — Ohio State University, School of Communication, Center for Cognitive and Brain Sciences, Columbus, OH, USA
- Zheng Wang 0004 — Drexel University, Philadelphia, PA, USA
- Zheng Wang 0006 — University of California, Santa Cruz, CA, USA
- Zheng Wang 0007 — Wuhan University, China (and 2 more)
- Zheng Wang 0008 — Tianjin University, School of Software Engineering, China
- Zheng Wang 0009 — University of Toronto, Department of Electrical & Computer Engineering, Toronto, Canada (and 2 more)
- Zheng Wang 0010 — DiDi AI Labs, Beijing, China (and 1 more)
- Zheng Wang 0011 — University of Michigan, Ann Arbor, MI, USA (and 1 more)
- Zheng Wang 0012 — Seagate Technology LLC, Longmont, CO, USA (and 1 more)
- Zheng Wang 0013 — Nanjing University of Aeronautics and Astronautics, College of Electronic and Information Engineering, China (and 1 more)
- Zheng Wang 0014 — University of California, Irvine, CA, USA
- Zheng Wang 0015 — The University of Manchester, UK
- Zheng Wang 0016 — Chinese Academy of Sciences, Shenyang Institute of Automation, Institutes for Robotics and Intelligent Manufacturing, China
- Zheng Wang 0019 — University of Missouri-Columbia, USA
- Zheng Wang 0020 — Nanyang Technological University, Singapore
- Zheng Wang 0021 — Southeast University, School of Automation, Nanjing, China
- Zheng Wang 0022 — Azanda Network, Sunnyvale, CA, USA
- Zheng Wang 0023 — University of Bath, UK
- Zheng Wang 0024 — Honeywell Technology Solution Lab, Shanghai, China
- Zheng Wang 0025 — University of Southern Mississippi, USA
- Zheng Wang 0026 — University College London, UK
- Zheng Wang 0027 — Chinese Academy of Sciences, Shenzhen Institutes of Advanced Technology, Center for Automotive Electronics, China (and 1 more)
- Zheng Wang 0028 — Arizona State University, Tempe, AZ, USA
- Zheng Wang 0029 — Southeast University, School of Electrical Engineering, Nanjing, China (and 2 more)
- Zheng Wang 0030 — Beijing University of Aeronautics and Astronautics, LMIB / School of Mathematics and Systems Science, China
- Zheng Wang 0031 — Dalian University of Technology, School of Software, China
- Zheng Wang 0032 — Zhejiang University, School of Mathematical Sciences, Hangzhou, China
- Zheng Wang 0033 — Northwestern Polytechnical University, School of Astronautics / National Key Laboratory of Aerospace Flight Dynamics, Xi'an, China
- Zheng Wang 0034 — National Institute of Standards and Technology, Gaithersburg, MD, USA (and 1 more)
- Zheng Wang 0035 — University of Western Ontario, Department of Medical Biophysics, London, Canada
- Zheng Wang 0036 — IMEC, INTEC, Ghent, Belgium (and 1 more)
- Zheng Wang 0037 — Northwestern Polytechnical University, School of Computer Science and Center for OPTical IMagery Analysis and Learning (OPTIMAL), Xi'an, China
- Zheng Wang 0038 — Newcastle University, School of Engineering, Newcastle upon Tyne, UK
- Zheng Wang 0039 — University of Tokyo, Institute of Industrial Science, Japan
- Zheng Wang 0040 — University of Sydney, School of Information Technologies, Australia
- Zheng Wang 0041 — Beihang University, School of Computer Science and Engineering, Beijing, China
- Zheng Wang 0042 — University of Utah, School of Computing, Salt Lake City, UT, USA
- Zheng Wang 0043 — University of New South Wales, School of Electrical Engineering and Telecommunications, Sydney, Australia (and 1 more)
- Zheng Wang 0044 — University of Electronic Science and Technology of China, School of Computer Science and Engineering, Center for Future Media, Chengdu, China (and 1 more)
- Zheng Wang 0045 — University of Macau, State Key Laboratory of Internet of Things for Smart City, Macao, China (and 2 more)
- Zheng Wang 0046 — Nanyang Technological University, School of Computer Science and Engineering, Singapore
- Zheng Wang 0047 — Hunan First Normal University, Information Science and Engineering School, Changsha, China (and 1 more)
- Zheng Wang 0048 — Zhejiang University of Technology, College of Computer Science and Technology, Hangzhou, China (and 1 more)
- Zheng Wang 0049 — University of Miami, Department of Computer Science, Coral Gables, FL, USA
- Zheng Wang 0050 — University of Electronic Science and Technology of China, School of Electronic Science and Engineering, Chengdu, China
- Zheng Wang 0051 — Xi'an University of Science and Technology, College of Electrical and Control Engineering, Xi'an, China
- Zheng Wang 0052 — Huazhong University of Science and Technology, Tongji Medical College, Union Hospital, Research Center for Tissue Engineering and Regenerative Medicine, Wuhan, China
- Zheng Wang 0053 — Chongqing Chemical Industry Vocational College, Chongqing, China
- Zheng Wang 0054 — Hunan University, College of Electrical and Information Engineering, Changsha, China
- Zheng Wang 0055 — Jiangnan University, School of Design, Wuxi, China
- Zheng Wang 0056 — Chinese Academy of Sciences, Xinjiang Institute of Ecology and Geography, State Key Laboratory of Desert and Oasis Ecology, Urumqi, China (and 1 more)
- Zheng Wang 0057 — Linyi University, Research Center for Big Data and Artificial Intelligence, Linyi, China (and 1 more)
- Zheng Wang 0058 — Beijing Huahang Radio Measurement Research Institute, Beijing, China
- Zheng Wang 0059 — Fudan University, School of Computer Science, Shanghai Key Lab of Intelligent Information Processing, Shanghai, China (and 1 more)
- Zheng Wang 0060 — Qingdao University of Technology, School of Mechanical and Automotive Engineering, Qingdao, China
- Zheng Wang 0061 — Open University of China, Faculty of Science and Engineering, Beijing, China (and 2 more)
- Zheng Wang 0062 — University of Science and Technology of China, Department of Electronic Engineering and Information Science, Hefei, China (and 1 more)
- Zheng Wang 0063 — Capital Medical University, Beijing Tiantan Hospital, Department of Neurosurgery, Beijing, China
- Zheng Wang 0064 — China University of Mining and Technology-Beijing, School of Geosciences and Surveying Engineering, Beijing, China
- Zheng Wang 0065 — Xijing University, School of Information Engineering, Xi'an, China
- Zheng Wang 0066 — Taiyuan University of Technology, School of Information and Computer, Jinzhong, China
- Zheng Wang 0068 — Sun Yat-sen University, Guangdong Key Laboratory of Information Security Technology, Guangzhou, China
- Zheng Wang 0069 — Central South University, Xiangya Hospital, Department of Geriatrics, Changsha, China
- Zheng Wang 0070 — Henan Academy of Science, Institute of Geographical Science, Zhengzhou, China (and 1 more)
- Zheng Wang 0071 — Guizhou University, School of Mechanical Engineering, State Key Laboratory of Public Big Data, Guiyang, China
- Zheng Wang 0072 — Shanghai Jiaotong University, Affiliated Sixth People's Hospital, Shanghai, China (and 1 more)
- Zheng Wang 0073 — Beijing Institute of Technology, School of Computer Science and Technology, Key Laboratory of Intelligent Information Technology, Beijing, China
- Zheng Wang 0074 — University of Exeter, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2014
[j5]Yongxin Zhao, Hao Xiao, Zheng Wang, Geguang Pu, Ting Su:
The semantics and verification of timed service choreography. Int. J. Comput. Math. 91(3): 384-402 (2014)- 2013
- [j4]Zheng Wang, Geguang Pu, Jianwen Li, Yuxiang Chen, Yongxin Zhao, Mingsong Chen, Bin Gu, Mengfei Yang, Jifeng He:
A novel requirement analysis approach for periodic control systems. Frontiers Comput. Sci. 7(2): 214-235 (2013) - 2012
- [j3]Mengfei Yang, Zheng Wang, Geguang Pu, Shengchao Qin, Bin Gu, Jifeng He:
The stochastic semantics and verification for periodic control systems. Sci. China Inf. Sci. 55(12): 2675-2693 (2012) - 2010
- [j2]Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu, Huibiao Zhu:
Web services choreography validation. Serv. Oriented Comput. Appl. 4(4): 291-305 (2010) - 2009
- [j1]Geguang Pu, Zheng Wang, Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Liyang Peng, Meng Sun:
Static validation of WS-CDL documents. Simul. Model. Pract. Theory 17(8): 1367-1377 (2009)
Conference and Workshop Papers
- 2020
- [c26]Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He:
FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain. ESEC/SIGSOFT FSE 2020: 1376-1386 - 2018
- [c25]Wenda Li, Xianjie Meng, Zheng Wang, Wenqi Fang, Jie Zou, Huiyun Li, Tianfu Sun, Jianing Liang:
Low-cost vector map assisted navigation strategy for autonomous vehicle. APCCAS 2018: 536-539 - [c24]Minglan Liang, Mingsong Chen, Zheng Wang, Jingwei Sun:
A CGRA based Neural Network Inference Engine for Deep Reinforcement Learning. APCCAS 2018: 540-543 - 2014
- [c23]Yan Shen, Jianwen Li, Zheng Wang, Ting Su, Bin Fang, Geguang Pu, Wanwei Liu, Mingsong Chen:
Runtime Verification by Convergent Formula Progression. APSEC (1) 2014: 255-262 - 2013
- [c22]Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim Guldstrand Larsen:
On the Relationship between LTL Normal Forms and Büchi Automata. Theories of Programming and Formal Methods 2013: 256-270 - 2012
- [c21]Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu:
An Approach to Requirement Analysis for Periodic Control Systems. SEW 2012: 130-139 - [c20]Zheng Wang, Geguang Pu, Jianwen Li, Bin Gu:
A Type System for SPARDL. TASE 2012: 209-216 - [c19]Peter E. Bulychev, Alexandre David, Kim Guldstrand Larsen, Marius Mikucionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang:
UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata. QAPL 2012: 1-16 - [c18]Zheng Wang, Geguang Pu, Jianwen Li, Jifeng He, Shengchao Qin, Kim G. Larsen, Jan Madsen, Bin Gu:
MDM: A Mode Diagram Modeling Framework. FTSCS 2012: 135-149 - 2011
- [c17]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Zheng Wang:
Time for Statistical Model Checking of Real-Time Systems. CAV 2011: 349-355 - [c16]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang:
Statistical Model Checking for Networks of Priced Timed Automata. FORMATS 2011: 80-96 - [c15]Yongxin Zhao, Zheng Wang, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He, Huibiao Zhu:
A Unifying Approach to Validating Specification-Oriented XML Constraints. HASE 2011: 33-40 - [c14]Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu:
An Event-B Interpretation for SPARDL Model. HASE 2011: 41-48 - 2010
- [c13]Lei Zhou, Jing Ping, Hao Xiao, Zheng Wang, Geguang Pu, Zuohua Ding:
Automatically Testing Web Services Choreography with Assertions. ICFEM 2010: 138-154 - [c12]Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu:
SPARDL: A Requirement Modeling Language for Periodic Control System. ISoLA (1) 2010: 594-608 - [c11]Hao Xiao, Zheng Wang, Geguang Pu, Bin Gu:
Constraint Checking for XML-Based Language Specification by SAT Solver. SSIRI (Companion) 2010: 26-27 - [c10]Yongxin Zhao, Zheng Wang, Geguang Pu, Huibiao Zhu:
A Formal Model for Service Choreography with Exception Handling and Finalization. TASE 2010: 15-24 - [c9]Xiao Yu, Shuai Sun, Geguang Pu, Siyuan Jiang, Zheng Wang:
A Parallel Approach to Concolic Testing with Low-cost Synchronization. TTSS 2010: 83-96 - 2009
- [c8]Tao Sun, Zheng Wang, Geguang Pu, Xiao Yu, Zongyan Qiu, Bin Gu:
Towards Scalable Compositional Test Generation. QSIC 2009: 353-358 - [c7]Zheng Wang, Xiao Yu, Tao Sun, Geguang Pu, Zuohua Ding, Jueliang Hu:
Test Data Generation for Derived Types in C Program. TASE 2009: 155-162 - 2008
- [c6]Zheng Wang, Xiao Yu, Geguang Pu, Libo Feng, Huibiao Zhu, Jifeng He:
Execution Semantics for rCOS. APSEC 2008: 119-126 - [c5]Geguang Pu, Yongxin Zhao, Zheng Wang, Libo Feng, Huibiao Zhu, Jifeng He:
A Denotational Model for Web Services Choreography. ICDCIT 2008: 1-12 - [c4]Lei Zhou, Hanyi Zhang, Tao Wang, Chuchao Yang, Zheng Wang, Meng Sun, Geguang Pu:
Static Check of WS-CDL Documents. SOSE 2008: 142-147 - 2007
- [c3]Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He:
The Validation and Verification of WSCDL. APSEC 2007: 81-88 - [c2]Yi Qian, Yuming Xu, Zheng Wang, Geguang Pu, Huibiao Zhu, Chao Cai:
Tool Support for BPEL Verification in ActiveBPEL Engine. ASWEC 2007: 90-100 - [c1]Xiao Yu, Zheng Wang, Geguang Pu, Dingding Mao, Jing Liu:
The Verification of rCOS Using Spin. TTSS 2007: 49-67
Informal and Other Publications
- 2023
- [i4]Jincao Feng, Weikai Miao, Hanyue Zheng, Yihao Huang, Jianwen Li, Zheng Wang, Ting Su, Bin Gu, Geguang Pu, Mengfei Yang, Jifeng He:
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain. CoRR abs/2306.01260 (2023) - 2012
- [i3]Zheng Wang, Geguang Pu, Shengchao Qin, Jianwen Li, Kim G. Larsen, Jan Madsen, Bin Gu, Jifeng He:
MDM: A Mode Diagram Modeling Framework for Periodic Control Systems. CoRR abs/1207.0922 (2012) - [i2]Jianwen Li, Geguang Pu, Lijun Zhang, Zheng Wang, Jifeng He, Kim G. Larsen:
On the Relationship between LTL Normal Forms and Buechi Automata. CoRR abs/1207.3866 (2012) - 2011
- [i1]Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikucionis, Danny Bøgsted Poulsen, Jonas van Vliet, Zheng Wang:
Stochastic Semantics and Statistical Model Checking for Networks of Priced Timed Automata. CoRR abs/1106.3961 (2011)
Coauthor Index
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-07-23 02:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
