Zhe Chen

According to our database, Zhe Chen authored at least 34 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety.

Zhe Chen, Rui Yan, Yingzi Ma, Yulei Sui, Jingling Xue

ACM Trans. Softw. Eng. Methodol., May, 2024

Design and Implementation of an Aspect-Oriented C Programming Language.

Zhe Chen, Yunlong Zhu, Zhemin Wang

Proc. ACM Program. Lang., 2024

2023

A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety.

Zhe Chen, Qi Zhang, Jun Wu, Junqi Yan, Jingling Xue

IEEE Trans. Software Eng., April, 2023

Catamaran: Low-Overhead Memory Safety Enforcement via Parallel Acceleration.

Yiyu Zhang, Tianyi Liu, Zewen Sun, Zhe Chen, Xuandong Li, Zhiqiang Zuo

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

2022

SafeOSL: Ensuring memory safety of C via ownership-based intermediate language.

Xiaohua Yin, Zhiqiu Huang, Shuanglong Kan, Guohua Shen, Zhe Chen, Yang Liu, Fei Wang

Softw. Pract. Exp., 2022

A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level Instrumentation.

Zhe Chen, Jun Wu, Qi Zhang, Jingling Xue

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021

Runtime detection of memory errors with smart status.

Zhe Chen, Chong Wang, Junqi Yan, Yulei Sui, Jingling Xue

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Four-valued monitorability of ω-regular languages.

Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu

CoRR, 2020

Four-Valued Monitorability of ømega-Regular Languages.

Zhe Chen, Yunyun Chen, Robert M. Hierons, Yifan Wu

Proceedings of the Formal Methods and Software Engineering, 2020

2019

Detecting memory errors at runtime with source-level instrumentation.

Zhe Chen, Junqi Yan, Shuanglong Kan, Ju Qian, Jingling Xue

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

2018

Runtime verification of memory safety via source transformation.

Zhe Chen, Junqi Yan, Wenming Li, Ju Qian, Zhiqiu Huang

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Deciding weak monitorability for runtime verification.

Zhe Chen, Yifan Wu, Ou Wei, Bin Sheng

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Beyond spatial and temporal memory safety.

Zhe Chen, Chuanqi Tao, Zhiyi Zhang, Zhibin Yang

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

Generating Realistic Logically Unreasonable Faulty Data for Fault Injection.

Ju Qian, Fusheng Lin, Changjian Li, Zhiyi Zhang, Zhe Chen

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

2017

Partial order reduction for checking LTL formulae with the next-time operator.

Shuanglong Kan, Zhiqiu Huang, Zhe Chen, Weiwei Li, Yutao Huang

J. Log. Comput., 2017

Parametric runtime verification is NP-complete and coNP-complete.

Zhe Chen

Inf. Process. Lett., 2017

2016

面向DO-333的襟缝翼控制单元安全性分析 (Safety Analysis of Slat and Flap Control Unit for DO-333).

Guangying Chen, Zhiqiu Huang, Zhe Chen, Shuanglong Kan

计算机科学, 2016

Parametric Runtime Verification of C Programs.

Zhe Chen, Zhemin Wang, Yunlong Zhu, Hongwei Xi, Zhibin Yang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Partial Order Reduction for State/Event Systems.

Shuanglong Kan, Zhiqiu Huang, Zhe Chen

Proceedings of the Formal Methods and Software Engineering, 2016

2015

Modeling and analyzing the convergence property of the BGP routing protocol in SPIN.

Zhe Chen, Daqiang Zhang, Yinxue Ma

Telecommun. Syst., 2015

Model checking aircraft controller software: a case study.

Zhe Chen, Yi Gu, Zhiqiu Huang, Jun Zheng, Chang Liu, Ziyi Liu

Softw. Pract. Exp., 2015

Control Systems on Automata and Grammars.

Zhe Chen

Comput. J., 2015

Formal Semantics of Runtime Monitoring, Verification, Enforcement and Control.

Zhe Chen, Ou Wei, Zhiqiu Huang, Hongwei Xi

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

2013

Detecting Hot Road Mobility of Vehicular Ad Hoc Networks.

Daqiang Zhang, Hongyu Huang, Jingyu Zhou, Feng Xia, Zhe Chen

Mob. Networks Appl., 2013

A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks.

Zhe Chen, Daqiang Zhang, Rongbo Zhu, Yinxue Ma, Ping Yin, Feng Xie

CoRR, 2013

An Energy-Efficient Routing Protocol Using Movement Trends in Vehicular <i>Ad hoc</i> Networks.

Daqiang Zhang, Zhijun Yang, Vaskar Raychoudhury, Zhe Chen, Jaime Lloret

Comput. J., 2013

2011

On the Generative Power of ω-Grammars and ω-Automata.

Zhe Chen

Fundam. Informaticae, 2011

2010

Nevertrace Claims for Model Checking.

Zhe Chen, Gilles Motet

Proceedings of the Model Checking Software, 2010

Towards better support for the evolution of safety requirements via the model monitoring approach.

Zhe Chen, Gilles Motet

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Separating Functional and Dependability Requirements of Embedded Systems.

Zhe Chen, Gilles Motet

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Formalizing Safety Requirements Using Controlling Automata

Zhe Chen, Gilles Motet

CoRR, 2009

Modeling System Safety Requirements Using Input/Output Constraint Meta-automata.

Zhe Chen, Gilles Motet

Proceedings of the Fourth International Conference on Systems, 2009

A Language-Theoretic View on Guidelines and Consistency Rules of UML.

Zhe Chen, Gilles Motet

Proceedings of the Model Driven Architecture, 2009

System Safety Requirements as Control Structures.

Zhe Chen, Gilles Motet

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009