Zhe Chen

According to our database, Zhe Chen authored at least 28 papers between 2009 and 2023.

Collaborative distances:

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

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

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

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