3
Publications
183
Citations
3
H-Index
2002
Active since
Affiliations
The University of Texas at Austin(Current)
G. Liu is an author at The University of Texas at Austin specializing in engineering, computer science, and systems engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringBusinessChemistryCorrosion
Publications per year
2002–2009
3
3
Composite events for network event correlation
G. Liu, Aloysius K. Mok, Ellyn Yang · 2003 · 106 citations
Event-driven Architecture, Engineering, Network Analysis +23
Early detection of timing constraint violation at runtime
Aloysius K. Mok, G. Liu · 2002 · 43 citations
Rows per page
1–3 of 3