default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZhe Chen 0011
Person information
- affiliation: Nanjing University of Aeronautics and Astronautics, China
- affiliation (former): University of Toulouse, INSA, France
Other persons with the same name
- Zhe Chen — disambiguation page
- Zhe Chen 0001
![[0000-0002-6483-6056]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-6483-6056")
(aka: Zhe S. Chen 0001, Zhe (Sage) Chen, Zhe Sage Chen) — New York University School of Medicine, Department of Psychiatry / Neuroscience and Physiology, NY, USA (and 1 more) - Zhe Chen 0002 — Technical University of Munich, Institute for Electrical Drive Systems and Power Electronics, Germany
- Zhe Chen 0003 — Massachusetts Institute of Technology, Department of Brain and Cognitive Sciences / Picower Institute for Learning and Memory, Cambridge, MA, USA
- Zhe Chen 0004 — Hohai University, College of Computer and Information, Nanjing, China (and 1 more)
- Zhe Chen 0005 — Dalian University of Technology, Faculty of Electronic Information and Electrical Engineering, School of Information and Communication Engineering, China
- Zhe Chen 0006 — Huawei Technologies, Beijing, China (and 1 more)
- Zhe Chen 0007 — Aalborg University, Institute of Energy Technology, Denmark
- Zhe Chen 0008 — Tsinghua University, State Key Laboratory of Automotive Safety and Energy, Beijing, China
- Zhe Chen 0009 — University of Edinburgh, Institute for Digital Communications School of Engineering, Li-Fi R&D Centre, UK
- Zhe Chen 0010 — Chinese University of Hong Kong, Department of Electronic Engineering, Hong Kong
- Zhe Chen 0012 — Yale University, Department of Diagnostic Radiology, New Haven, CT, USA
- Zhe Chen 0013 — University of Sydney, School of Computer ScienceNSW, Australia (and 1 more)
- Zhe Chen 0014 — University of Michigan, USA
- Zhe Chen 0015 — China-Singapore International Joint Research Institute, Nanyang Technological University, Singapore (and 1 more)
- Zhe Chen 0016 — Monash University, VIC, Australia
- Zhe Chen 0017 — Nanjing University, OpenGVLab, Shanghai AI Laboratory, China
- Zhe Chen 0018 — Jiangnan University, School of Artificial Intelligence and Computer Science, Wuxi, China
- Zhe Chen 0019 — Sichuan University, Business School, Chengdu, China (and 2 more)
- Zhe Chen 0020 — Chengdu University of Technology, College of Mathematics and Physics, Digital Hu Line Research Institute, China (and 2 more)
- Zhe Chen 0021 — Southeast University, State Key Laboratory of Millimeter-Waves, School of Information Science and Engineering, China (and 2 more)
- Zhe Chen 0022 — Beihang University, School of Economics and Management, Beijing, China (and 1 more)
- Zhe Chen 0023 — Innovation Lab, PayPal, Singapore (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j14]Shuanglong Kan, Zhe Chen, David Sanán, Yang Liu:
Formally understanding Rust's ownership and borrowing system at the memory level. Formal Methods Syst. Des. 64(1): 200-236 (2024)- [j13]Zhe Chen, Yunlong Zhu, Zhemin Wang:
Design and Implementation of an Aspect-Oriented C Programming Language. Proc. ACM Program. Lang. 8(OOPSLA1): 642-669 (2024) - [j12]Zhe Chen, Rui Yan, Yingzi Ma, Yulei Sui, Jingling Xue:
A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety. ACM Trans. Softw. Eng. Methodol. 33(4): 89:1-89:47 (2024) - 2023
- [j11]Zhe Chen, Qi Zhang, Jun Wu, Junqi Yan, Jingling Xue:
A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety. IEEE Trans. Software Eng. 49(4): 2107-2127 (2023) - [c18]Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo:
Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. ISSTA 2023: 816-828 - 2022
- [j10]Xiaohua Yin, Zhiqiu Huang, Shuanglong Kan, Guohua Shen, Zhe Chen, Yang Liu, Fei Wang:
SafeOSL: Ensuring memory safety of C via ownership-based intermediate language. Softw. Pract. Exp. 52(5): 1114-1142 (2022) - [c17]Zhe Chen, Jun Wu, Qi Zhang, Jingling Xue:
A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation. ICSE-Companion 2022: 6-10 - 2021
- [c16]Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, Jingling Xue:
Runtime detection of memory errors with smart status. ISSTA 2021: 296-308 - 2020
- [c15]Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu:
Four-Valued Monitorability of ømega-Regular Languages. ICFEM 2020: 198-214 - [i5]Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu:
Four-valued monitorability of ω-regular languages. CoRR abs/2002.06737 (2020)
2010 – 2019
- 2019
- [c14]Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue:
Detecting memory errors at runtime with source-level instrumentation. ISSTA 2019: 341-351 - 2018
- [c13]Ju Qian, Fusheng Lin, Changjian Li, Zhiyi Zhang, Zhe Chen:
Generating Realistic Logically Unreasonable Faulty Data for Fault Injection. COMPSAC (2) 2018: 436-441 - [c12]Zhe Chen, Yifan Wu, Ou Wei, Bin Sheng:
Deciding weak monitorability for runtime verification. ICSE (Companion Volume) 2018: 163-164 - [c11]Zhe Chen, Chuanqi Tao, Zhiyi Zhang, Zhibin Yang:
Beyond spatial and temporal memory safety. ICSE (Companion Volume) 2018: 189-190 - [c10]Zhe Chen, Junqi Yan, Wenming Li, Ju Qian, Zhiqiu Huang:
Runtime verification of memory safety via source transformation. ICSE (Companion Volume) 2018: 264-265 - 2017
- [j9]Zhe Chen:
Parametric runtime verification is NP-complete and coNP-complete. Inf. Process. Lett. 123: 14-20 (2017) - [j8]Shuanglong Kan, Zhiqiu Huang, Zhe Chen, Weiwei Li, Yutao Huang:
Partial order reduction for checking LTL formulae with the next-time operator. J. Log. Comput. 27(4): 1095-1131 (2017) - 2016
- [j7]Guangying Chen, Zhiqiu Huang, Zhe Chen, Shuanglong Kan:
面向DO-333的襟缝翼控制单元安全性分析 (Safety Analysis of Slat and Flap Control Unit for DO-333). 计算机科学 43(5): 150-156 (2016) - [c9]Shuanglong Kan, Zhiqiu Huang, Zhe Chen:
Partial Order Reduction for State/Event Systems. ICFEM 2016: 329-345 - [c8]Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang:
Parametric Runtime Verification of C Programs. TACAS 2016: 299-315 - 2015
- [j6]Zhe Chen:
Control Systems on Automata and Grammars. Comput. J. 58(1): 75-94 (2015) - [j5]Zhe Chen, Yi Gu, Zhiqiu Huang, Jun Zheng, Chang Liu, Ziyi Liu:
Model checking aircraft controller software: a case study. Softw. Pract. Exp. 45(7): 989-1017 (2015) - [j4]Zhe Chen, Daqiang Zhang, Yinxue Ma:
Modeling and analyzing the convergence property of the BGP routing protocol in SPIN. Telecommun. Syst. 58(3): 205-217 (2015) - [c7]Zhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi:
Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control. TASE 2015: 63-70 - 2013
- [j3]Daqiang Zhang, Zhijun Yang, Vaskar Raychoudhury, Zhe Chen, Jaime Lloret:
An Energy-Efficient Routing Protocol Using Movement Trends in Vehicular Ad hoc Networks. Comput. J. 56(8): 938-946 (2013) - [j2]Daqiang Zhang, Hongyu Huang, Jingyu Zhou, Feng Xia, Zhe Chen:
Detecting Hot Road Mobility of Vehicular Ad Hoc Networks. Mob. Networks Appl. 18(6): 803-813 (2013) - [i4]Zhe Chen, Daqiang Zhang, Rongbo Zhu, Yinxue Ma, Ping Yin, Feng Xie:
A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks. CoRR abs/1305.7410 (2013) - 2011
- [j1]Zhe Chen:
On the Generative Power of ω-Grammars and ω-Automata. Fundam. Informaticae 111(2): 119-145 (2011) - 2010
- [c6]Zhe Chen, Gilles Motet:
Separating Functional and Dependability Requirements of Embedded Systems. CIT 2010: 2373-2380 - [c5]Zhe Chen, Gilles Motet:
Towards better support for the evolution of safety requirements via the model monitoring approach. ICSE (2) 2010: 219-222 - [c4]Zhe Chen, Gilles Motet:
Nevertrace Claims for Model Checking. SPIN 2010: 162-179
2000 – 2009
- 2009
- [c3]Zhe Chen, Gilles Motet:
System Safety Requirements as Control Structures. COMPSAC (1) 2009: 324-331 - [c2]Zhe Chen, Gilles Motet:
A Language-Theoretic View on Guidelines and Consistency Rules of UML. ECMDA-FA 2009: 66-81 - [c1]Zhe Chen, Gilles Motet:
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata. ICONS 2009: 228-233 - [i3]Zhe Chen, Gilles Motet:
Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata. CoRR abs/0905.2355 (2009) - [i2]Zhe Chen, Gilles Motet:
Formalizing Safety Requirements Using Controlling Automata. CoRR abs/0905.2364 (2009) - [i1]Zhe Chen, Gilles Motet:
A Language-theoretic View on Guidelines and Consistency Rules of UML. CoRR abs/0905.2367 (2009)
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 2025-02-20 20:46 CET 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:
