David Oglesby

Publication Activity (10 Years)

Years Active: 2003-2016
Publications (10 Years): 1

Top Topics

Database Machine

Building Blocks

Top Venues

Publications

Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar
Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. NFM (2016)
Devesh Bhatt, Kirk Schloegel, Gabor Madl, David Oglesby
Quantifying Error Propagation in Data Flow Models. ECBS (2013)
Timothy A. Philpot, Richard H. Hall, Nancy Hubing, Ralph E. Flori, David Oglesby, Yellamraju Vikas
Animated instructional media for stress transformations in a Mechanics of Materials course. Comput. Appl. Eng. Educ. 11 (1) (2003)
Kirk Schloegel, David Oglesby, Eric Engstrom, Devesh Bhatt
Composable Code Generation for Model-Based Development. SCOPES (2003)