Biblio
Filters: First Letter Of Title is R [Clear All Filters]
.
2017. Risk-limiting Unit Commitment in Smart Grid with Intelligent Periphery. IEEE Transactions on Power Systems.
.
2017. Refining Interprocedural Change-Impact Analysis using Equivalence Relations. ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA). :318–328.
.
2015. Real-time Indoor Localization using Magnetic, Time of Flight, and Signal Strength Inference Maps. Indoor Location Competition at the ACM/IEEE Information Processing in Sensor Networks (IPSN).
.
2015. Rubreathing: non-contact real time respiratory rate monitoring system. Proceedings of the 14th International Conference on Information Processing in Sensor Networks. :412–413.
.
2016. RSS step size: 1 dB is not enough!. Proceedings of the 3rd Workshop on Hot Topics in Wireless. :17–21.
.
Submitted. Routing of Multimodal Freight Transportation Using a Co-Simulation Optimization Approach. the 96th Annual Meeting of Transportation Research Board.
.
2017. Reducing Frequency of Request Communications with Pro-active and Aggregated Power Management for the Controlled Delivery Power Grid. Fourth National Workshop for REU Research in Network and Systems 2017 at IEEE MASS 2017. :1-5.
.
2014. Reducing Energy Waste for Computers by Human-in-the-Loop Control. IEEE Transactions on Emerging Topics in Computing. 2:448-460.
.
2015. Robust taxi dispatch under model uncertainties. 2015 54th IEEE Conference on Decision and Control (CDC). :2816-2821.
.
2017. Reliable Stream Scheduling with Minimum Latency for Wireless Sensor Networks. 2017 14th Annual IEEE International Conference on Sensing, Communication, and Networking (SECON). :1-9.
.
2017. RoFi: Rotation-aware WiFi Channel Feedback. IEEE Internet of Things Journal. PP:1-1.
.
2015. Realizing underwater communication through magnetic induction. IEEE Communications Magazine. 53:42-48.
.
2015. The Risks of Coverage-Directed Test Case Generation. IEEE Transactions on Software Engineering. 41:803-819.
.
2015. Requirement Engineering for Functional Alarm System for Interoperable Medical Devices. 34th International Conference on Computer Safety, Reliability, and Security, {SAFECOMP} 2015. :252–266.
.
2015. Representing Confidence in Assurance Case Evidence. Proceedings of ASSURE '15. :15–26.
.
2014. Reasoning About Confidence and Uncertainty in Assurance Cases: A Survey. Software Engineering in Health Care - 4th International Symposium, {FHIES} 2014, and 6th International Workshop, {SEHC} 2014, Washington, DC, USA, July 17-18, 2014, Revised Selected Papers. :64–80.
.
2012. Runtime Verification of Traces Under Recording Uncertainty. Proceedings of the Second International Conference on Runtime Verification (RV'11). :442–456.
.
2011. Relating Average and Discounted Costs for Quantitative Analysis of Timed Systems. Proceedings of the Ninth ACM International Conference on Embedded Software. :165–174.
.
2017. Robotic Jumping on Granular Media. 10th Southeast Meeting on Soft Materials.
.
2016. A Reference Governor for Nonlinear Systems Based on Quadratic Programming. Proceedings of ASME Dynamic Systems and Control Conference.
.
2017. Real-time Communication for Manufacturing Cyber-Physical Systems. Proc. of 2017 IEEE 16th International Symposium on Network Computing and Applications (NCA).
.
2017. Robust Structural Analysis and Design of Distributed Control Systems to Prevent Zero Dynamics Attacks. 56th IEEE Conference on Decision and Control (CDC).
.
2017. Resource Constrained Structured Prediction. {AAAI}. :1756–1762.
.
2018. Reducing Emissions Resulting from Stop-and-Go TrafficWaves with Automated Vehicles. Transportation Research Board 97th Annual Meeting, under review.