A proposal for introducing model checking into an undergraduate software engineering curriculum. - Hong Liu 012; David P. Gluch (J. Comput. Sci. Coll., 2002)

Conceptual modeling with the object-process methodology in software architecture. - Hong Liu 012; David P. Gluch (J. Comput. Sci. Coll., 2004)

Templates and automation for temporal query generation. - Hong P. Liu; David P. Gluch (ACM Southeast Regional Conference, 2006)

Cultivating students' problem solving ability: developing a framework for computational science modules: panel discussion. - Leslie Sena; David Bethelmy; Hong Liu 012; Jayathi Raghavan (J. Comput. Sci. Coll., 2008)

Formal verification of AADL behavior models: a feasibility investigation. - Hong P. Liu; David P. Gluch (ACM Southeast Regional Conference, 2009)

A Mathematical Modeling Module with System Engineering Approach for Teaching Undergraduate Students to Conquer Complexity. - Hong Liu 012; Jayathi Raghavan (ICCS (2), 2009)

On Modelling, Simulating and Verifying a Decentralized Mission Control Algorithm for a Fleet of Collaborative UAVs. - Pu Gao; Hong P. Liu; David P. Gluch (ICCS, 2012)

ACE - A Model Centered REU Program Standing on the Three Legs of CSE: Analysis, Computation and Experiment. - Hong P. Liu; Andrei Ludu (ICCS, 2012)

Using Model-Based Learning to Promote Computational Thinking Education. - Hong P. Liu; Sirani M. Perera; Jerry W. Klein (Emerging Research, Practice, and Policy on Computational Thinking, 2017)

Computer technologies for model-based collaborative learning: A research-based approach with initial findings. - Hong Liu 012; J. Michael Spector; Matthew Iklé (Comput. Appl. Eng. Educ., 2018)