Publications

Export 6 results:
Author Keyword Title [ Type(Desc)] Year
Filters: First Letter Of Title is M and Author is Sean Whitsitt  [Clear All Filters]
Conference Paper
S. Whitsitt and Sprinkle, J., “Message Modeling for the Joint Architecture for Unmanned Systems (JAUS)”, in Proceedings of the 8th IEEE Workshop on Model-Based Development for Computer-Based Systems, 2011, pp. 251–259.
S. Whitsitt, Sprinkle, J., and Lysecky, R., “Model Based Development with the Skeleton Design Method”, in 20th IEEE International Conference and Workshops on the Engineering of Computer Based Systems, 2013, pp. 12-19.
S. Whitsitt, “Modeling and Code Generation with Autonomous Vehicles”, in ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems Doctoral Symposium, Innsbruck Austria, 2012.
Journal Article
S. Whitsitt and Sprinkle, J., “Modeling Autonomous Systems”, AIAA Journal of Aerospace Information Systems, vol. 10, pp. 396-413, 2013.
Thesis
S. Whitsitt, “A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations”, University of Arizona, Tucson, AZ, 2014.
S. Whitsitt, “Modeling the Messaging and Component Interfaces of Autonomous Systems”, University of Arizona, 2011.