Concepedia

Hong-Liang Xie

HX

Statistics

Publications

3

Citations

124

H-Index

3

Active since

1993

Affiliations

University of Pennsylvania(Current)

Hong-Liang Xie is an author at University of Pennsylvania specializing in system software, computer engineering, and formal methods.

Top concepts

Publications per year

1993–2002

3

Publications

3

VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems

Duncan L. Clarke, Insup Lee, Hong-Liang Xie · ScholarlyCommons (University of Pennsylvania) · 1993 · 50 citations · Full text

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

Hanêne Ben‐Abdallah, Jin‐Young Choi, Duncan L. Clarke et al. · Real-Time Systems · 1998 · 42 citations

The specification and schedulability analysis of real-time systems using ACSR

Jin‐Young Choi, Insup Lee, Hong-Liang Xie · 2002 · 32 citations

, , +19

1–3 of 3