System Safety Requirements as Control Structures. - Zhe Chen 011; Gilles Motet (COMPSAC (1), 2009)

A Language-Theoretic View on Guidelines and Consistency Rules of UML. - Zhe Chen 011; Gilles Motet (ECMDA-FA, 2009)

Modeling System Safety Requirements Using Input/Output Constraint Meta-automata. - Zhe Chen 011; Gilles Motet (ICONS, 2009)

Formalizing Safety Requirements Using Controlling Automata - Zhe Chen 011; Gilles Motet (CoRR, 2009)

Separating Functional and Dependability Requirements of Embedded Systems. - Zhe Chen 011; Gilles Motet (CIT, 2010)

Towards better support for the evolution of safety requirements via the model monitoring approach. - Zhe Chen 011; Gilles Motet (ICSE (2), 2010)

Nevertrace Claims for Model Checking. - Zhe Chen 011; Gilles Motet (SPIN, 2010)

On the Generative Power of ω-Grammars and ω-Automata. - Zhe Chen 011 (Fundam. Informaticae, 2011)

An Energy-Efficient Routing Protocol Using Movement Trends in Vehicular Ad hoc Networks. - Daqiang Zhang 001; Zhijun Yang; Vaskar Raychoudhury; Zhe Chen 011; Jaime Lloret 001 (Comput. J., 2013)

A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks. - Zhe Chen 011; Daqiang Zhang 001; Rongbo Zhu; Yinxue Ma; Ping Yin; Feng Xie (CoRR, 2013)

Detecting Hot Road Mobility of Vehicular Ad Hoc Networks. - Daqiang Zhang 001; Hongyu Huang; Jingyu Zhou; Feng Xia 001; Zhe Chen 011 (Mob. Networks Appl., 2013)

Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control. - Zhe Chen 011; Ou Wei; Zhiqiu Huang; Hongwei Xi 001 (TASE, 2015)

Control Systems on Automata and Grammars. - Zhe Chen 011 (Comput. J., 2015)

Model checking aircraft controller software: a case study. - Zhe Chen 011; Yi Gu; Zhiqiu Huang; Jun Zheng; Chang Liu; Ziyi Liu (Softw. Pract. Exp., 2015)

Modeling and analyzing the convergence property of the BGP routing protocol in SPIN. - Zhe Chen 011; Daqiang Zhang 001; Yinxue Ma (Telecommun. Syst., 2015)

Partial Order Reduction for State/Event Systems. - Shuanglong Kan; Zhiqiu Huang; Zhe Chen 011 (ICFEM, 2016)

Parametric Runtime Verification of C Programs. - Zhe Chen 011; Zhemin Wang; Yunlong Zhu; Hongwei Xi 001; Zhibin Yang (TACAS, 2016)

面向DO-333的襟缝翼控制单元安全性分析 (Safety Analysis of Slat and Flap Control Unit for DO-333). - Guangying Chen; Zhiqiu Huang; Zhe Chen 011; Shuanglong Kan (计算机科学, 2016)

Parametric runtime verification is NP-complete and coNP-complete. - Zhe Chen 011 (Inf. Process. Lett., 2017)

Partial order reduction for checking LTL formulae with the next-time operator. - Shuanglong Kan; Zhiqiu Huang; Zhe Chen 011; Weiwei Li 001; Yutao Huang (J. Log. Comput., 2017)

Generating Realistic Logically Unreasonable Faulty Data for Fault Injection. - Ju Qian; Fusheng Lin; Changjian Li 004; Zhiyi Zhang 004; Zhe Chen 011 (COMPSAC (2), 2018)

Beyond spatial and temporal memory safety. - Zhe Chen 011; Chuanqi Tao; Zhiyi Zhang 004; Zhibin Yang (ICSE (Companion Volume), 2018)

Deciding weak monitorability for runtime verification. - Zhe Chen 011; Yifan Wu; Ou Wei; Bin Sheng (ICSE (Companion Volume), 2018)

Runtime verification of memory safety via source transformation. - Zhe Chen 011; Junqi Yan; Wenming Li; Ju Qian; Zhiqiu Huang (ICSE (Companion Volume), 2018)

Detecting memory errors at runtime with source-level instrumentation. - Zhe Chen 011; Junqi Yan; Shuanglong Kan; Ju Qian; Jingling Xue (ISSTA, 2019)

Four-Valued Monitorability of ømega-Regular Languages. - Zhe Chen 011; Yunyun Chen; Robert M. Hierons; Yifan Wu (ICFEM, 2020)

Four-valued monitorability of ω-regular languages. - Zhe Chen 011; Yunyun Chen; Robert M. Hierons; Yifan Wu (CoRR, 2020)

Runtime detection of memory errors with smart status. - Zhe Chen 011; Chong Wang; Junqi Yan; Yulei Sui; Jingling Xue (ISSTA, 2021)

A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation. - Zhe Chen 011; Jun Wu; Qi Zhang; Jingling Xue (ICSE-Companion, 2022)

SafeOSL: Ensuring memory safety of C via ownership-based intermediate language. - Xiaohua Yin; Zhiqiu Huang; Shuanglong Kan; Guohua Shen; Zhe Chen 011; Yang Liu 003; Fei Wang 032 (Softw. Pract. Exp., 2022)

Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration. - Yiyu Zhang; Tianyi Liu; Zewen Sun; Zhe Chen 011; Xuandong Li; Zhiqiang Zuo 002 (ISSTA, 2023)

A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety. - Zhe Chen 011; Qi Zhang; Jun Wu; Junqi Yan; Jingling Xue (IEEE Trans. Software Eng., 2023)

Design and Implementation of an Aspect-Oriented C Programming Language. - Zhe Chen 011; Yunlong Zhu; Zhemin Wang (Proc. ACM Program. Lang., 2024)

A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety. - Zhe Chen 011; Rui Yan; Yingzi Ma; Yulei Sui; Jingling Xue (ACM Trans. Softw. Eng. Methodol., 2024)

Formally understanding Rust's ownership and borrowing system at the memory level. - Shuanglong Kan; Zhe Chen 011; David Sanán; Yang Liu 003 (Formal Methods Syst. Des., 2024)