Zhe Chen

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 1

Top Topics

Expectation Maximization

Segmentation Algorithm

Dynamic Analysis

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

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) (2024)
Zhe Chen, Gilles Motet
Towards better support for the evolution of safety requirements via the model monitoring approach. ICSE (2) (2010)
Zhe Chen, Gilles Motet
Nevertrace Claims for Model Checking. SPIN (2010)
Zhe Chen, Gilles Motet
Separating Functional and Dependability Requirements of Embedded Systems. CIT (2010)
Zhe Chen, Gilles Motet
Formalizing Safety Requirements Using Controlling Automata CoRR (2009)
Zhe Chen, Gilles Motet
Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata CoRR (2009)
Zhe Chen, Gilles Motet
System Safety Requirements as Control Structures. COMPSAC (1) (2009)
Zhe Chen, Gilles Motet
A Language-Theoretic View on Guidelines and Consistency Rules of UML. ECMDA-FA (2009)
Zhe Chen, Gilles Motet
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata. ICONS (2009)
Zhe Chen, Gilles Motet
A Language-theoretic View on Guidelines and Consistency Rules of UML CoRR (2009)