Lingtai Wang

According to our database¹, Lingtai Wang authored at least 5 papers between 2018 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

The Opacity of Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

2021

Learning real-time automata.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2021

2020

Automatically Generating SystemC Code from HCSP Formal Models.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2020

2018

The Opacity of Real-Time Automata.

[BibT_eX]

[DOI]

Lingtai Wang

Naijun Zhan

Jie An

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

Decidability of the Initial-State Opacity of Real-Time Automata.

[BibT_eX]

[DOI]

Lingtai Wang

Naijun Zhan

Proceedings of the Symposium on Real-Time and Hybrid Systems, 2018

Lingtai Wang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...