Lingtai Wang

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 3

Top Topics

Automatically Generating

Deterministic Finite Automata

Error Correcting

Top Venues

ACM Trans. Softw. Eng. Methodol.

Sci. China Inf. Sci.

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Jie An, Lingtai Wang, Bohua Zhan, Naijun Zhan, Miaomiao Zhang
Learning real-time automata. Sci. China Inf. Sci. 64 (9) (2021)
Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan
Automatically Generating SystemC Code from HCSP Formal Models. ACM Trans. Softw. Eng. Methodol. 29 (1) (2020)
Lingtai Wang, Naijun Zhan, Jie An
The Opacity of Real-Time Automata. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)