Visible to the public Biblio

Filters: First Letter Of Last Name is R  [Clear All Filters]
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   [Show ALL]
Rungger, Matthias, Tabuada, Paulo.  2016.  A notion of robustness for cyber-physical systems. IEEE Transactions on Automatic Control. 61:2108–2123.
Rungger, Matthias, Tabuada, Paulo.  2014.  Abstracting and refining robustness for cyber-physical systems. Proceedings of the 17th international conference on Hybrid systems: computation and control. :223–232.
Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi.  2014.  Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. 12th International Workshop on Discrete Event Systems, {WODES} 2014, Cachan, France, May 14-16, 2014.. :222–227.
Rongchao Zhang, Yuan Wu, Wenan Zhang, Li Yu, Wen-Zhan Song.  2013.  Two-sided Energy Scheduling Algorithm for Smart Grid with Storage Cost. International Conference on Wireless Communications and Signal Processing, WCSP2013.
Rohit Kumar, David A. Castañón, Erhan Baki Ermis, Venkatesh Saligrama.  2010.  A new algorithm for outlier rejection in particle filters. 13th Conference on Information Fusion, {FUSION} 2010, Edinburgh, UK, July 26-29, 2010. :1–7.
Roederer, A., Weimer, J., Dimartino, J., Gutsche, J., Lee, I..  2015.  Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients. Proceedings of the Medical Cyber-Physical Systems (MCPS) workshop at the 6th International Conference on Cyber-Physical Systems.
Robyn R. Lutz.  2017.  RE at 50, with a Focus on the Last 25 Years. 25th {IEEE} International Requirements Engineering Conference, {RE} 2017, Lisbon, Portugal, September 4-8, 2017. :482–483.
Robyn R. Lutz, Jack H. Lutz.  2016.  Software engineering for molecular programming. Proceedings of the 38th International Conference on Software Engineering, {ICSE} 2016, Austin, TX, USA, May 14-22, 2016 - Companion Volume. :888–889.
Robyn R. Lutz.  2016.  Requirements for Molecular Programmed Nanosystems (Keynote). 24th {IEEE} International Requirements Engineering Conference, {RE} 2016, Beijing, China, September 12-16, 2016. :2.
Risbud, Paresh, Gatsis, Nikolaos, Taha, Ahmad.  2016.  Assessing power system state estimation accuracy with GPS-spoofed PMU Measurements. Innovative Smart Grid Technologies Conference (ISGT), 2016 IEEE Power & Energy Society. :1–5.
Ricketts, Daniel, Malecha, Gregory, Lerner, Sorin.  2016.  Modular Deductive Verification of Sampled-data Systems. Proceedings of the 13th International Conference on Embedded Software. :17:1–17:10.
Ricart, Glenn.  2016.  Slicing in locavore infrastructures. Proceedings of the 4th Workshop on Distributed Cloud Computing. :4.
Ricart, Glenn, McGeer, Rick.  2016.  US Ignite and Smarter Communities. The GENI Book. :479–510.
Ricart, Glenn.  2017.  A city edge cloud with its economic and technical considerations. Pervasive Computing and Communications Workshops (PerCom Workshops), 2017 IEEE International Conference on. :599–604.