Zhe Chen

37 papers A 4C 3Misc 1Journal 19Unranked 10
YearRankTypeTitle / Venue / Authors
2024 J jnl
A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety.
ACM Trans. Softw. Eng. Methodol.
Zhe Chen, Rui Yan, Yingzi Ma, Yulei Sui, Jingling Xue
2024 J jnl
Design and Implementation of an Aspect-Oriented C Programming Language.
Proc. ACM Program. Lang.
Zhe Chen, Yunlong Zhu, Zhemin Wang
2024 J jnl
Formally understanding Rust's ownership and borrowing system at the memory level.
Formal Methods Syst. Des.
Shuanglong Kan, Zhe Chen, David Sanán, Yang Liu
2023 J jnl
A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety.
IEEE Trans. Software Eng.
Zhe Chen, Qi Zhang, Jun Wu, Junqi Yan, Jingling Xue
2023 A conf
Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration.
ISSTA
Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo
2022 — conf
A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation.
ICSE-Companion
Zhe Chen, Jun Wu, Qi Zhang, Jingling Xue
2022 J jnl
SafeOSL: Ensuring memory safety of C via ownership-based intermediate language.
Softw. Pract. Exp.
Xiaohua Yin, Zhiqiu Huang, Shuanglong Kan, Guohua Shen, Zhe Chen, Yang Liu, Fei Wang
2021 A conf
Runtime detection of memory errors with smart status.
ISSTA
Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, Jingling Xue
2020 C conf
Four-Valued Monitorability of ømega-Regular Languages.
ICFEM
Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu
2020 J jnl
Four-valued monitorability of ω-regular languages.
CoRR
Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu
2019 A conf
Detecting memory errors at runtime with source-level instrumentation.
ISSTA
Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue
2018 — conf
Beyond spatial and temporal memory safety.
ICSE (Companion Volume)
Zhe Chen, Chuanqi Tao, Zhiyi Zhang, Zhibin Yang
2018 — conf
Deciding weak monitorability for runtime verification.
ICSE (Companion Volume)
Zhe Chen, Yifan Wu, Ou Wei, Bin Sheng
2018 — conf
Generating Realistic Logically Unreasonable Faulty Data for Fault Injection.
COMPSAC (2)
Ju Qian, Fusheng Lin, Changjian Li, Zhiyi Zhang, Zhe Chen
2018 — conf
Runtime verification of memory safety via source transformation.
ICSE (Companion Volume)
Zhe Chen, Junqi Yan, Wenming Li, Ju Qian, Zhiqiu Huang
2017 J jnl
Parametric runtime verification is NP-complete and coNP-complete.
Inf. Process. Lett.
Zhe Chen
2017 J jnl
Partial order reduction for checking LTL formulae with the next-time operator.
J. Log. Comput.
Shuanglong Kan, Zhiqiu Huang, Zhe Chen, Weiwei Li, Yutao Huang
2016 A conf
Parametric Runtime Verification of C Programs.
TACAS
Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang
2016 C conf
Partial Order Reduction for State/Event Systems.
ICFEM
Shuanglong Kan, Zhiqiu Huang, Zhe Chen
2016 J jnl
面向DO-333的襟缝翼控制单元安全性分析 (Safety Analysis of Slat and Flap Control Unit for DO-333).
计算机科学
Guangying Chen, Zhiqiu Huang, Zhe Chen, Shuanglong Kan
2015 J jnl
Control Systems on Automata and Grammars.
Comput. J.
Zhe Chen
2015 Misc conf
Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control.
TASE
Zhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi
2015 J jnl
Model checking aircraft controller software: a case study.
Softw. Pract. Exp.
Zhe Chen, Yi Gu, Zhiqiu Huang, Jun Zheng, Chang Liu, Ziyi Liu
2015 J jnl
Modeling and analyzing the convergence property of the BGP routing protocol in SPIN.
Telecommun. Syst.
Zhe Chen, Daqiang Zhang, Yinxue Ma
2013 J jnl
A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks.
CoRR
Zhe Chen, Daqiang Zhang, Rongbo Zhu, Yinxue Ma, Ping Yin, Feng Xie
2013 J jnl
An Energy-Efficient Routing Protocol Using Movement Trends in Vehicular
Comput. J.
Daqiang Zhang, Zhijun Yang, Vaskar Raychoudhury, Zhe Chen, Jaime Lloret
2013 J jnl
Detecting Hot Road Mobility of Vehicular Ad Hoc Networks.
Mob. Networks Appl.
Daqiang Zhang, Hongyu Huang, Jingyu Zhou, Feng Xia, Zhe Chen
2011 J jnl
On the Generative Power of ω-Grammars and ω-Automata.
Fundam. Informaticae
Zhe Chen
2010 — conf
Nevertrace Claims for Model Checking.
SPIN
Zhe Chen, Gilles Motet
2010 C conf
Separating Functional and Dependability Requirements of Embedded Systems.
CIT
Zhe Chen, Gilles Motet
2010 — conf
Towards better support for the evolution of safety requirements via the model monitoring approach.
ICSE (2)
Zhe Chen, Gilles Motet
2009 — conf
A Language-Theoretic View on Guidelines and Consistency Rules of UML.
ECMDA-FA
Zhe Chen, Gilles Motet
2009 J jnl
A Language-theoretic View on Guidelines and Consistency Rules of UML
CoRR
Zhe Chen, Gilles Motet
2009 J jnl
Formalizing Safety Requirements Using Controlling Automata
CoRR
Zhe Chen, Gilles Motet
2009 J jnl
Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata
CoRR
Zhe Chen, Gilles Motet
2009 — conf
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata.
ICONS
Zhe Chen, Gilles Motet
2009 — conf
System Safety Requirements as Control Structures.
COMPSAC (1)
Zhe Chen, Gilles Motet