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

Adaptive Call Admission Control for Multi-Class Services in Wireless Networks. - Hongwei Liao; Xinbing Wang; Hsiao-Hwa Chen (ICC, 2008)

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

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

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

Supervisory control of software execution for failure avoidance: Experience from the Gadara project. - Yin Wang 001; Hyoun Kyu Cho; Hongwei Liao; Ahmed Nazeem; Terence Kelly; Stéphane Lafortune; Scott A. Mahlke; Spyros A. Reveliotis (WODES, 2010)

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

Work in progress - A new laboratory project in a required Electrical Engineering course for non-majors: Design, survey, and analysis of student feedback. - Hongwei Liao; Alexander Ganago (FIE, 2011)

A Petri net approach to resource allocation in brand management systems. - Hongwei Liao; Min Lu (IEEM, 2011)

Simulation analysis of multithreaded programs under deadlock-avoidance control. - Hongwei Liao; Hao Zhou; Stéphane Lafortune (WSC, 2011)

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

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. - Hongwei Liao; Yin Wang 001; Hyoun Kyu Cho; Jason Stanley; Terence Kelly; Stéphane Lafortune; Scott A. Mahlke; Spyros A. Reveliotis (Discret. Event Dyn. Syst., 2013)

Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software. - Hongwei Liao; Stéphane Lafortune; Spyros A. Reveliotis; Yin Wang 001; Scott A. Mahlke (IEEE Trans. Autom. Control., 2013)

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. - Hongwei Liao; Yin Wang 001; Jason Stanley; Stéphane Lafortune; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke (IEEE Trans. Control. Syst. Technol., 2013)

Semi-structured B-spline for blending two B-spline surfaces. - Hongwei Lin; Yunyang Xiong; Hongwei Liao (Comput. Math. Appl., 2014)

Affine Arithmetic-Based B-Spline Surface Intersection with GPU Acceleration. - Hongwei Lin; Yang Qin; Hongwei Liao; Yunyang Xiong (IEEE Trans. Vis. Comput. Graph., 2014)

Quality guaranteed all-hex mesh generation by a constrained volume iterative fitting algorithm. - Hongwei Lin; Sinan Jin; Hongwei Liao; Qun Jian (Comput. Aided Des., 2015)

SAT-Based Control of Concurrent Software for Deadlock Avoidance. - Jason Stanley; Hongwei Liao; Stéphane Lafortune (IEEE Trans. Autom. Control., 2015)

ElevPatch: An Adversarial Patch Attack Scheme Based on YOLO11 Object Detector. - Xiuying Li; Hongwei Liao; Haoze Li; Jianyi Zhang; Xiuyun Wu; E. Jiayan (ICIC (4), 2025)