Hongwei Liao

According to our database, Hongwei Liao authored at least 18 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

SAT-Based Control of Concurrent Software for Deadlock Avoidance.

Jason Stanley, Hongwei Liao, Stéphane Lafortune

IEEE Trans. Autom. Control., 2015

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

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

Semi-structured B-spline for blending two B-spline surfaces.

Hongwei Lin, Yunyang Xiong, Hongwei Liao

Comput. Math. Appl., 2014

2013

Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control.

Hongwei Liao, Yin Wang, Jason Stanley, Stéphane Lafortune, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke

IEEE Trans. Control. Syst. Technol., 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, Scott A. Mahlke

IEEE Trans. Autom. Control., 2013

Concurrency bugs in multithreaded software: modeling and analysis using Petri nets.

Hongwei Liao, Yin Wang, Hyoun Kyu Cho, Jason Stanley, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis

Discret. Event Dyn. Syst., 2013

Practical lock/unlock pairing for concurrent programs.

Hyoun Kyu Cho, Terence Kelly, Yin Wang, Stéphane Lafortune, Hongwei Liao, Scott A. Mahlke

Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization, 2013

2011

Simulation analysis of multithreaded programs under deadlock-avoidance control.

Hongwei Liao, Hao Zhou, Stéphane Lafortune

Proceedings of the Winter Simulation Conference 2011, 2011

A Petri net approach to resource allocation in brand management systems.

Hongwei Liao, Min Lu

Proceedings of the 2011 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM), 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

Proceedings of the 2011 Frontiers in Education Conference, 2011

Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets.

Hongwei Liao, Jason Stanley, Yin Wang, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke

Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010

Supervisory control of software execution for failure avoidance: Experience from the Gadara project.

Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets.

Hongwei Liao, Stéphane Lafortune, Spyros A. Reveliotis, Yin Wang, Scott A. Mahlke

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2009

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.

Yin Wang, Hongwei Liao, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).

Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune

Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008

Adaptive Call Admission Control for Multi-Class Services in Wireless Networks.

Hongwei Liao, Xinbing Wang, Hsiao-Hwa Chen

Proceedings of IEEE International Conference on Communications, 2008

2006

A Vertical Handover Decision Algorithm Based on Fuzzy Control Theory.

Hongwei Liao, Ling Tie, Zhao Du

Proceedings of the Interdisciplinary and Multidisciplinary Research in Computer Science, 2006