Hongwei Liao

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 2

Top Topics

Mesh Generation

Free Form Deformation

Top Venues

IEEE Trans. Autom. Control.

Discret. Event Dyn. Syst.

IEEE Trans. Control. Syst. Technol.

Comput. Aided Des.

Publications

Hongwei Lin, Sinan Jin, Hongwei Liao, Qun Jian
Quality guaranteed all-hex mesh generation by a constrained volume iterative fitting algorithm. Comput. Aided Des. (2015)
Jason Stanley, Hongwei Liao, Stéphane Lafortune
SAT-Based Control of Concurrent Software for Deadlock Avoidance. IEEE Trans. Autom. Control. 60 (12) (2015)
Hongwei Lin, Yang Qin, Hongwei Liao, Yunyang Xiong
Affine Arithmetic-Based B-Spline Surface Intersection with GPU Acceleration. IEEE Trans. Vis. Comput. Graph. 20 (2) (2014)
Hongwei Lin, Yunyang Xiong, Hongwei Liao
Semi-structured B-spline for blending two B-spline surfaces. Comput. Math. Appl. 68 (7) (2014)
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. Discret. Event Dyn. Syst. 23 (2) (2013)
Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke
Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control. IEEE Trans. Control. Syst. Technol. 21 (6) (2013)
Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software. IEEE Trans. Autom. Control. 58 (5) (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)
Hongwei Liao, Hao Zhou, Stéphane Lafortune
Simulation analysis of multithreaded programs under deadlock-avoidance control. WSC (2011)
Hongwei Liao, Alexander Ganago
Work in progress - A new laboratory project in a required Electrical Engineering course for non-majors: Design, survey, and analysis of student feedback. FIE (2011)
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/ECC (2011)
Hongwei Liao, Min Lu
A Petri net approach to resource allocation in brand management systems. IEEM (2011)
Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
Supervisory control of software execution for failure avoidance: Experience from the Gadara project. WODES (2010)
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)
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)
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)
Hongwei Liao, Xinbing Wang, Hsiao-Hwa Chen
Adaptive Call Admission Control for Multi-Class Services in Wireless Networks. ICC (2008)
Hongwei Liao, Ling Tie, Zhao Du
A Vertical Handover Decision Algorithm Based on Fuzzy Control Theory. IMSCCS (2) (2006)