Publications

Export 9 results:
Author Keyword Title Type [ Year(Asc)]
Filters: First Letter Of Title is U  [Clear All Filters]
2018
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)
2010
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.
2009
H. Al-Helal, “UAV Search: Maximising Target Acquisition”, 2009.
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.
2008
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.
2005
J. Sprinkle, “User’s Guide to the PublicationsDatabase”. 2005.
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. 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.
2003
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.