Publications

Export 4 results:

Author [ Keyword

] Title Type Year

Filters: First Letter Of Keyword is C and 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

citizen scientist

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.

Code Generation

P. Morley, Warren, A., Rabb, E., Bunting, M., Whitsitt, S., and Sprinkle, J., “Generating a ROS/JAUS Bridge for an Autonomous Ground Vehicle”, in Proceedings of the 2013 ACM workshop on Domain-specific modeling (DSM ’13), Indianapolis, IN, 2013, pp. 13-18.

combinatorial explosion

N. Sandoval, Mackin, C., Whitsitt, S., Lysecky, R., and Sprinkle, J., “System Throughput Optimization and Runtime Communication Middleware Supporting Dynamic Software-Hardware Task Migration in Data Adaptable Embedded Systems”, in Engineering of Computer Based Systems (ECBS), 2013 20th IEEE International Conference and Workshops on the, 2013, pp. 59-68.

Controls

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.