Publications

Export 187 results:
Author Keyword [ Title(Asc)] Type Year
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 
V
T. Meyerowitz, Sprinkle, J., and Sangiovanni-Vincentelli, A., A Visual Language for Describing Instruction Sets and Generating Decoders, in OOPSLA, 4th Workshop on Domain Specific Modeling, 2004, pp. 23–32.
K. Anderson, Lusk, L., Hands, M., and Vanhoy, G., Validation of a CRV Model Using TVWS Measurements, in Proceedings of SDR-WinnComm 2017 Wireless Innovation Conference on Wireless Communications Technologies and Software Defined Radio, San Diego, California, 2017.PDF icon Validation of a CRV Model Using TVWS Measurements.pdf (719.32 KB)
U
J. Sprinkle, Shakernia, O., Miller, R., and S. Sastry, S., Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools, in IEEE Aerospace Conference, Verification and Validation, 2005, pp. 1–6.
T. R. Hansen, Eklund, J. M., Sprinkle, J., Bajcsy, R., and Sastry, S., Using smart sensors and a camera phone to detect and verify the fall of elderly persons, in 3rd European Medicine, Biology and Engineering Conference, 2005.
J. Gulotta, Chu, D., Yu, X., Al-Helal, H., Patki, T., Hansen, J., Hudson, M., and Sprinkle, J., Using Integrative Models in an Advanced Heterogeneous System Simulation, in IEEE International Conference on the Engineering of Computer-Based Systems, Los Alamitos, CA, USA, 2009, pp. 3-10.
T. Patki, Al-Helal, H., Gulotta, J., Hansen, J., and Sprinkle, J., Using Integrative Modeling for Advanced Heterogeneous System Simulation, in The 8th OOPSLA Workshop on Domain-Specific Modeling, 2008, pp. 80-85.
S. Harris, Welch, L., and Bunting, M., User-Friendly Method to Optimize the Network of a Cyber-Physical System, in 85th Annual Meeting of the APS Southeastern Section, Knoxville, Tennessee, 2018.PDF icon User-Friendly Method to Optimize the Network of a Cyber-Physical System.pdf (6.65 MB)
J. Sprinkle, User’s Guide to the PublicationsDatabase. 2005.
G. Karsai, Agrawal, A., Shi, F., and Sprinkle, J., On the Use of Graph Transformation in the Formal Specification of Model Interpreters, Journal of Universal Computer Science, vol. 9, pp. 1296–1321, 2003.
H. Al-Helal and Sprinkle, J., UAV Search : Maximizing Target Acquisition, in 17th IEEE Conference on the Engineering of Computer Based Systems, 2010, pp. 9–19.
H. Al-Helal, UAV Search: Maximising Target Acquisition, 2009.
T
M. J. Eklund, Sprinkle, J., Templeton, T., and S. Sastry, S., Transitioning Intelligence to Embedded Platforms, in AVT-146 Symposium on "Platform Innovations and System Integration for Unmanned Air, Land and Sea Vehicles", 2007.
H. Gonzalez, Grøtli, E. I., Templeton, T. R., Biermeyer, J. O., Sprinkle, J., and S. Sastry, S., Transitioning Control and Sensing Technologies from Fully-autonomous Driving to Driver Assistance Systems, in AAET: Automation, Assistance, and Embedded Systems for Transportation, 2008.
F. Wu, Stern, R. E., Cui, S., Monache, M. Laura Dell, Bhadani, R., Bunting, M., Churchill, M., Hamilton, N., Piccoli, B., Seibold, B., Sprinkle, J., and Work, D. B., Tracking vehicle trajectories and fuel rates in phantom traffic jams: Methodology and data, Transportation Research Part C: Emerging Technologies, vol. 99, pp. 82–109, 2019.
D. Deva, Sprinkle, J., Nordstrom, G., and Maroti, M., Towards a Standard for Model Specification and Storage, in Proceedings of the IEEE Systems, Man, and Cybernetics Conference, 2000.
A. M Lewis, Bunting, M., Salemi, B., and Hoffmann, H., Toward ultra high speed locomotors: Design and test of a cheetah robot hind limb, in Robotics and Automation (ICRA), 2011 IEEE International Conference on, 2011.
J. Sprinkle, J. Eklund, M., and S. Sastry, S., Toward Design Parameterization Support for Model Predictive Control, in IEEE 4th International Conference on Intelligent Systems Design and Application, 2004.
J. Sprinkle and Eames, B., Time-Triggered Buffers for Event-Based Middleware Systems, Innovations in Systems and Software Engineering, vol. 7, pp. 9–22, 2011.
J. Sprinkle, Teaching students to learn to learn mobile phone programming, 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. 261–266.
N. Sandoval, Mackin, C., Whitsitt, S., Gopinath, V. Shankar, Mahadevan, S., Milakovich, A., Merry, K., Sprinkle, J., and Lysecky, R., Task Transition Scheduling for Data-Adaptable Systems, ACM Transactions on Embedded Computing Systems (TECS), vol. 16, pp. 105:1–105:28, 2017.
S
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.
A. Schuster and Sprinkle, J., Synthesizing Executable Simulations from Structural Models of Component-Based Systems, Electronic Communications of the European Association of Software Science and Technology (EASST), vol. 21, p. 10 pages, 2009.
P. Nanez, Risso, N., and Sanfelice, R. G., A symbolic simulator for hybrid equations, in Proceedings of the 2014 Summer Simulation Multiconference, 2014, p. 18.
M. J. Eklund, Sprinkle, J., and S. Sastry, S., Switched and Symmetric Pursuit/Evasion Games With Online Model Predictive Control, IEEE Transactions on Control Systems Technology, vol. 20, pp. 604-620, 2012.
C. Hardebolle, Syriani, E., Sprinkle, J., and Mészáros, T., Summary of the 6th International Workshop on Multi-Paradigm Modeling (MPM’12), in Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, New York, NY, USA, 2012.
N. Risso and Sanfelice, R. G., Sufficient conditions for asymptotic stability and feedback control of set dynamical systems, in American Control Conference (ACC), 2017, 2017, pp. 1923–1928.
L. Bentley, MacInnes, J., Mason, H., Bhadani, R., and Bose, T., A Sliding Window for Path Mapping based on a Pseudo-Derivative Method in Autonomous Navigation, in IEEE Vehicular Technology Conference, VTC-2019, Fall, Honolulu, Hawaii, 2019.