Hong-liang Xie

According to our database¹, Hong-liang Xie authored at least 3 papers between 1995 and 1998.

Collaborative distances:

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

Awards

IEEE Fellow

IEEE Fellow 2016, "For contributions to fundamental limits of feedback control systems and wireless networks".

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

1998

A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems.

[BibT_eX]

[DOI]

Real Time Syst., 1998

1996

XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

The Specification and Schedulability Analysis of Real-Time Systems using ACSR.

[BibT_eX]

[DOI]

Jin-Young Choi

Insup Lee

Hong-liang Xie

Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995

Hong-liang Xie

Awards

IEEE Fellow

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...