Decidability of the Initial-State Opacity of Real-Time Automata. - Lingtai Wang; Naijun Zhan (Symposium on Real-Time and Hybrid Systems, 2018)

The Opacity of Real-Time Automata. - Lingtai Wang; Naijun Zhan; Jie An 001 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Automatically Generating SystemC Code from HCSP Formal Models. - Gaogao Yan; Li Jiao; Shuling Wang 003; Lingtai Wang; Naijun Zhan (ACM Trans. Softw. Eng. Methodol., 2020)

Learning real-time automata. - Jie An 001; Lingtai Wang; Bohua Zhan; Naijun Zhan; Miaomiao Zhang 003 (Sci. China Inf. Sci., 2021)

The Opacity of Timed Automata. - Jie An 001; Qiang Gao; Lingtai Wang; Naijun Zhan; Ichiro Hasuo (FM (1), 2024)