Composable Code Generation for Model-Based Development. - Kirk Schloegel; David Oglesby; Eric Engstrom; Devesh Bhatt (SCOPES, 2003)

Animated instructional media for stress transformations in a Mechanics of Materials course. - Timothy A. Philpot; Richard H. Hall; Nancy Hubing; Ralph E. Flori; David Oglesby; Yellamraju Vikas (Comput. Appl. Eng. Educ., 2003)

Quantifying Error Propagation in Data Flow Models. - Devesh Bhatt; Kirk Schloegel; Gabor Madl; David Oglesby (ECBS, 2013)

Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. - Devesh Bhatt; Arunabh Chattopadhyay; Wenchao Li 001; David Oglesby; Sam Owre; Natarajan Shankar (NFM, 2016)