David Oglesby

According to our database, David Oglesby authored at least 4 papers between 2003 and 2016.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2016

Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems.

Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2013

Quantifying Error Propagation in Data Flow Models.

Devesh Bhatt, Kirk Schloegel, Gabor Madl, David Oglesby

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

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

Composable Code Generation for Model-Based Development.

Kirk Schloegel, David Oglesby, Eric Engstrom, Devesh Bhatt

Proceedings of the Software and Compilers for Embedded Systems, 7th International Workshop, 2003