Hongwei Liao

Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis: Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. Discrete Event Dynamic Systems 23(2): 157-195 (2013)

Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke: Practical lock/unlock pairing for concurrent programs. CGO 2013: 1-12

Hongwei Liao, Jason Stanley, Yin Wang, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke: Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. CDC-ECE 2011: 1142-1148

Hongwei Liao, Min Lu: A Petri net approach to resource allocation in brand management systems. IEEM 2011: 41-45

Hongwei Liao, Hao Zhou, Stéphane Lafortune: Simulation analysis of multithreaded programs under deadlock-avoidance control. Winter Simulation Conference 2011: 703-715

Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke: Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets. CDC 2010: 2797-2804

Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune: Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). CASE 2009: 37-41

Yin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune: Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software. CDC 2009: 4971-4976

Hongwei Liao, Xinbing Wang, Hsiao-Hwa Chen: Adaptive Call Admission Control for Multi-Class Services in Wireless Networks. ICC 2008: 2840-2844

Hongwei Liao, Ling Tie, Zhao Du: A Vertical Handover Decision Algorithm Based on Fuzzy Control Theory. IMSCCS (2) 2006: 309-313