Publications

Export 6 results:
Author Keyword Title Type [ Year(Asc)]
Filters: First Letter Of Title is M and Author is Sean Whitsitt  [Clear All Filters]
2014
S. Whitsitt, “A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations”, University of Arizona, Tucson, AZ, 2014.
2013
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 and Sprinkle, J., “Modeling Autonomous Systems”, AIAA Journal of Aerospace Information Systems, vol. 10, pp. 396-413, 2013.
2012
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.
2011
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, “Modeling the Messaging and Component Interfaces of Autonomous Systems”, University of Arizona, 2011.