Hong P. Liu

Formal verification of AADL behavior models: a feasibility investigation

David P. Gluch, Hong P. Liu, D. Gluch, 2009, ACM-SE 47.

Templates and automation for temporal query generation

David P. Gluch, Hong P. Liu, D. Gluch, 2006, ACM-SE 44.

A proposal for introducing model checking into an undergraduate software engineering curriculum

Hong Liu, David P. Gluch, D. Gluch, 2002 .

Conceptual modeling with the object-process methodology in software architecture

Hong Liu, David P. Gluch, D. Gluch, 2004 .

Can K-12 Math Teachers Train Students to Make Valid Logical Reasoning?

Hong Liu, Douglas L Holton, Maria Ludu, 2015 .

Using Model-Based Learning to Promote Computational Thinking Education

Hong P. Liu, Sirani M. Perera, Jerry W. Klein, 2017, Emerging Research, Practice, and Policy on Computational Thinking.