Publications

Export 19 results:
Author Keyword [ Title(Desc)] Type Year
Filters: Author is Sean Whitsitt  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
S. Whitsitt, Automatic Verification of Dynamic Constraints in LTI Control Systems Through Model Transformations, in NSF Young Professionals Workshop on Exploring New Frontiers in Cyber-Physical Systems, Washington, DC, 2014.
C
S. Whitsitt, Barreto, A., Ram, S., Al-Helal, H., Hudson, M., Chu, D., Sprinkle, J., and Didan, K., Citizen Science in Support of Vegetation Index and Phenology Research, in Phenology Research and Observations of Southwest Ecosystems Symposium (PROSE), 2010.
S. Whitsitt, Barreto, A., Hudson, M., Al-Helal, H., Chu, D., Didan, K., and Sprinkle, J., Constrained data acquisition for mobile citizen science applications, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, & VMIL’11, New York, NY, USA, 2011, pp. 267–272.
M
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, A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations, University of Arizona, Tucson, AZ, 2014.
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.
S. Whitsitt and Sprinkle, J., Modeling Autonomous Systems, AIAA Journal of Aerospace Information Systems, vol. 10, pp. 396-413, 2013.
S. Whitsitt, Modeling the Messaging and Component Interfaces of Autonomous Systems, University of Arizona, 2011.