Hongwei Liao

20 papers A 1C 1Misc 1Journal 8Unranked 9
YearRankTypeTitle / Venue / Authors
2025 — conf
ElevPatch: An Adversarial Patch Attack Scheme Based on YOLO11 Object Detector.
ICIC (4)
Xiuying Li, Hongwei Liao, Haoze Li, Jianyi Zhang, Xiuyun Wu, E. Jiayan
2025 J jnl
SwinTCS: A Swin Transformer Approach to Compressive Sensing with Non-Local Denoising.
J. Imaging
Xiuying Li, Haoze Li, Hongwei Liao, Zhufeng Suo, Xuesong Chen, Jiameng Han
2015 J jnl
Quality guaranteed all-hex mesh generation by a constrained volume iterative fitting algorithm.
Comput. Aided Des.
Hongwei Lin, Sinan Jin, Hongwei Liao, Qun Jian
2015 J jnl
SAT-Based Control of Concurrent Software for Deadlock Avoidance.
IEEE Trans. Autom. Control.
Jason Stanley, Hongwei Liao, Stéphane Lafortune
2014 J jnl
Affine Arithmetic-Based B-Spline Surface Intersection with GPU Acceleration.
IEEE Trans. Vis. Comput. Graph.
Hongwei Lin, Yang Qin, Hongwei Liao, Yunyang Xiong
2014 J jnl
Semi-structured B-spline for blending two B-spline surfaces.
Comput. Math. Appl.
Hongwei Lin, Yunyang Xiong, Hongwei Liao
2013 J jnl
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.
Discret. Event Dyn. Syst.
Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
2013 J jnl
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.
IEEE Trans. Control. Syst. Technol.
Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke
2013 J jnl
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software.
IEEE Trans. Autom. Control.
Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke
2013 A conf
Practical lock/unlock pairing for concurrent programs.
CGO
Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke
2011 — conf
A Petri net approach to resource allocation in brand management systems.
IEEM
Hongwei Liao, Min Lu
2011 — conf
Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets.
CDC/ECC
Hongwei Liao, Jason Stanley, Yin Wang, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke
2011 Misc conf
Simulation analysis of multithreaded programs under deadlock-avoidance control.
WSC
Hongwei Liao, Hao Zhou, Stéphane Lafortune
2011 C conf
Work in progress - A new laboratory project in a required Electrical Engineering course for non-majors: Design, survey, and analysis of student feedback.
FIE
Hongwei Liao, Alexander Ganago
2010 — conf
Supervisory control of software execution for failure avoidance: Experience from the Gadara project.
WODES
Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
2010 — conf
Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets.
CDC
Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke
2009 — conf
Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.
CDC
Yin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
2009 — conf
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).
CASE
Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
2008 — conf
Adaptive Call Admission Control for Multi-Class Services in Wireless Networks.
ICC
Hongwei Liao, Xinbing Wang, Hsiao-Hwa Chen
2006 — conf
A Vertical Handover Decision Algorithm Based on Fuzzy Control Theory.
IMSCCS (2)
Hongwei Liao, Ling Tie, Zhao Du