Concepedia

Guangliang Xu

GX

2

Publications

143

Citations

2

H-Index

2000

Active since

Affiliations

AT&T (United States)(Current)

Guangliang Xu is an author at AT&T (United States) specializing in computer engineering, process control, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsProcess ControlChannel ModelingComputer ScienceProgram AnalysisReal-time SystemsSoftware AnalysisFormal Verification

Publications per year

2000–2018

2

Publications

2

Reachability analysis of real-time systems using time Petri nets

J. Wang, Y.-M. Deng, Guangliang Xu · IEEE Transactions on Systems Man and Cybernetics Part B (Cybernetics) · 2000 · 133 citations

Petri Net, Engineering, Reachability Problem +16

Hybrid covert channel in LTE-A: Modeling and analysis

Guangliang Xu, Wei Yang, Liusheng Huang · Journal of Network and Computer Applications · 2018 · 10 citations

Channel Modeling, Hybrid Covert Channel, Covert Channel +1

Rows per page

1–2 of 2