Publications

Conference Paper
S. Whitsitt, Gopalan, A., Cho, S., Sprinkle, J., Ramasubramanian, S., Suantak, L., and Rozenblit, J., On the Extraction and Analysis of a Social Network with Partial Organizational Observation, in Proceedings of the 19th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, 2012, pp. 249-256.
K. McKeever, Zeleke, Y., Bunting, M., and Sprinkle, J., Experience Report: Constraint-based Modeling of Autonomous Vehicle Trajectories, in Proceedings of the Workshop on Domain-Specific Modeling, New York, NY, USA, 2015, pp. 17–22.
J. Sprinkle, J. Eklund, M., H. Kim, J., and S. Sastry, S., Encoding Aerial Pursuit/Evasion Games with Fixed Wing Aircraft into a Nonlinear Model Predictive Tracking Controller, in Proceedings of the 43rd IEEE Conference on Decision and Control, 2004, vol. 3, pp. 2609–2614.
R. Lysecky, Sandoval, N., Whitsitt, S., Mackin, C., and Sprinkle, J., Efficient Reconfiguration Methods to Enable Rapid Deployment of Runtime Reconfigurable Systems, in Asilomar Conference on Signals, Systems and Computers, Pacific Grove, CA, 2013.
J. Sprinkle, A Domain-Specific Modeling Environment Applied to the Design of an Embedded Human System, in TBD, p. (in preparation).
J. Sprinkle, Agrawal, A., Levendovszky, T., Shi, F., and Karsai, G., Domain Translation Using Graph Transformations, in Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003, pp. 159–168.
J. Alexander, Pyryt, A., Bhadani, R., and Bunting, M., Domain Specific Modeling Language for Test World Creation, in CAT Vehicle Research Experience for Undergraduates, Tucson, 2019.PDF icon Domain Specific Modeling Language for Test World Creation.pdf (77.75 KB)
J. Sprinkle, Agrawal, A., Levendovszky, T., Shi, F., and Karsai, G., Domain Evolution in Visual Languages Using Graph Transformations, in OOPSLA, 2nd ACM OOPSLA Workshop on Domain-Specific Languages, 2002.
J. Sprinkle, J. Eklund, M., and S. Sastry, S., Deciding to Land a UAV Safely in Real Time, in Proceedings of American Control Conference (ACC) 2005, 2005, pp. 3506–3511.
R. E. Stern, Wu, F., Churchill, M., Work, D. B., Monache, M. Laura Dell, Piccoli, B., Pohlmann, H., Cui, S., Seibold, B., Hamilton, N., Haulcy, R. ’mani, Bhadani, R., Bunting, M., and Sprinkle, J., Dampening traffic waves with autonomous vehicles, in ITRL Conference on Integrated Transport: Connected and Automated Transport Systems, 2016.
D. B. Work, Stern, R. E., Wu, F., Churchill, M., Cui, S., Pohlmann, H., Seibold, B., Piccoli, B., Bhadani, R., Bunting, M., Sprinkle, J., Monache, M. Laura Dell, Hamilton, N., and Haulcy, R., Controlling for Unsafe Events in Dense Traffic Through Autonomous Vehicles: Invited Talk Abstract, in Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, New York, NY, USA, 2017, pp. 7–7.
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. J. Eklund, Bajcsy, R., Sprinkle, J., and Simpson, G. V., Computing Inverse MEG Signals in the Brain, in 2005 IEEE Computational Systems Bioinformatics Conference, Controlling Complexity, 2005, pp. 332–335.
W. Anderson, Aponik, A., Daoud, Y., Teku, N., Vanhoy, G., and Bose, T., Cognitive Engine Testbed for Vehicular Communications, in CAT Vehicle Research Experience for Undergraduates, Tucson, Arizona, 2018.PDF icon Cognitive Engine Testbed for Vehicular Communications.pdf (1.69 MB)
K. Zhang and Sprinkle, J., A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation, in The 14th Workshop on Domain-Specific Modeling, 2014, pp. 1-6.
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.
R. Bhadani, Sprinkle, J., and Bunting, M., The CAT Vehicle Testbed: A Simulator with Hardware in the Loop for Autonomous Vehicle Applications, in Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles (SCAV 2018), Porto, Portugal, Electronic Proceedings in Theoretical Computer Science , 2018, vol. 269.PDF icon CAT Vehicle Testbed Slides (5.53 MB)
M. Nice, Elmadani, S., Bhadani, R., Bunting, M., Sprinkle, J., and Work, D., CAN Coach: Vehicular Control through Human Cyber-Physical Systems, in Proceedings of the ACM/IEEE 12th International Conference on Cyber-Physical Systems, New York, NY, USA, 2021.
E. Jones and Sprinkle, J., autoVHDL: a domain-specific modeling language for the auto-generation of VHDL core wrappers, in Proceedings of the compilation of the co-located workshops on DSM’11, TMC’11, AGERE!’11, AOOPES’11, NEAT’11, &\#38; VMIL’11, New York, NY, USA, 2011, pp. 71–76.
M. L. Delle Monache, Sprinkle, J., Vasudevan, R., and Work, D., Autonomous vehicles: From vehicular control to traffic control, in 2019 IEEE 58th Conference on Decision and Control (CDC), 2019.
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.
D. Chu, Sprinkle, J., Randall, R., and Shkarayev, S., Automatic Control of VTOL Micro Air Vehicle During Transition Maneuver, in AIAA Guidance, Navigation and Control Conference, 2009, p. 16 pages.
A. Milakovich, Gopinath, V., Lysecky, R., and Sprinkle, J., Automated Software Generation and Hardware Coprocessor Synthesis for Data-Adaptable Reconfigurable Systems, in Engineering of Computer Based Systems (ECBS), 2012 IEEE 19th International Conference and Workshops on, 2012, pp. 15-23.
S. Nordstrom, Shetty, S., Chhokra, K. Guarav, Sprinkle, J., Eames, B., and Lédeczi, Á., ANEMIC: Automatic Interface Enabler for Model Integrated Computing, in Generative Programming and Component Engineering (GPCE ’03), 2003.
J. Sprinkle, Analysis of a metamodel to estimate complexity of using a domain-specific language, in Proceedings of the 10th Workshop on Domain-Specific Modeling, New York, NY, USA, 2010, pp. 13:1–13:6.
T. Miller, Ross, C., Barbosa, M. Marques, Hirzallah, M., Volos, H., and Sprinkle, J., Adaptive Multifactor Routing with Constrained Data Sets, in Wireless Innovation Forum Conference on Wireless Communication Technologies and Software Defined Radio (WInnComm), San Diego, CA, 2015.
H. Mason, Bentley, L., MacInnes, J., Bhadani, R., and Bose, T., Adaptive HSL Filters and Inverse Perspective Transforms in Lane Detection for Autonomous Driving, in CAT Vehicle REU, 2019.PDF icon AdaptiveHSLInversePerspective (1.86 MB)
J. - P. Tolvanen, Sprinkle, J., Rossi, M., and Gray, J., The 12th Workshop on Domain-specific Modeling, in Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity, New York, NY, USA, 2012.
J. - P. Tolvanen, Sprinkle, J., Rossi, M., and Gray, J., The 11th Workshop on Domain-specific Modeling, in Proceedings of the ACM International Conference Companion on Object Oriented Programming Systems Languages and Applications Companion, New York, NY, USA, 2011.
J. - P. Tolvanen, Sprinkle, J., Gray, J., and Rossi, M., The 11th Workshop on Domain-specific Modeling, in Proceedings of the Compilation of the Co-located Workshops on DSM'11, TMC'11, AGERE! 2011, AOOPES'11, NEAT'11, & VMIL'11, New York, NY, USA, 2011.