Agents of Change: Educating Software Engineering Leaders. - David Garlan; David P. Gluch; James E. Tomayko (Computer, 1997)

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

On a Partnership between Software Industry and Academia. - Andrew J. Kornecki; Soheil Khajenoori; David P. Gluch; Nader Kameli (CSEE&T, 2003)

Model Checking for Dependable Software-Intensive Systems. - Edmund M. Clarke; Masahiro Fujita; David P. Gluch (DSN, 2003)

A Study of Automatic Code Generation for Safety-Critical Software: Preliminary Report. - Lazar Crawford; Jared Erwin; Steafano Grimaldi; Soma Mitra; Andrew J. Kornecki; David P. Gluch (HASE, 2004)

Pattern-Based Analysis of an Embedded Real-Time System Architecture. - Peter H. Feiler; David P. Gluch; John J. Hudak; Bruce A. Lewis (IFIP-WADL, 2004)

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)

Automated Code Generation for Safety-Related Applications: a Case Study. - David P. Gluch; Andrew J. Kornecki (Comput. Sci., 2007)

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

Embedded systems engineering with the AADL: modeling & analysis. - David P. Gluch (SIGAda, 2009)

Model-Based Engineering with AADL - An Introduction to the SAE Architecture Analysis and Design Language. - Peter H. Feiler; David P. Gluch (Addison-Wesley, 2012)

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)