Biblio
Filters: First Letter Of Title is U [Clear All Filters]
.
2016. Utilizing S-TaLiRo as an Automatic Test Generation Framework for Autonomous Vehicles. IEEE Intelligent Transportation Systems Conference.
.
2016. Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology. 8th International Workshop on Bio-Design Automation (IWBDA).
.
2017. Utilization of wireless structural health monitoring as decision making tools for a condition and reliability-based assessment of railroad bridges. Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems 2017. 10168:101681X.
.
2016. Using stationary image based data collection method for evaluation of traffic sign condition. International Journal of Transportation Science and Technology. 5:248–256.
.
2016. Using smart homes to detect and analyze health events. IEEE Computer.
.
2017. Using smart environment technologies to monitor and assess everyday functioning and deliver real-time intervention. The Role of Technology in Clinical Neuropsychology.
.
2017. Using Simulators to Assess Knowledge and Behavior of. 2017 Resilience Week (RWS).
.
2010. Using simulation models to assess the impacts of highway work zone strategies: Case studies along interstate highways and state routes in new england. Transportation Research Record: The Journal of the Transportation Research Board. 2169:62.
.
2008. Using Simulation Models to Assess the Impacts of Highway Work Zone Strategies; Case Studies along Interstate Highways in Massachusetts and Rhode Island. the Proceedings of the 2008 Transportation Research Board Annual Meeting, Washington, DC.
.
2017. Using Modular Technology as a Platform to Study Youth Approaches to Engineering Practice. ASEE Annual Conference 2017.
.
2016. Using model-based simulation for augmenting Incident Command System for disaster response. 2016 Winter Simulation Conference (WSC). :3017-3027.
.
2013. Using Minimum Mobile Chargers to Keep Large-Scale Wireless Rechargeable Sensor Networks Running Forever. 2013 22nd International Conference on Computer Communication and Networks (ICCCN). :1-7.
.
2017. Using Information-Flow Methods to Analyze the Security of Cyber-Physical Systems. Computer. 50:17-26.
.
2016. Using human intellectual tasks as guidelines to systematically model medical cyber-physical systems. 2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC). :004394-004399.
.
2017. Using change point detection to automate daily activity segmentation. Workshop on Context and Activity Modeling and Recognition.
.
2017. Using a Critical Infrastructure Game to Provide Realistic Observation of the Human in the Loop by Criminal Justice Students. 2017 Resilience Week (RWS).
.
2013. User-assisted reflection detection and feature point tracking. Conference on Visual Media Production 2013, {CVMP} '13, London, United Kingdom, November 6-7, 2013. :13:1–13:10.
.
2016. Use Runtime Verification to Improve the Quality of Medical Care Practice. 2016 IEEE/ACM 38th International Conference on Software Engineering Companion (ICSE-C). :112-121.
.
2016. US Ignite and Smarter Communities. The GENI Book. :479–510.
.
Submitted. URL: https://sites.google.com/a/asu.edu/s-taliro/.
.
2015. UrbanCPS: a Cyber-Physical System based on Multi-source Big Infrastructure Data for Heterogeneous Model Integration. 2015 ACM/IEEE 6th International Conference on Cyber-Physical Systems.
.
2017. Urban underground infrastructure mapping and assessment. Sensors and Smart Structures Technologies for Civil, Mechanical, and Aerospace Systems 2017. 10168:101680M.
.
2016. An unsupervised spatiotemporal graphical modeling approach to anomaly detection in distributed CPS. Cyber-Physical Systems (ICCPS), 2016 ACM/IEEE 7th International Conference on. :1–10.
.
2017. Unsupervised Sequential Sensor Acquisition. {AISTATS}. 54:803–811.