Publications

Export 187 results:
Author Keyword [ Title(Desc)] 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 
U
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.
V
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)
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.
W
R. E. Stern, Work, D. B., Cui, S., Pohlmann, H., Seibold, B., Monache, M. Laura Dell, Piccoli, B., and Sprinkle, J., “WiP Abstract: Stabilizing traffic with a single autonomous vehicle”, in 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), 2016, pp. 1-1.
G. Gunter, Yang, Y., Stern, R. E., Work, D. B., Monache, M. Laura Dell, Bhadani, R., Bunting, M., Lysecky, R., Sprinkle, J., Seibold, B., and Piccoli, B., “WiP Abstract: String stability of commercial adaptive cruise control vehicles”, in International Conference on Cyber-Physical Systems, 2019.
J. Gray, Sprinkle, J., Tolvanen, J. - P., and Rossi, M., “Workshop Preview of the 15th Workshop on Domain Specific Modeling (DSM 2015)”, in Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity, New York, NY, USA, 2015.